A Functional Rephrasing of the Assumption/Commitment Specification Style

• 1 January 1998
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 13  (1) , 87-119
• https://doi.org/10.1023/a:1008618722275

Abstract

Keywords

• STRUCTURING
• FUNCTIONAL REPHRASING
• SPECIFICATION STYLE
• ASSUMPTION/COMMITMENT SPECIFICATION
• INTERACTIVE COMPONENTS
• CALLED RELY/GUARANTEE
• DISTRIBUTED SYSTEMS
• ADVOCATED