Specifications of Reliable Software: SRS : 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 | |
16 other sections not shown
Common terms and phrases
Abstract Data Types algebraic specifications algorithm Alphard analysis application assertions axioms behavior Boolean called 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 design languages 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 result rewrite rules searching problems segment semantics sequence Software Engineering specification language specification technique SPECLE stack statement static subset synchronization syntax termination testing tion UDS2 USED?-IN variables verification condition