High-integrity system specification and design
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
According to its authors the book intends to fill the need for post-experience education in software design methodology and specification. Its nine chapters are devoted to the following topics respectively: specification and design, structured methods of software systems, formal methods, object-orientation, concurrent and distributed systems, real-time and safety-critical systems, integrating methods, implementation, CASE workbenches. Each chapter consists of a few introductory pages followed by reprints of two or more papers written by reknown scientists such as Frederick Brooks, David Harel, C. A. R. Hoare, Leslie Lamport or Jeannette Wing. Actually, these reprints constitute more than ninety percent of the book. Each of the papers presents a general discussion or an overview of a given field; most of them may be understood without specific knowledge. As nearly half of the reprints are papers published before 1990, the book ignores some recent advances, for instance in the fields of specification or object-orientation; nevertheless, most of the problems discussed are of general nature and hence still of interest. The book is excellent for a reader who looks for a competent introduction into one of the topics treated. It is inappropriate for a reader interested in the present state-of-the-art.
- Specification of software systems.
- scientific article; zbMATH DE number 578247
- VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
- scientific article; zbMATH DE number 194535
- scientific article; zbMATH DE number 194792
- scientific article; zbMATH DE number 4219110 (Why is no real title available?)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
This page was built for publication: High-integrity system specification and design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4935249)
