Design exploration and experimental validation of abstract requirements

REFSQ 2006 - Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality, In Conjunction with CAiSE 2006

Volumn , Issue , 2006, Pages 145-159

  Farahbod, Roozbeh ^a   Gervasi, Vincenzo ^b   Glässer, Uwe ^a   Memon, Mashaal ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; REQUIREMENTS ENGINEERING; SEMANTICS;

ABSTRACT STATE MACHINES; COMPUTATIONAL LOGIC; DISCRETE DYNAMIC SYSTEM; DISCRETE MATHEMATICS; EXPERIMENTAL VALIDATIONS; FUNCTIONAL REQUIREMENT; GENERAL ARCHITECTURES; HIGH LEVEL DESCRIPTION;

LOGIC PROGRAMMING;

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

References (33)

1. Berry, D.: Formal Methods: The Very Idea. Science of Computer Programming 42(1) (2002) 511-27.
2. Huckle, T.: Collection of software bugs. Technical report, Technical University Munich (2004) Last visited Sep. 2005, http://www5.in.tum.de/-huckle/ bugse.html.
3. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag (2003).
4. Brantingham, P.L., Glässer, U., Kinney, B., Singh, K., Vajihollahi, M.: A Computational Model for Simulating Spatial Aspects of Crime in Urban Environments. In: Proc. IEEE International Conference on Systems, Man and Cybernetics. IEEE Press (2005) 3667-3674.
5. Glässer, U., Rastkar, S., Vajihollahi, M.: Computational Modeling and Experimental Validation of Aviation Security Procedures. In: To Appear in the Proceedings of the IEEE International Conference on Intelligence and Security Informatics (ISI-2006). (2006).
6. Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In Börger, E., ed.: Specification and Validation Methods. Oxford University Press (1995) 9-36.
7. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An extensible ASM execution engine. In Beauquier, D., Börger, E., Slissenko, A., eds.: Proc. of the 12th Int'l Workshop on Abstract State Machines. (2005) 153-165.
8. Farahbod, R., et al.: The CoreASM Project. (2005) http://www.coreasm.org.
9. Del Castillo, G., Winter, K.: Model Checking Support for the ASM High-Level Language. In Graf, S., Schwartzbach, M., eds.: Proceedings of the 6th International Conference TACAS 2000. Volume 1785 of LNCS., Springer-Verlag (2000) 331-346.
10. Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to generate tests from ASM specifications. In: Abstract State Machines 2003, Springer (2003) 263-277.
11. Microsoft FSE Group: The Abstract State Machine Language. (2003) Last visited June 2003, http://research.microsoft.com/fse/asml/.
12. Del Castillo, G.: Towards Comprehensive Tool Support for Abstract State Machines. In Hutter, D., Stephan, W., Traverso, P., Ullmann, M., eds.: Applied Formal Methods-FM-Trends 98. Volume 1641 of LNCS., Springer-Verlag (1999) 311-325.
13. Anlauff, M.: XASM-An Extensible, Component-Based Abstract State Machines Language. In Y. Gurevich and P. Kutter and M. Odersky and L. Thiele, ed.: Abstract State Machines: Theory and Applications. Volume 1912 of LNCS., Springer-Verlag (2000) 69-90.
14. Schmid, J.: Executing ASM Specitications with AsmGofer. (2005) Last visited Sep. 2005, www.tydo.de/AsmGofer/.
15. Sipser, M.: Introduction to the Theory of Computation. PWS Publishing Company (1997).
16. Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1(1) (2000) 77-111.
17. Reisig, W.: On Gurevich's Theorem on Sequential Algorithms. Acta Informatica 39(5) (2003) 273-305.
18. Blass, A., Gurevich, Y.: Abstract State Machines Capture Parallel Algorithms. ACM Transactions on Computation Logic 4(4) (2003) 578-651.
19. Brger, E., Gotzhein, R.: The light control case study: A synopsis. Journal of Universal Computer Science 6(7) (2000) 582-585.
20. Börger, E.: The ASM Refinement Method. Formal Aspects of Computing (2003) 237-257.
21. Fuchs, N.E.: Specifications are (preferably) executable. Software Engineering Journal 7(5) (1992) 323-334.
22. Su, M.: Use abstract state machines to model a graphical user interface system. Master's thesis, Simon Fraser University, Burnaby, Canada (2006).
23. Glässer, U., Vajihollahi, M.: Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. In: DIPES 2004: IFIP Working Conference on Distributed and Parallel Embedded Systems, Kluwer (2004).
24. Zave, P.: An operational approach to requirements specifications for embedded systems. IEEE Transactions on Software Engineering 8(3) (1982) 250-269.
25. Heitmeyer, C., Archer, M., Bharadwaj, R., Jeffords, R.: Tools for construction requirements specifications: The SCR toolset at the age of ten. Computer Systems Science & Engineering 20(1) (2005) 19-35.
26. Tran Van, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: Proceedings of the 12th International Conference on Requirements Engineering, Kyoto, Japan, IEEE CS Press (2004) 218-228.
27. Uchitel, S., Chatley, R., Kramer, J., Magee, J.: Fluent-based animation: Exploring the relation between goals and scenarios for requirements validation. In: Proceedings of the 12th International Conference on Requirements Engineering, Kyoto, Japan, IEEE CS Press (2004) 208-217.
28. Kappel, A.M.: Executable Specifications Based on Dynamic Algebras. In Voronkov, A., ed.: Logic Programming and Automated Reasoning. Volume 698 of Lecture Notes in Artificial Intelligence. Springer (1993) 229-240.
29. Huggins, J.: An offline partial evaluator for evolving algebras. Technical Report CSE-TR-229-95, University of Michigan (1995).
30. Diesen, D.: Specifying Algorithms Using Evolving Algebra. Implementation of Functional Programming Languages. Dr. scient. degree thesis, Dept. of Informatics, University of Oslo, Norway (1995).
31. Beckert, B., Posegga, J.: leanEA: A Lean Evolving Algebra Compiler. In Büning, H.K., ed.: Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'95). Volume 1092 of LNCS., Springer (1996) 64-85.
32. Del Castillo, G., Durdanovíc, I., Glässer, U.: An Evolving Algebra Abstract Machine. In Büning, H.K., ed.: Proceedings of the Annual Conference of the Euro-pean Association for Computer Science Logic (CSL'95). Volume 1092 of LNCS., Springer (1996) 191-214.
33. Eclipse Foundation: Eclipse.org home page (2006) Last visited Mar. 2006, http://www.eclipse.org.