Formal engineering for industrial software development : using the SOFL method
Liu advocates incorporation of mathematical notation into the software engineering process, thus substantially improving rigour, comprehensibility & effectiveness of methods commonly used in industry. Provides an introduction to the SOFL (Structured Object- Oriented Formal Language) method. Exercises and case study.
XXII, 408 p. : il. ; 24 cm
9783540206026, 3540206027
912324887
1 Introduction.- 2 Propositional Logic.- 3 Predicate Logic.- 4 The Module.- 5 Hierarchical CDFDs and Modules.- 6 Explicit Specifications.- 7 Basic Data Types.- 8 The Set Types.- 9 The Sequence and String Types.- 10 The Composite and Product Types.- 11 The Map Types.- 12 The Union Types.- 13 Classes.- 14 The Software Development Process.- 15 Approaches to Constructing Specifications.- 16 A Case Study — Modeling an ATM.- 17 Rigorous Review.- 18 Specification Testing.- 19 Transformation from Designs to Programs.- 20 Intelligent Software Engineering Environment.- References.- A Syntax of SOFL.- A.1 Specifications.- A.2 Modules.- A.3 Processes.- A.4 Functions.- A.5 Classes.- A.6 Types.- A.7 Expressions.- A.8 Ordinary Expressions.- A.8.1 Compound Expressions.- A.8.2 Unary Expressions.- A.8.3 Binary Expressions.- A.8.4 Apply Expressions.- A.8.5 Basic Expressions.- A.8.6 Constants.- A.8.7 Simple Variables.- A.8.8 Special Keywords.- A.8.9 Set Expressions.- A.8.10 Sequence Expressions.- A.8.11 Map Expressions.- A.8.12 Composite Expressions.- A.8.13 Product Expressions.- A.9 Predicate Expressions.- A.9.1 Boolean Variables.- A.9.2 Relational Expressions.- A.9.3 Conjunction.- A.9.4 Disjunction.- A.9.5 Implication.- A.9.6 Equivalence.- A.9.7 Negation.- A.9.8 Quantified Expressions.- A.10 Identifiers.- A.11 Character.- A.12 Comments.