%0 Conference Paper %B 1ª Conferência Brasileira de Sistemas Embarcados Críticos %D 2011 %T On requirements engineering for reactive systems: A formal methodology %A Alexandre Madeira %A José Miguel Faria %A M. Martins %A Luis Soares Barbosa %C São Carlos, Brazil %X
This paper introduces a rigorous methodology for requirements specication of systems that react to external stimulus and consequently evolve through different operational modes, providing, in each of them, dierent functionalities. The proposed methodology proceeds in three stages, enriching a simple state machine with local algebraic specications. It resorts to an expressive variant of hybrid logic which is latter translated into rst-order to allow for ample automatic tool support.
%8 May %> https://haslab.uminho.pt/sites/default/files/madeira/files/refrs.pdf