{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T14:53:14Z","timestamp":1649083994590},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[1996,9]]},"DOI":"10.1007\/bf01236424","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T21:20:55Z","timestamp":1109366455000},"page":"137-156","source":"Crossref","is-referenced-by-count":3,"title":["A requirements engineering environment within a tightly integrated SDE"],"prefix":"10.1007","volume":"1","author":[{"given":"Ch.","family":"Kohring","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Lefering","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Nagl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"91","volume-title":"Proceedings of the 1st international conference on system development and factories","author":"C Fernstr\u00f6m","year":"1990","unstructured":"Fernstr\u00f6m 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"},{"key":"CR2","volume-title":"Requirements engineering and programming-in-the-large: integration of languages and tools","author":"Th. Janning","year":"1992","unstructured":"Janning Th. Requirements engineering and programming-in-the-large: integration of languages and tools (in German). Doctoral dissertation, RWTH Aachen. Deutscher Universit\u00e4tsverlag, Wiesbaden, 1992"},{"key":"CR3","unstructured":"v.d. Beeck M. A control model for requirements specifications (in German). Doctoral dissertation, RWTH Aachen, 1995"},{"key":"CR4","unstructured":"Kohring Ch. Executing requirements specs for prototyping (in German). Doctoral dissertation, RWTH Aachen, 1996"},{"key":"CR5","volume-title":"Strategies for real-time systems","author":"DJ Hatley","year":"1987","unstructured":"Hatley DJ, Pirbhai IA. Strategies for real-time systems. Dorset House, New York, 1987"},{"key":"CR6","volume-title":"Structured development for real-time systems, vols 1, 2, 3","author":"PT Ward","year":"1985","unstructured":"Ward PT, Mellor SJ. Structured development for real-time systems, vols 1, 2, 3. Yourdon Press New York, 1985"},{"key":"CR7","first-page":"403","volume":"16","author":"D Harel","year":"1990","unstructured":"Harel D et al. STATEMATE: a working environment for the development of reactive systems. TOSE 1990; 16: 403?414","journal-title":"TOSE"},{"issue":"1","key":"CR8","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/43857.43866","volume":"13","author":"W Bruyn","year":"1988","unstructured":"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","journal-title":"ACM Softw Eng Notes"},{"key":"CR9","unstructured":"Athena Systems. Foresight: modelling and simulation toolset for real-time systems. Development Product Description, 1989"},{"issue":"3","key":"CR10","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/51696.51702","volume":"13","author":"R Blumofe","year":"1988","unstructured":"Blumofe R, Hecht A. Executing real-time structured analysis specifications. ACM Softw Eng Notes 1988; 13(3): 32?40","journal-title":"ACM Softw Eng Notes"},{"key":"CR11","unstructured":"Computer and software engineering: shortcut user's manual. CSE, Salzburg, 1990"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Rzepka WE. A requirements engineering testbed: concept and status. In: Proceedings of the 2nd international conference on system integration. IEEE, 1992, pp 118?126","DOI":"10.1109\/ICSI.1992.217277"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-322-94703-1_14"},{"key":"CR14","first-page":"5","volume-title":"Short paper proceedings of ESS '93: European simulation symposium","author":"Ch. Kohring","year":"1993","unstructured":"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"},{"key":"CR15","first-page":"82","volume-title":"Proceedings of the 1st international symposium on requirements engineering","author":"M Lefering","year":"1993","unstructured":"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"},{"key":"CR16","volume-title":"Integration tools in a software development environment","author":"M Lefering","year":"1995","unstructured":"Lefering M. Integration tools in a software development environment (in German). Doctoral dissertation, RWTH, Aachen, 1995"},{"key":"CR17","volume-title":"Programming-in-the-large in languages, tools, and reuse","author":"J B\u00f6rstler","year":"1994","unstructured":"B\u00f6rstler J. Programming-in-the-large in languages, tools, and reuse (in German). Doctoral dissertation, RWTH, Aachen, 1994"},{"key":"CR18","first-page":"2","volume-title":"Proceedings of the 6th Software Engineering Environments Conference","author":"M Lefering","year":"1993","unstructured":"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"},{"key":"CR19","unstructured":"Nagl M (ed). Building tightly integrated software development environments: the IPSEN approach. In preparation"},{"key":"CR20","volume-title":"Interactive design of large program systems","author":"C Lewerentz","year":"1988","unstructured":"Lewerentz C. Interactive design of large program systems (in German). Doctoral dissertation, IFB 194., Springer, Berlin, 1988"},{"key":"CR21","series-title":"VDI-Fortschrittsberichte","volume-title":"Graphs as a central data structure within an SDE","author":"G Engels","year":"1986","unstructured":"Engels G. Graphs as a central data structure within an SDE (in German). Doctoral dissertation, VDI-Fortschrittsberichte 62. VDI-Verlag, D\u00fcsseldorf, 1986"},{"key":"CR22","series-title":"VDI-Fortschrittsberichte","volume-title":"An integrated SDE: concepts, design, and implementation","author":"W Sch\u00e4fer","year":"1986","unstructured":"Sch\u00e4fer W. An integrated SDE: concepts, design, and implementation (in German). Doctoral dissertation, VDI-Fortschrittsberichte 57. VDI-Verlag, D\u00fcsseldorf, 1986"},{"key":"CR23","volume-title":"Revision and consistency control in an integrated SDE","author":"B Westfechtel","year":"1991","unstructured":"Westfechtel B. Revision and consistency control in an integrated SDE (in German). Doctoral dissertation IFB 280. Springer, Berlin 1991"},{"key":"CR24","unstructured":"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"},{"key":"CR25","volume-title":"Operational specification using programmed graph rewriting systems: formal definition, application, and tools","author":"A Sch\u00fcrr","year":"1991","unstructured":"Sch\u00fcrr A. Operational specification using programmed graph rewriting systems: formal definition, application, and tools (in German). Doctoral dissertation, RWTH Aachen. Deutscher Universit\u00e4ts-Verlag, Wiesbaden, 1991"},{"issue":"1","key":"CR26","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0306-4379(95)00002-L","volume":"20","author":"N Kiesel","year":"1995","unstructured":"Kiesel N, Sch\u00fcrr A, Westfechtel B. GRAS: a graphoriented (software) engineering database system. Inform Syst 1995; 20(1): 21?51","journal-title":"Inform Syst"},{"key":"CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-01443-0","volume-title":"Graph grammars: theory, applications, and implementation","author":"M Nagl","year":"1979","unstructured":"Nagl M. Graph grammars: theory, applications, and implementation (in German). Vieweg, Braunschweig, 1979"},{"key":"CR28","unstructured":"Z\u00fcndorf, A. An enviornment for graph rewriting systems (in German). Doctoral dissertation. RWTH Aachen, 1996"},{"issue":"1","key":"CR29","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"BW Boehm","year":"1984","unstructured":"Boehm BW. Verifying and validating software requirements and design specifications. IEEE Software 1984; 1(1) 75?88","journal-title":"IEEE Software"},{"key":"CR30","volume-title":"Proceedings of the 4th international conference on advavced system engineering","author":"C Rolland","year":"1992","unstructured":"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"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Holzblatt K, Beyer HR (eds) Requirements gathering: the human factor. Commun ACM 1995; 38 (special issue): 5","DOI":"10.1145\/203356.203361"},{"key":"CR32","volume-title":"Software development and reality construction","year":"1992","unstructured":"Floyd C et al. (eds.) Software development and reality construction. Springer, Berlin, 1992"},{"key":"CR33","first-page":"263","volume-title":"Proceedings of CHI '88 conference: human factors in computer systems","author":"R Guindon","year":"1991","unstructured":"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"},{"key":"CR34","first-page":"165","volume-title":"Proceedings of the 1st International Symposium on Requirements Engineering","author":"I Sommerville","year":"1993","unstructured":"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"},{"issue":"1","key":"CR35","first-page":"49","volume":"10","author":"W Scacchi","year":"1984","unstructured":"Scacchi W. Managing software engineering projects: a social analysis. TOSE 1984; 10(1): 49?59","journal-title":"TOSE"},{"key":"CR36","series-title":"LNCS","volume-title":"VDM '87 VDM: a formal method at work","author":"D Bj\u00f8rner","year":"1988","unstructured":"Bj\u00f8rner D, Jones CB. VDM '87 VDM: a formal method at work. LNCS 252. Springer Berlin, 1988"},{"key":"CR37","volume-title":"Proceedings of the International Conference on VDM and Z. LNCS 428","year":"1990","unstructured":"Hoare CAR (ed). Proceedings of the International Conference on VDM and Z. LNCS 428. Springer, Berlin, 1990"},{"issue":"1","key":"CR38","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"JM Spivey","year":"1990","unstructured":"Spivey JM. An introduction to Z and formal specifications. Software Eng J 1990; 4(1): 40?50","journal-title":"Software Eng J"},{"issue":"3","key":"CR39","first-page":"250","volume":"8","author":"P Zave","year":"1982","unstructured":"Zave P. An operational approach to requirements specification for embedded systems. TOSE 1982; 8(3): 250?269","journal-title":"TOSE"},{"key":"CR40","first-page":"3","volume":"1","author":"P Loucopoulos","year":"1988","unstructured":"Loucopoulos P, Champion R. Knowledge-based approach to requirements engineering using method and domain knowledge. Knowledge-Based Syst 1988; 1: 3","journal-title":"Knowledge-Based Syst"},{"key":"CR41","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/52.55233","volume":"May","author":"PG Garg","year":"1990","unstructured":"Garg PG, Scacci W. A hypertext system to manage software life-cycle documents. IEEE Software 1990; May: 90?98","journal-title":"IEEE Software"},{"key":"CR42","doi-asserted-by":"crossref","unstructured":"Johnson WL. Deriving specifications from requirements. In: Proceedings of the 10th international conference on software engineering, Singapore. April 1988, pp. 428?438","DOI":"10.1109\/ICSE.1988.93723"},{"issue":"9","key":"CR43","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B Curtis","year":"1992","unstructured":"Curtis B, Kellner MI, Over J. Process modelling. Commun ACM 1992; 35(9): 75?90","journal-title":"Commun ACM"},{"issue":"11","key":"CR44","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1145\/50087.50089","volume":"33","author":"B Curtis","year":"1988","unstructured":"Curtis B, Krasner H, Iscoe N. Field study of the software design process for large systems. Commun ACM 1988; 33(11): 1268?1287","journal-title":"Commun ACM"},{"key":"CR45","volume-title":"Proceedings of the international software process Workshop","author":"K Pohl","year":"1994","unstructured":"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"},{"key":"CR46","unstructured":"Pohl K. A process control requirements engineering environment. Doctoral dissertation. RWTH Aachen, 1995"},{"key":"CR47","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/ICRE.1994.292398","volume-title":"Proceedings of the 1st international conference on requirements engineering, Colorado Springs","author":"O Gotel","year":"1994","unstructured":"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"},{"key":"CR48","volume-title":"Proceedings of the 1st International Symposium on Requirements Engineering, San Diego","author":"B Ramesh","year":"1993","unstructured":"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"},{"key":"CR49","unstructured":"Rich C, Waters RC. Artificial intelligence and software engineering. Morgan Kaufmann, 1986"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01236424.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01236424\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01236424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T23:48:07Z","timestamp":1586130487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01236424"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["BF01236424"],"URL":"https:\/\/doi.org\/10.1007\/bf01236424","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}