Anzeige
Erschienen in:
1996 | OriginalPaper | Buchkapitel
Fusion Engines and Melting Pots
verfasst von : J. K. Hyde, D. J. Duke
Erschienen in: Design, Specification and Verification of Interactive Systems ’96
Verlag: Springer Vienna
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
Emerging multi-modal technology relies on innovative techniques for managing data, both at the user interface level, and at the internal application level. To assess design alternatives for this class of system, it is desirable to have models that focus attention on the critical features of these systems. Formal methods of software specification are known to provide this abstractive power in many contexts. This paper shows that an established specification technique can be used profitably to model, assess and improve the design of a generic kernel for multimodal systems.