On the Development of Reactive Systems

• 1 January 1985
• book chapter
• Published by Springer Nature
• p. 477-498
• https://doi.org/10.1007/978-3-642-82453-1_17

Abstract

Keywords

• VERTICAL LEVEL
• INTERFACE ELEMENT
• REACTIVE BEHAVIOR
• CONJUNCTIVE QUERY
• BEHAVIORAL SPECIFICATION