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.

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:
     Mantida por: