The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …

Ontology-based Application Integration introduces UI-level (User Interface Level) application
integration and discusses current problems which can be remedied by using ontologies. It …

Few tools are available to help with the difficult task of validating that a Z specification
captures its intended meaning. One tool that has been proven to be useful for validating …

This chapter discusses in detail the physics behind the different silicon-based photodetector
technologies. It analyses the challenges and perspectives of silicon-based photosensors …

Business process analysis is one of the most important and complex activities of Business
Process Management. Business processes are typically defined by business experts which …

Today's exible demands and short product life cycles have lead to a modular thinking for
machinery and plant engineering. A hidden challenge for this sector is the maintenance of …

This paper describes a formal modelling approach, where Ada code is automatically
generated from the modelling artefacts. We introduce an implementation-level specification …

This paper surveys certain Communities of Practice (CoP) in the field of formal methods for
software engineering, especially with respect to state-based notations, using personal …

In this paper, we discuss the community associated with Abstract State Machines (ASM),
especially in the context of a Community of Practice (CoP), a social science concept …

This paper presents the π SOD-M method, an extension to the Service-Oriented
Development Method (SOD-M) to support the development of services software by …