From scenarios to timed automata: building specifications from users requirements

Publisher Website

19 November 2002

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 48-57
https://doi.org/10.1109/apsec.1995.496953

Abstract

No abstract available

This publication has 7 references indexed in Scilit:

Automatic synthesis of state machines from trace diagrams
Software: Practice and Experience, 1994
Formal approach to scenario analysis
IEEE Software, 1994
Utilizing Scenarios in the Software Development Process
Published by Elsevier ,1993
Object behavior analysis
Communications of the ACM, 1992
SDE: incremental specification and development of communications software
IEEE Transactions on Computers, 1991
Escort: an environment for specifying communication requirements
IEEE Software, 1989
Strips: A new approach to the application of theorem proving to problem solving
Artificial Intelligence, 1971