Formal Specification of Software
ALFS T. BERZTISS · 1987
ion of domain-specific concepts 1. Mechanics of specification c. Modularization a. Specification teams d. Validation b. The specification development log 3. Specification and design c. Graphical aids and other documentation a. Declarative and operational styles d. An infrastructure for specification b. Design as algorithm selection 2. Validation and verification c. Transformational development of software a. Formal methods II. Formal Specification of Programs b. Walkthroughs 1. Axiomatic specification c. Executable specifications 2. Abstract models 3. Reusability of specifications 3. Set theory 4. Predicate logic 5. Programming languages in specification Annotated Outline 6. Evaluation of the specification methods a. Abstract data types The detailed outline of this module is given in a deb. Data transformers clarative style, i.e., as a description of the various aspects of formal specification of software, rather 7. Examples than as an imperative prescription. a. Data types: Nat0, se...