Supporting the consistent specification of scenarios across multiple abstraction levels

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6182 LNCS, Issue , 2010, Pages 45-59

  Sikora, Ernst ^a   Daun, Marian ^a   Pohl, Klaus ^a  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

abstraction levels; consistency; interface automata; scenarios

Indexed keywords

ABSTRACTION LEVEL; ADAPTIVE CRUISE CONTROL SYSTEMS; COMPLEX SOFTWARE; COMPONENT LEVELS; CONSISTENCY CHECKS; INTERFACE AUTOMATA; LEVELS OF ABSTRACTION; SYSTEM ARCHITECTURES;

ABSTRACTING; COMPUTER SOFTWARE SELECTION AND EVALUATION; REQUIREMENTS ENGINEERING; TRANSLATION (LANGUAGES);

ADAPTIVE CONTROL SYSTEMS;

EID: 77955448223     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14192-8_6     Document Type: Conference Paper

References (18)

1. Gorschek, T., Wohlin, C.: Requirements Abstraction Model. Requirements Engineering Journal (REJ) 11, 79-101 (2006)
2. International Telecommunication Union. Recommendation Z.120 - Message Sequence Charts, MSC (2004)
3. De Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proc. of the ACM SIGSOFT Symp. on the Foundations of Software Engineering, pp. 109-120 (2001)
4. RTCA: DO-178B - Software Considerations in Airborne Systems and Equipment Certification (1992)
5. Potts, C.: Using Schematic Scenarios to Understand User Needs. In: Proc. of the ACM Symposium on Designing Interactive Systems - Processes, Practices, Methods and Techniques (DIS 1995), pp. 247-266. ACM, New York (1995)
6. Pohl, K.: Requirements Engineering - Foundations, Principles, Techniques. Springer, Heidelberg (to appear 2010)
7. Peled, D.: Specification and Verification using Message Sequence Charts. Electr. Notes Theor. Comp. Sci. 65(7), 51-64 (2002)
8. Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. In: Proc. of the Intl. Conference on Software Engineering, pp. 314-323 (2000)
9. Khendek, F., Bourduas, S., Vincent, D.: Stepwise Design with Message Sequence Charts. In: Proc. of the IFIP TC6/WG6.1, 21st Intl. Conference on Formal Techniques for Networked and Distributed Systems, pp. 19-34. Kluwer, Dordrecht (2001)
10. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Proc. of the IFIP WG10.3/WG10.5, Intl. Workshop on Distributed and Parallel Embedded Systems, pp. 61-71. Kluwer, Dordrecht (1999)
11. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Reading (2006)
12. Milner, R.: Communication and Mobile Systems - The Pi Calculus. Cambridge University Press, Cambridge (1999)
13. Gansner, E., North, S.: An Open Graph Visualization System and its Applications to Software Eengineering. Software - Practice and Experience (1999)
14. Robert Bosch GmbH: ACC Adaptive Cruise Control. The Bosch Yellow Jackets (2003), http://www.christiani-tvet.com/
15. Regnell, B., Davidson, A.: From Requirements to Design with Use Cases. In: Proc. 3rd Intl. Workshop on Requirements Engineering - Foundation for Software Quality, Barcelona (1997)
16. Harel, D., Marelly, R.: Come, Let's Play - Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
17. Ohlhoff, C.: Consistent Refinement of Sequence Diagrams in the UML 2.0. Christian Albrechts Universität, Kiel (2006)
18. Fricker, S., Gorscheck, T., Byman, C., Schmidle, A.: Handshaking with Impementation Proposals: Negotiating Requirements Understanding. IEEE Software 27(2), 72-80 (2010)