Written for those who want to develop their knowledge of requirements engineering process,
whether practitioners or students. Using the latest research and driven by practical …

A major determinant of the quality of software systems is the quality of their requirements,
which should be both understandable and precise. Most requirements are written in natural …

Denotational semantics is a methodology for giving mathematical meaning to programming
languages and systems. It was developed by Christopher Strachey's Programming …

The goal of this book is to provide a comprehensive and systematic introduction to the
important and highly applicable method of data refinement and the simulation methods used …

We review the origins of structural operational semantics. The main publicationA Structural
Approach to Operational Semantics,'also known as theAarhus Notes,'appeared in 1981 [GD …

The theory of institutions formalizes the intuitive notion of a" logical system." Institutions were
introduced (1) to support as much computer science as possible independently of the …

A self-adaptive software system modifies its behavior at runtime in response to changes
within the system or in its execution environment. The fulfillment of the system requirements …

This report presents initial results in the area of software testing and analysis produced as
part of the Software Engineering Impact Project. The report describes the historical …

The major reason for the lack of use'of parallel'computing, is the mismatch between the
complexity and variety of parallel hardware, and the software development tools to program …

This paper presents a translation tool that automatically generates efficient target
programming language code (C, C++, Java and C#) from Event-B formal specification …