Môi trường kỹ thuật yêu cầu trong một môi trường phát triển phần mềm tích hợp chặt chẽ

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 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 v.d. Beeck M. A control model for requirements specifications (in German). Doctoral dissertation, RWTH Aachen, 1995 Kohring Ch. Executing requirements specs for prototyping (in German). Doctoral dissertation, RWTH Aachen, 1996 Hatley DJ, Pirbhai IA. Strategies for real-time systems. Dorset House, New York, 1987 Ward PT, Mellor SJ. Structured development for real-time systems, vols 1, 2, 3. Yourdon Press New York, 1985 Harel D et al. STATEMATE: a working environment for the development of reactive systems. TOSE 1990; 16: 403–414 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 Athena Systems. Foresight: modelling and simulation toolset for real-time systems. Development Product Description, 1989 Blumofe R, Hecht A. Executing real-time structured analysis specifications. ACM Softw Eng Notes 1988; 13(3): 32–40 Computer and software engineering: shortcut user's manual. CSE, Salzburg, 1990 Rzepka WE. A requirements engineering testbed: concept and status. In: Proceedings of the 2nd international conference on system integration. IEEE, 1992, pp 118–126 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 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 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 Lefering M. Integration tools in a software development environment (in German). Doctoral dissertation, RWTH, Aachen, 1995 Börstler J. Programming-in-the-large in languages, tools, and reuse (in German). Doctoral dissertation, RWTH, Aachen, 1994 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 Nagl M (ed). Building tightly integrated software development environments: the IPSEN approach. In preparation Lewerentz C. Interactive design of large program systems (in German). Doctoral dissertation, IFB 194., Springer, Berlin, 1988 Engels G. Graphs as a central data structure within an SDE (in German). Doctoral dissertation, VDI-Fortschrittsberichte 62. VDI-Verlag, Düsseldorf, 1986 Schäfer W. An integrated SDE: concepts, design, and implementation (in German). Doctoral dissertation, VDI-Fortschrittsberichte 57. VDI-Verlag, Düsseldorf, 1986 Westfechtel B. Revision and consistency control in an integrated SDE (in German). Doctoral dissertation IFB 280. Springer, Berlin 1991 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 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 Kiesel N, Schürr A, Westfechtel B. GRAS: a graphoriented (software) engineering database system. Inform Syst 1995; 20(1): 21–51 Nagl M. Graph grammars: theory, applications, and implementation (in German). Vieweg, Braunschweig, 1979 Zündorf, A. An enviornment for graph rewriting systems (in German). Doctoral dissertation. RWTH Aachen, 1996 Boehm BW. Verifying and validating software requirements and design specifications. IEEE Software 1984; 1(1) 75–88 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 Holzblatt K, Beyer HR (eds) Requirements gathering: the human factor. Commun ACM 1995; 38 (special issue): 5 Floyd C et al. (eds.) Software development and reality construction. Springer, Berlin, 1992 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 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 Scacchi W. Managing software engineering projects: a social analysis. TOSE 1984; 10(1): 49–59 Bjørner D, Jones CB. VDM '87 VDM: a formal method at work. LNCS 252. Springer Berlin, 1988 Hoare CAR (ed). Proceedings of the International Conference on VDM and Z. LNCS 428. Springer, Berlin, 1990 Spivey JM. An introduction to Z and formal specifications. Software Eng J 1990; 4(1): 40–50 Zave P. An operational approach to requirements specification for embedded systems. TOSE 1982; 8(3): 250–269 Loucopoulos P, Champion R. Knowledge-based approach to requirements engineering using method and domain knowledge. Knowledge-Based Syst 1988; 1: 3 Garg PG, Scacci W. A hypertext system to manage software life-cycle documents. IEEE Software 1990; May: 90–98 Johnson WL. Deriving specifications from requirements. In: Proceedings of the 10th international conference on software engineering, Singapore. April 1988, pp. 428–438 Curtis B, Kellner MI, Over J. Process modelling. Commun ACM 1992; 35(9): 75–90 Curtis B, Krasner H, Iscoe N. Field study of the software design process for large systems. Commun ACM 1988; 33(11): 1268–1287 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 Pohl K. A process control requirements engineering environment. Doctoral dissertation. RWTH Aachen, 1995 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 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 Rich C, Waters RC. Artificial intelligence and software engineering. Morgan Kaufmann, 1986