BDBComp
Parceria:
SBC
On requirements engineering for reactive systems: A formal methodology

Alexandre MadeiraJosé M. FariaManuel A. MartinsLuís S. Barbosa

This paper introduces a rigorous methodology for requirements specification of systems that react to ex- ternal stimulus and consequently evolve through dif- ferent 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 lat- ter translated into first-order to allow for ample auto- matic tool support.

http://www.lbd.dcc.ufmg.br/colecoes/cbsec/2011/paper19_A4.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD