Next:
4.1 Pre- and Postcondition
Up:
A Plea for Grey-Box
Previous:
3 The Human Factor
4 Specification Approaches
In this section we describe common specification approaches and investigate their applicability for describing grey-box components and their applicability for imperative implementation languages.
4.1 Pre- and Postcondition Specifications
4.2 Algebraic Specifications
4.3 Abstract Statements
4.4 Invariants and Temporal Properties
Martin Buechi and Wolfgang Weck
Sept. 2, 1997
