Skip to main content
SpringerLink
Log in

A requirements engineering environment within a tightly integrated SDE

  • Published:
Requirements Engineering Aims and scope Submit manuscript

Abstract

This paper describes the outside functionality of an RE environment within an integrated software development environment. Furthermore, an integrator tool for the transition to software system architecture modelling is presented. The tools discussed are editors, analysers, executors, monitors, and integration tools of different characteristics for horizontal integration (within RE) and vertical integration (to architecture modelling). All tools are tightly integrated and work incrementally, therefore allowing different forms of construction and modification processes and giving substantial support.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Fernström C, Ohlsson F The ESF vision of a software factory. In: Madhavji et al. (eds). Proceedings of the 1st international conference on system development and factories. Pitman, London, 1990, pp 91–100

    Google Scholar 

  2. Janning Th. Requirements engineering and programming-in-the-large: integration of languages and tools (in German). Doctoral dissertation, RWTH Aachen. Deutscher Universitätsverlag, Wiesbaden, 1992

    MATH  Google Scholar 

  3. v.d. Beeck M. A control model for requirements specifications (in German). Doctoral dissertation, RWTH Aachen, 1995

  4. Kohring Ch. Executing requirements specs for prototyping (in German). Doctoral dissertation, RWTH Aachen, 1996

  5. Hatley DJ, Pirbhai IA. Strategies for real-time systems. Dorset House, New York, 1987

    Google Scholar 

  6. Ward PT, Mellor SJ. Structured development for real-time systems, vols 1, 2, 3. Yourdon Press New York, 1985

    Google Scholar 

  7. Harel D et al. STATEMATE: a working environment for the development of reactive systems. TOSE 1990; 16: 403–414

    Google Scholar 

  8. Bruyn W, Jensen R, Keskar D, Ward P. ESML: an extended systems modelling language based on the data flow diagram. ACM Softw Eng Notes 1988; 13(1): 58–67

    Article  Google Scholar 

  9. Athena Systems. Foresight: modelling and simulation toolset for real-time systems. Development Product Description, 1989

  10. Blumofe R, Hecht A. Executing real-time structured analysis specifications. ACM Softw Eng Notes 1988; 13(3): 32–40

    Article  Google Scholar 

  11. Computer and software engineering: shortcut user's manual. CSE, Salzburg, 1990

  12. Rzepka WE. A requirements engineering testbed: concept and status. In: Proceedings of the 2nd international conference on system integration. IEEE, 1992, pp 118–126

  13. Kohring Ch. A flexible interpreter for executable requirements specifications (in German). In: Zuellighoven, Altmann, Doberkat (eds). Requirements engineering '93: prototyping. German chapter of the ACM 1993; 41: 193–208

  14. Kohring Ch. RESI: an integrated tool set for requirements engineering and simulation. In: Short paper proceedings of ESS '93: European simulation symposium. Society for Computer Simulation, San Diego, 1993, pp 5–6

    Google Scholar 

  15. Lefering M. An incremental interration tool between requirements engineering and programming in the large. In: Proceedings of the 1st international symposium on requirements engineering. IEEE Computer Society Press, Washington, 1993, pp. 82–89

    Google Scholar 

  16. Lefering M. Integration tools in a software development environment (in German). Doctoral dissertation, RWTH, Aachen, 1995

    Google Scholar 

  17. Börstler J. Programming-in-the-large in languages, tools, and reuse (in German). Doctoral dissertation, RWTH, Aachen, 1994

    Google Scholar 

  18. Lefering M. Tools to support life cycle integration. In: Proceedings of the 6th Software Engineering Environments Conference. IEEE Computer Society Press, Washington, 1993, pp 2–16

    Google Scholar 

  19. Nagl M (ed). Building tightly integrated software development environments: the IPSEN approach. In preparation

  20. Lewerentz C. Interactive design of large program systems (in German). Doctoral dissertation, IFB 194., Springer, Berlin, 1988

    Google Scholar 

  21. Engels G. Graphs as a central data structure within an SDE (in German). Doctoral dissertation, VDI-Fortschrittsberichte 62. VDI-Verlag, Düsseldorf, 1986

    Google Scholar 

  22. Schäfer W. An integrated SDE: concepts, design, and implementation (in German). Doctoral dissertation, VDI-Fortschrittsberichte 57. VDI-Verlag, Düsseldorf, 1986

    MATH  Google Scholar 

  23. Westfechtel B. Revision and consistency control in an integrated SDE (in German). Doctoral dissertation IFB 280. Springer, Berlin 1991

    Google Scholar 

  24. Joeris G, Heimann P, Krapp C-A, Westfechtel B. DYNAMITE: dynamic task nets for software process management. In: Proceedings of the 18th International Conference on Software Engineering. To appear

  25. Schürr A. Operational specification using programmed graph rewriting systems: formal definition, application, and tools (in German). Doctoral dissertation, RWTH Aachen. Deutscher Universitäts-Verlag, Wiesbaden, 1991

    Google Scholar 

  26. Kiesel N, Schürr A, Westfechtel B. GRAS: a graphoriented (software) engineering database system. Inform Syst 1995; 20(1): 21–51

    Article  Google Scholar 

  27. Nagl M. Graph grammars: theory, applications, and implementation (in German). Vieweg, Braunschweig, 1979

    Google Scholar 

  28. Zündorf, A. An enviornment for graph rewriting systems (in German). Doctoral dissertation. RWTH Aachen, 1996

  29. Boehm BW. Verifying and validating software requirements and design specifications. IEEE Software 1984; 1(1) 75–88

    Article  Google Scholar 

  30. Rolland C, Proix C. A natural language approach for requirements engineering. In: Proceedings of the 4th international conference on advavced system engineering. LNCS 593. Springer, Berlin, 1992

    Google Scholar 

  31. Holzblatt K, Beyer HR (eds) Requirements gathering: the human factor. Commun ACM 1995; 38 (special issue): 5

  32. Floyd C et al. (eds.) Software development and reality construction. Springer, Berlin, 1992

    MATH  Google Scholar 

  33. Guindon R, Curtis B. Control of cognitive process during software design: what tools are needed? In: Proceedings of CHI '88 conference: human factors in computer systems. ACM Press, New York, 1991, pp 263–269

    Google Scholar 

  34. Sommerville I et al. Integrating ethnography into the requirements engineering process. In: Proceedings of the 1st International Symposium on Requirements Engineering. IEEE Computer Society Press, Washington, DC, 1993, pp. 165–173

    Google Scholar 

  35. Scacchi W. Managing software engineering projects: a social analysis. TOSE 1984; 10(1): 49–59

    Google Scholar 

  36. Bjørner D, Jones CB. VDM '87 VDM: a formal method at work. LNCS 252. Springer Berlin, 1988

    Google Scholar 

  37. Hoare CAR (ed). Proceedings of the International Conference on VDM and Z. LNCS 428. Springer, Berlin, 1990

    Google Scholar 

  38. Spivey JM. An introduction to Z and formal specifications. Software Eng J 1990; 4(1): 40–50

    Article  Google Scholar 

  39. Zave P. An operational approach to requirements specification for embedded systems. TOSE 1982; 8(3): 250–269

    Google Scholar 

  40. Loucopoulos P, Champion R. Knowledge-based approach to requirements engineering using method and domain knowledge. Knowledge-Based Syst 1988; 1: 3

    Google Scholar 

  41. Garg PG, Scacci W. A hypertext system to manage software life-cycle documents. IEEE Software 1990; May: 90–98

    Article  Google Scholar 

  42. Johnson WL. Deriving specifications from requirements. In: Proceedings of the 10th international conference on software engineering, Singapore. April 1988, pp. 428–438

  43. Curtis B, Kellner MI, Over J. Process modelling. Commun ACM 1992; 35(9): 75–90

    Article  Google Scholar 

  44. Curtis B, Krasner H, Iscoe N. Field study of the software design process for large systems. Commun ACM 1988; 33(11): 1268–1287

    Article  Google Scholar 

  45. Pohl K, Doemges R, Jarke M Decision-oriented process modelling. In: Proceedings of the international software process Workshop. IEEE Computer Science Press, Washington, DC, 1994

    Google Scholar 

  46. Pohl K. A process control requirements engineering environment. Doctoral dissertation. RWTH Aachen, 1995

  47. Gotel O, Finkelstein A. An analysis of the requirements traceability problem. In: Proceedings of the 1st international conference on requirements engineering, Colorado Springs. IEEE Computer Society Press, Washington, DC, 1994. pp 94–102

    Chapter  Google Scholar 

  48. Ramesh B, Edwards M Issues in the development of a requirements traceability model. In: Proceedings of the 1st International Symposium on Requirements Engineering, San Diego. IEEE Computer Society Press, Washington, DC, 1993

    Google Scholar 

  49. Rich C, Waters RC. Artificial intelligence and software engineering. Morgan Kaufmann, 1986

Download references

Author information

Authors and Affiliations

  1. Lehrst. Informatik III, Aachen University of Technology, D-52074, Aachen, Germany

    Ch. Kohring, M. Lefering & M. Nagl

Authors
  1. Ch. Kohring
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Lefering
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Nagl
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kohring, C., Lefering, M. & Nagl, M. A requirements engineering environment within a tightly integrated SDE. Requirements Eng 1, 137–156 (1996). https://doi.org/10.1007/BF01236424

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01236424

Keywords

Search

Navigation