1995 | OriginalPaper | Buchkapitel
Verification of an Interactive Software by Analysis of its Formal Specification
verfasst von : Ph Palanque, R. Bastide
Erschienen in: Human—Computer Interaction
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
While designing interactive software, the use of a formal specification technique is of great help by providing non-ambiguous, complete and concise notations. The advantages of using such a formalism is widened if it is provided by formal analysis techniques that allow to prove properties about the design, thus giving an early verification to the designer before the application is actually implemented. This paper presents such a formalism, called Interactive Cooperative Objects. The paper mainly focuses on the formal analysis of the design, describing the calculation of its properties and their interpretation in terms of the software behaviour.