Hybrid specification of reactive systems: An institutional approach

This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus by evolving through different operational modes. In each mode different functionalities are provided. Starting from a classical state-machine specification, the envisaged methodolog...

ver descrição completa

Detalhes bibliográficos
Autor principal: Madeira, A. (author)
Outros Autores: Faria, J.M. (author), Martins, Manuel A. (author), Barbosa, L.S. (author)
Formato: bookPart
Idioma:eng
Publicado em: 1000
Assuntos:
Algebraic specifications
Hybrid logic
Operational modes
Reactive system
Requirements specifications
Specification logic
Specifications
Formal methods
Texto completo:http://hdl.handle.net/10773/5537
País:Portugal
Oai:oai:ria.ua.pt:10773/5537

Texto Completo

http://hdl.handle.net/10773/5537

Registos relacionados