Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15294
Título: | On requirements engineering for reactive systems: a formal methodology |
Autor(es): | Madeira, A. Faria, José Miguel Martins, Manuel A. Barbosa, L. S. |
Palavras-chave: | Requirements engineering Reactive systems |
Data: | 2011 |
Resumo(s): | This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus and consequently evolve through different operational modes, providing, in each of them, different functionalities. The proposed methodology proceeds in three stages, enriching a simple state- machine with local algebraic specifications. It resorts to an expressive variant of hybrid logic which is latter translated into first-order to allow for ample automatic tool support. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/15294 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
OriginalBrasil2011.pdf | 448,24 kB | Adobe PDF | Ver/Abrir |