José M. Faria

Learn More
This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus by evolving through different operational modes. In each mode different function-alities are provided. Starting from a classical state-machine specification, the envisaged methodology interprets each state as a different mode of operation(More)
  • 1