Simulation-based validation and defect localization for evolving, semi-formal requirements models

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2005, Issue , 2005, Pages 408-417

  Seybold, Christian ^a   Glinz, Martin ^a   Meier, Silvio ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; INTEGRATION; ITERATIVE METHODS; MATHEMATICAL MODELS; PROBLEM SOLVING; REGRESSION ANALYSIS; SPECIFICATIONS;

AUTOMATIC REGRESSION; CONTINUOUS INTEGRATION; SIMULATION-BASED VALIDATION;

REQUIREMENTS ENGINEERING;

EID: 33847317448     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2005.97     Document Type: Conference Paper

References (13)

1. A. Almagro and P. Julius. Cruisecontrol, Continuous Integration Toolkit. http://cruisecontrol.sourceforge.net, 2004.
2. R. J. A. Buhr. Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions of Software Engineering, 24(12):1131-1155, 1998.
3. P. Cederqvist et al. Version Management with CVS. Online Manual, 1.11.19, http://www.cvshome.org/docs/manual/, 2005.
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
5. M. S. Feather and T. Menzies. Converging on the Optimal Attainment of Requirements. In Proceedings of the 10th IEEE Joint International Conference on Requirements Engineering (RE'02), pages 263-272. IEEE Computer Society, 2002.
6. M. Fowler. Continuous Integration. http://www.martinfowler.com/ articles/continuousIntegration.html, 2004.
7. M. Glinz, S. Berner, and S. Joos. Object-oriented modeling with ADORA. Information Systems, 27(6):425-444, 2002.
8. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. B. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. Software Engineering, 16(4):403-414, 1990.
9. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer-Verlag New York, Inc., 2003.
10. C. Heitmeyer, J. Kirby, and B. Labaw. Tools for Formal Specification, Verification, and Validation of Requirements. In Proceedings of COMPASS '97, pages 35-47, 1997.
11. K. G. Larsen. Modal Specifications. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems: Proceedings, volume 407 of LNCS, pages 232-246. Springer, 1989.
12. J. Magee, N. Pryce, D. Giannakopoulou, and J. Kramer. Graphical Animation of Behavior Models. In International Conference on Software Engineering, pages 499-508, 2000.
13. C. Seybold, S. Meier, and M. Glinz. Evolution of Requirements Models By Simulation. In Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE'04), pages 43-48, 2004.