Specification Statements and Refinement

• 1 January 1987
• book chapter
• Published by Springer Nature
• p. 23-46
• https://doi.org/10.1007/978-1-4471-3273-8_2

Abstract

Keywords

• LANGUAGE
• EXECUTABLE
• CALCULUS
• SPECIFICATION STATEMENTS
• WRITTEN
• PLUS
• PREDICATE
• REFINEMENT