Evolution of requirements models by simulation

International Workshop on Principles of Software Evolution (IWPSE)

Volumn , Issue , 2004, Pages 43-48

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

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LANGUAGES; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; REGRESSION ANALYSIS; SOFTWARE PROTOTYPING;

FORMAL MODELS; FORMAL SPECIFICATION; SEMI-FORMAL LANGUAGES;

SOFTWARE ENGINEERING;

EID: 11244267036     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. R. V. Binder. Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, Reading Mass., 1999.
2. M. Glinz. Statecharts For Requirements Specification - As Simple As Possible, As Rich As Needed. In Proceedings of the ICSE'02 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, 2002.
3. M. Glinz, S. Berner, and S. Joos. Object-oriented modeling with ADORA. Information Systems, 27(6):425-444, 2002.
4. D. Harel. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Berlin, 2003.
5. C. L. Heitmeyer, J. Kirby, B. G. Labaw, and R. Bharadwaj. SCR*: A Toolset for Specifying and Analyzing Software Requirements. In Computer Aided Verification, pages 526-531, 1998.
6. M. Jackson. Principles of Program Design. Academic Press, New York, 1975.
7. T. Mackinnon, S. Freeman, and P. Craig. Endo-Testing: Unit Testing with Mock Objects. In Proceedings of the 24th International Conference on Software Engineering (ICSE'00), pages 617-622, 2000.
8. J. Magee and J. Kramer. Concurrency: State Models & Java Programs. John Wiley & Sons, Chichester, 1999.
9. OMG. UML 2.0 Superstructure Specification. OMG document ptc/03-08-02. Tech. Rep., Object Management Group, http://www.omg.org/cgi-bin/doc7ptc/2003-08- 02, 2003.
10. C. Seybold, S. Meier, and M. Glinz. Simulation of Semi-Formal Requirements Models as a Means for their Validation and Evolution. Technical Report 2004.02, Department of Informatics, University of Zurich, 2004.
11. S. Uchitel, J. Kramer, and J. Magee. Modelling Undefined Behaviour in Scenario Synthesis. In 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at ICSE'03, 2003.
12. J. Whittle and J. Schumann. Generating Statechart Designs From Scenarios. In Proceedings of the 24th International Conference on Software Engineering (ICSE'00), pages 314-323, 2000.
13. Y. Xia. A Language Definition Method for Visual Specification Languages. PhD thesis, University of Zurich, 2004.