On requirements engineering for reactive systems: a formal methodology

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 si...

Full description

Bibliographic Details
Main Author: Madeira, A. (author)
Other Authors: Faria, José Miguel (author), Martins, Manuel A. (author), Barbosa, L. S. (author)
Format: conferencePaper
Language:eng
Published: 2011
Subjects:
Requirements engineering
Reactive systems
Online Access:http://hdl.handle.net/1822/15294
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/15294

Internet

http://hdl.handle.net/1822/15294

Similar Items