Goal-oriented requirements animation

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2004, Pages 218-228

  Van, Hung Tran ^a   Van Lamsweerde, Axel ^a   Massonet, Philippe ^b   Ponsard, Christophe ^b  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b Centre d'Excellence en Technologies de l'Information et de la Communication   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL PROGRAMMING LANGUAGES; PROTOTYPING LANGUAGES; REQUIREMENTS ANIMATION; STATE-MACHINE MODELS;

ANIMATION; AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER GRAPHICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; VISUALIZATION;

REQUIREMENTS ENGINEERING;

EID: 17044389817     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2004.1335679     Document Type: Conference Paper

References (40)

1. B. Auernheimer and R. Kemmerer, "RT-ASLAN: A Specification Language for Real-Time Systems", IEEE Trans. Software Engineering Vol. 12 No. 9, Sept. 1986.
2. R.M. Balzer, N.M. Goldman, and D.S. Wile, "Operational Specification as the Basis for Rapid Prototyping", ACM SIGSOFT Softw. Eng. Notes Vol. 7 No. 5, Dec. 1982, 3-16.
3. K. M. Benner et al, "Utilizing Scenarios in the Software Development Process", Information System Development Process, Elsevier Science, 1993, 117-134.
4. A. Dardenne, A. van Lamsweerde and S. Fickas, "Goal-Directed Requirements Acquisition", Science of Computer Programming, Vol. 20., 1993, 3-50.
5. R. Darimont and A. van Lamsweerde, "Formal Refinement Patterns for Goal-Driven Requirements Elaboration", Proc. FSE'4 - 4th ACM Symp. on Foundations of Software Engineering, Oct. 1996, 179-190.
6. nd Intl. Joint Conf. on Requirements Engineering, Sept. 2003. Expanded version in Requirements Engineering Journal, 2004.
7. nd Intl. Joint Conf. on Requirements Engineering, Sept. 2003. Expanded version in Requirements Engineering Journal, 2004.
8. L. K. Dillon and Y. S. Ramakrishna, "Generating Oracles from Your Favorite Temporal Logic Specifications", Proc. 4th ACM SIGSOFT Symp. Foundations of Software Engineering, San Francisco, October 1996, pp. 106-117.
9. M. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard, "Reconciling System Requirements and Runtime Behaviour", Proc. IWSSD'98 - 9th Intl. Workshop on Software Specification and Design, IEEE CS Press, 1998.
10. M. Felder and A. Morzenti, "Validating Real-Time Systems by History-Checking TRIO Specifications", ACM TOSEM, Vol.3, No.4, October 1994.
11. N. Habra, B. Le Charlier, A. Mounji, I. Mathieu, "ASAX: Software Architecture and Rule-base Language for Universal Audit Trail Analysis", Proc. 2nd European Symp. on Research in Computer Security (ESORICS), Nov. 1992.
12. D. Harel et al, "STATEMATE: A Working Environment for the Development of Complex Reactive Systems", IEEE Transactions on Software Engineering, Vol. 16 No. 4, April 1990, 403-414.
13. K. Havelund and G. Rosu. "Synthesizing monitors for safety properties", Proceedings of TACAS, volume 2280, pages 342-356. Springer-Verlag, April 2002.
14. D. Hazel, P. Strooper, O. Traynor, "Requirements Engineering and Verification using Specification Animation", Proc. Automated Software Engineering Conf., 1998, 302-305.
15. C. Heitmeyer, J. Kirby, and B. Labaw. "Tools for Formal Specification, Verification, and Validation of Requirements", Proc. COMPASS '97, June 1997, Gaithersburg, MD.
16. C. Heitmeyer, J. Kirby, B. Labaw, and R. Bharadwaj, "SCR*: A Toolset for Specifying and Analyzing Software Requirements", Proc. CAV'98, Vancouver, 1998.
17. S. Hekmatpour and D. Ince, Software Prototyping, Formal Methods, and VDM. Addison-Wesley, 1988.
18. P. Heymans and E. Dubois, "Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements", Requirements Engineering Journal, Vol. 3 No. 3-4, 1998, 202-218.
19. G. Holzman, "The Model Checker SPIN", IEEE Trans. on Software Engineering Vol. 23 No. 5, May 1997, 279-295.
20. M. Jackson, Software Requirements & Specifications - A Lexicon of Practice, Principles and Prejudices. ACM Press, Addison-Wesley, 1995.
21. B. Kramer, Luqi and V. Berzins, "Compositional Semantics of a Real-Time Prototyping Language", IEEE Trans. Software Engineering 19(5), May 1993, 453-477.
22. A. van Lamsweerde, R. Darimont, E. Letier, "Managing Conflicts in Goal-Driven Requirements Engineering", IEEE Transactions on Software Engineering, November 1998.
23. th Intl. Symp. Requirements Engineering, August 2001, pp. 249-263.
24. K.G. Larsen, P. Petersson and W. Yi, "UPPAAL in a Nutshell", Intl. Journal on Software Tools for Technology Transfer, Vol. 1, Springer-Verlag, 1997, 134-152.
25. Y. Ledru, "Specification and Animation of a Bank Transfer using KIDS/VDM", Automated Software Engineering Vol. 4 No.1, January 1997, 33-51.
26. th Intl. Conf. on Software Engineering, May 2002.
27. th ACM SIGSOFT Symp. on the Foundations of Software Engineering, Charleston, November 2002.
28. N.G. Leveson, M. Heimdahl, H. Hildreth and J.D. Reese, "Requirements Specification for Process-Control Systems", IEEE Trans. Software Engineering 20(9), Sept. 1994.
29. U. W. Lipeck, "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Theoretical Computer Science Vol. 76, 1990, 115 -142.
30. D.C. Luckham et al, "Specification and Analysis of System Architectures Using RAPIDE", IEEE Transactions on Software Engineering Vol. 21 No. 4, April 1995.
31. nd Intl. Conf. on Software Engineering, Limerick, May 2000, 499-508.
32. W. E. McUmber and B.H.C. Cheng, "A Generic Framework for Formalizing UML", Proc. ICSE01: Intl. Conf. on Software Engineering, May 2001, Toronto.
33. http://www.objectiver.com.
34. G. O'Neill, Automatic Translation of VDM into Standard ML Programs", The Computer Journal, March 1992.
35. D.L. Parnas and J. Madey, "Functional Documents for Computer Systems", Science of Computer Programming, Vol. 25, 1995, 41-61.
36. A. Rifaut, P. Massonet, J.F. Molderez, C. Ponsard, P. Stadnik, H. Tran Van and A. van Lamsweerde, "FAUST: Formal Analysis of Goal-Oriented Requirements Using Specification Tools", Proc. RE'03, Sept. 2003, 350.
37. R. Schmid, J. Ryser, S. Berner, M. Glinz, R. Reutemann and E. Fahr, A Survey of Simulation Tools for Requirements Engineering. Special Interest Group on Requirements Engineering, German Informatics Society (GI), Aug. 2000.
38. J. Siddiqi, I. Morrey, C. Roast and M. Ozean, "Towards Quality Requirements via Animated Formal Specifications", Annals of Software Engineering, Vol. 3, 1997.
39. J.M. Thompson, M.E. Heimdahl, and S.P. Miller, "Specification-Based Prototyping for Embedded Systems", Proc. ESEC/FSE'99, LNCS 1687, Springer, Sept. 1999, 163-179.
40. M. Utting, Formal Methods Links: Animation of Formal Specifications, http:// www.cs.waikato.ao.nz/~marku/formalmethods.html#animation.