Specifications of Reliable Software: Proceedings |
Contents
New Techniques and Their Application | 1 |
Formal Techniques and Automatic Processing to Ensure Correctness in Requirements Specifications | 15 |
Notes on Type Abstraction | 36 |
Copyright | |
15 other sections not shown
Other editions - View all
Common terms and phrases
Abstract Data Types algebraic specifications algorithm Alphard analysis application assertions axioms behavior Boolean checking complete component Computer Science concrete consistency constraints constructor constructs critical pair data abstractions data base data items data structure defined definition DeltaFile deque described detection document dynamic empty equations error evaluation example expression Figure finite folder formal function Goguen graphics Guttag Hoare IEEE implementation induction Information Sciences Institute initial algebra input instantiation Integer interfaces method methodology module multiset Musser nearest neighbor searching node notation objects operations output postcondition predicate procedure programming language proof properties prove Queue radar recursive requirements language requirements specification result rewrite rules searching problems segment semantics sequence Software Engineering specification language specification technique SPECLE stack static subset synchronization syntax termination testing tion tree UDS2 USED?-IN variables verification condition