From scenarios to timed automata: Building specifications from users requirements

Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995

Volumn , Issue , 1995, Pages 48-57

  Some, S ^a   Dssouli, R ^a   Vaucher, J ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SEMANTICS; SPECIFICATIONS;

AUTOMATIC CONSTRUCTION; AUTOMATIC GENERATION; INCREMENTAL ALGORITHM; REQUIREMENT ENGINEERING PROCESS; TIMED AUTOMATA; TIMING CONSTRAINTS;

SOFTWARE ENGINEERING;

EID: 84886647896     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1995.496953     Document Type: Conference Paper

References (12)

1. Rajeev Alur and David Dill. The Theory of Timed Automata. Lecture Notes In Computer Science, vol 600, Springier-Verlag, 1991.
2. John S. Anderson and Brian Durney. Using Scenarios in Deficiency-driven Requirements Engineering. In Requirements Engineering'93, pages 134-141. IEEE Computer Society Press, 1993.
3. Kevin M. Benner, Martin S. Feather, W Lewis Johnson, and Lorna A. Zorman. Utilizing Scenarios in the Software Development Process. In N. Prakash, C. Rolland, and B. Pernici, editors, Information System Development Process, pages 117-134. Elsevier Science Publisher B.V.(North-Holland), 1993.
4. R Fikes and N Nilson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3/4):189-208, 1971.
5. P Hsia, J Samuel, J Gao, D Kung, Y Toyoshima, and C Chen. Formal approach to scenario analysis. IEEE Software, pages 33-41, march 1994.
6. Haruhisa Ichikawa, Masaki Itoh, June Kato, Akira Takura, and Masashi Shibasaki. SDE: Incremental Specification and Development of Communications Software. IEEE Transaction on Computers, 40(4), april 1991.
7. Ivar Jacobson, Magnus Christerson, Patrik Jons-son, and Gunnar Overgaard. Object-Oriented Software Engineering, A Use Case Driven Approach. Addison-Wesley, ACM Press, 2 edition, 1993.
8. V Kelly and U Nonnenmann. Reducing the Complexity of Formal Specification Acquisition, chapter 3, pages 41-64. AAAI Press/The MIT Press, 1991.
9. Kai Koskimies and Erkki Makinen. Automatic Synthesis of State Machines from Trace Diagrams. Software-Practice and Experience, 24(7):643-658, July 1994.
10. Kenneth S. Rubin and Adele Goldberg. Object Behavior Analysis. Communications of the ACM, 35(9):48-62, September 1992.
11. S Some, R Dssouli, and J Vaucher. Toward an Automation of Requirements Engineering using Scenarios. Technical Report 978, DIRO-Universite de Montreal, 1995.
12. Y Wakahara, Y Kakuda, A Ito, and E Utsunomiya. ESCORT: An environment for specifying communication requirements. IEEE Software, pages 38-43, 1989.