Title: Formal Specification Techniques for Interactive Systems
Abstract: This paper summarises a survey presentation on formal specification techniques and formal development methods. Currently, there is a significant amount of interest in the application of these methods to the specification, design, validation and verification of interactive systems (see for instance [9, 14] and several papers in these proceedings). This leads to the following questions: are general purpose techniques applicable? Is it better to design a specific formal approach for this kind of system? After a brief survey of the main mature techniques, some examples of techniques specific to some application domains are discussed.
Publication Year: 1995
Publication Date: 1995-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot