What people are saying - Write a review
We haven't found any reviews in the usual places.
New Techniques and Their Application
Formal Techniques and Automatic Processing to Ensure Correctness in Requirements Specifications
Notes on Type Abstraction
16 other sections not shown
Other editions - View all
Abstract Data Types algebraic specifications algorithm Alphard analysis application approach assertions axioms behavior Boolean checking complete component Computer Science concrete consistency constraints constructs critical pair data abstractions data base data items data structure defect removal defined definition deque described design languages detection document dynamic 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 interface method methodology module multiset nearest neighbor searching node notation objects operations output postcondition predicate procedure program verification programming language proof properties prove Queue radar recursive requirements language requirements specification rewrite rules searching problems semantics sequence Software Engineering specification language specification technique SPECLE stack statement static subset synchronization syntax termination testing tion UDS2 variables verification condition