This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built....
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and ap...
This book gives an introduction to H-infinity and H2 control for linear time-varying systems. Chapter 2 is concerned with continuous-time systems while Chapter 3 is devoted to discrete-time systems. The main aim of this book is to develop the H-infinity and H2 theory for jump systems and to apply it to sampled-data systems. The jump system gives a natural state space representation of sampled-data systems, and original signals and parameters are maintained in the new system. Two earlier chapters serve as preliminaries. Chapter 4 introduces jump systems and develops the H-infinity and H2...
This book gives an introduction to H-infinity and H2 control for linear time-varying systems. Chapter 2 is concerned with continuous-time systems whil...
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on...
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the go...
Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method...
Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to...
