Alexandre Madeira,  José M. Faria,  Manuel A. Martins,  Luí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

Processando consulta.