Goal and scenario validation: A fluent combination

Requirements Engineering

Volumn 11, Issue 2, 2006, Pages 123-137

  Uchitel, Sebastian ^a   Chatley, Robert ^a   Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 32044437415     PISSN: 09473602     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00766-005-0024-3     Document Type: Article

References (33)

1. ITU (2000) Message sequence charts. International Telecommunications Union. Telecommunication Standardisation Sector Recommendation Z.120
2. Object Management Group (2004) Unified modeling language (UML). http://www.omg.org/technology/documents/ modeling_spect_catalog.htm#UML
3. Lamsweerde AV (2001) Goal-oriented requirements engineering: A guided tour. 5th IEEE international symposium on requirements engineering (RE'01), Toronto
4. Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20:3-50
5. Feather M (1987) Language support for the specification and development of composite systems. ACM Trans Program Lang Syst 9(2):198-234
6. Lamsweerde AV (1998) Willemet L inferring declarative requirements specifications from operational scenarios. IEEE Trans Softw Eng 24(12):1089-1114
7. Nuseibeh B, Easterbrook S (2000) Requirements engineering: A roadmap. International conference on software engineering (ICSE-2000), Limerick
8. Giannakopoulou D, Magee J (2003) Fluent model checking for event-based systems. 4th joint meeting of the European software engineering conference and ACM SIGSOFT symposium on the foundations of software engineering (ESEC/FSE 2003), Helsinki
9. Miller R, Shanahan M (1999) The event calculus in classical logic - alternative axiomatisations. Linkoping Electron Art Comput Inform Sci 4(16):1-27
10. Uchitel S (2003) Elaboration of behaviour models and scenario based specifications using implied scenarios. Ph.D. Thesis in Department of Computing, Imperial College London, London
11. Keller R (1976) Formal verification of parallel programs, Commun ACM 19(7):371-384
12. Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Englewood Cliffs
13. Magee J, Kramer J (1999) Concurrency: State models and Java programs. Wiley, New York
14. Sutcliffe A, Maiden NAM, Minocha S, Manuel D (1998) Supporting scenario-based requirements engineering. IEEE Trans Softw Eng 24(12):1072-1088
15. Jackson M (2004) Seeing more of the world. IEEE Softw 21(6):83-85
16. Jackson M (1995) Software requirements and specifications - a lexicon of practice, principles and prejudices. ACM Press, Addison-Wesley, New York, Reading
17. Magee et al (2003) The LTSA site, www.doc.ic.ac.uk/ltsa
18. Heitmeyer C, Kirby C, Labaw B (1997) The SCR method for formally specifying, verifying and validating requirements: Tool support. 19th International conference on software engineering (ICSE'97), Boston
19. Halbwachs N Caspi P, Raymond P, Pilaud D (1991) The synchronous data-flow programming language LUSTRE. Proc IEEE, 79:1305-1320
20. Berry G, Gonthier G (1992) The Esterel synchronous programming language: design, semantics, implementation. Sci Comput Program 19(2):87-152
21. Darimont R, Lamsweerde AV (1996) Formal refinement patterns for goal-driven requirements elaboration. In: 4th ACM symposium on the foundations of software engineering, San Fransisco
22. Holzmann GJ, Peled D (1996) The state of spin. CAV'96
23. Harel D, Lachover H, Naamad A, Pnueli A, Politi M, Sheman R, Shtul-Trauring A, Trakhtenbrot M (1990) STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans Softw Eng 16:403-414
24. Harel D, Marelly R (2003) Come, let's play: Scenario-based programming using LSCs and the play-engine. Springer, Berlin, Heidelberg, New York
25. Magee J, Kramer J, Giannakopoulou D, Pryce N (2000) Graphical animation of behavior models. In: 22nd International conference on software engineering (ICSE'00), Limerick
26. Magee J, Uchitel S, Chatley R, Kramer J (2003) Visual methods for Web application design. Tech note at the symposium on visual and multimedia software engineering, IEEE symposia on human-centric computing languages and environments (HCC), Auckland
27. CREWS (1999) Cooperative requirements engineering with scenarios, http://Sunsite.Informatik.RWTH-Aachen.DE/CREWS
28. Sutcliffe A (1997) A technique combination approach to requirements engineering. 3rd IEEE international symposium on requirements engineering, Los Alamitos
29. Potts C, Takahashi K, Anton AI (1994) Inquiry-based requirements analysis. IEEE Softw 11(2):21-32
30. Leite J, Freeman PA (1991) Requirements validation through viewpoint resolution. IEEE Trans Softw Eng 12(12):1253-1269
31. Nuseibeh B, Kramer J, Finkelstein A (1994) A framework for expressing the relationships between multiple views in requirements specification. Trans Softw Eng 20(10):760-773
32. Nuseibeh B (2001) Weaving together requirements and architecture. IEEE Comput 34(3):115-117
33. Letier E (2001) Reasoning about agents in goal-oriented requirements engineering. PhD Thesis, Université Catholique de Louvain