{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:19:18Z","timestamp":1725625158023},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540107255"},{"type":"electronic","value":"9783642680649"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-68064-9_1","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T17:05:20Z","timestamp":1319562320000},"page":"1-27","source":"Crossref","is-referenced-by-count":1,"title":["Software-Produktions-Umgebungen: Entwicklungsstand Und Trends"],"prefix":"10.1007","author":[{"given":"H. L.","family":"Hausen","sequence":"first","affiliation":[]},{"given":"M.","family":"M\u00fcllerburg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Proc. First International Conference on Distributed Data Processing","author":"MW Alford","year":"1979","unstructured":"Alford, M.W. Requirements for Distributed Data Processing Design in: Proc. First International Conference on Distributed Data Processing, October 1979, IEEE"},{"key":"1_CR2","unstructured":"Alfo80 Alford, M.W. Towards Theoretical Foundations for Toolsmithing TRW Memo, Huntsville, Alabama"},{"key":"1_CR3","unstructured":"Alfo81 Alford, M.W. SDS: Experience with the Software Development System in: [H\u00fcnk81]"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Backus, J. Can Programming be liberated from the von Neuman Style CACM Vol.21, No. 8, pp 613\u2013641","DOI":"10.1145\/359576.359579"},{"key":"1_CR5","volume-title":"Software Engineering Notes, Vol.4 No.3","author":"BG Bail","year":"1979","unstructured":"Bail, B.G. User experiences with specification tools in: Software Engineering Notes, Vol.4, No.3, July 1979"},{"key":"1_CR6","volume-title":"Plasma\/D - Eine sprache fur den Systementwurf in: Proc. Softwareengineering, -Entwurf und -Spezifikation","author":"H Balzert","year":"1980","unstructured":"Balzert, H.; Weber, D. Plasma\/D - Eine sprache fur den Systementwurf in: Proc. Softwareengineering, -Entwurf und -Spezifikation, German Chapter of the ACM, TU Berlin, Sept.1980"},{"key":"1_CR7","volume-title":"Proc. of the Second Life Cycle Management Workshop, Atlanta, Georgia","author":"VR Basili","year":"1978","unstructured":"Basili, V.R.; Ely, E.H.; Young, D. Executive Summary Of The Second Life Cycle Management Workshop in: Proc. of the Second Life Cycle Management Workshop, Atlanta, Georgia, 1978, IEEE"},{"key":"1_CR8","unstructured":"Bayer, M.; Bohringer, B.; Dohatty, J.P.; Feuerhahn, H.; Jasper, J.; Koster, C.H.A.; Schmiedecke, U. Software Development in the CDL2 Laboratory in: [H\u00fcnk81]"},{"key":"1_CR9","volume-title":"Experience Utilizing Components of the Software Development System in: IEEE COMPSAC","author":"PC Belford","year":"1978","unstructured":"Belford, P.C. Experience Utilizing Components of the Software Development System in: IEEE COMPSAC 1978"},{"key":"1_CR10","volume-title":"Second International Conference on Software Engineering, San Francisco","author":"TE Bell","year":"1976","unstructured":"Bell, T.E.; Thayer, T.A. Software Requirements: Are They Really A Problem? in: Second International Conference on Software Engineering, San Francisco, Oct.1976, IEEE"},{"key":"1_CR11","volume-title":"Proc. Fourth International Conference on Software Engineering, Munich","author":"J Biewald","year":"1979","unstructured":"Biewald, J.; Goehner, P.; Lauber, R.; Schelling, H. EPOS - A Specification and Design Technique for Computer Controlled Real Time Automation Systems in: Proc. Fourth International Conference on Software Engineering, Munich, Sept.1979, IEEE"},{"key":"1_CR12","volume-title":"Abstract Software Specification Proc. Copenhagen Winter School, Lecture Notes in Computer Sience","author":"D Bjorner","year":"1979","unstructured":"Bjorner, D. Abstract Software Specification Proc. Copenhagen Winter School 1979 Lecture Notes in Computer Sience, Vol 86, Springer-Verlag, Heidelberg"},{"key":"1_CR13","volume-title":"A Computational Logic Academic Press, New York","author":"RS Boyer","year":"1979","unstructured":"Boyer, R.S.; Moore, J.S. A Computational Logic Academic Press, New York, San Francisco, London, 1979"},{"volume-title":"Net Theory and Application Proc. of the Advanced Course on General Net Theory of Processes and Systems Lecture Notes in Computer Science, Vol. 84","year":"1980","key":"1_CR14","unstructured":"Brauer, W. (ed.) Net Theory and Application Proc. of the Advanced Course on General Net Theory of Processes and Systems Lecture Notes in Computer Science, Vol. 84, Springer-Verlag, Berlin, Heidelberg, New York, 1980"},{"key":"1_CR15","volume-title":"Requirements for Ada Programming Support Environments (Stoneman)Department of Defense, USA","author":"JN Buxton","year":"1980","unstructured":"Buxton, J.N. Requirements for Ada Programming Support Environments (Stoneman) Department of Defense, USA, Feb.1980"},{"key":"1_CR16","unstructured":"Cheatham, T.E.; Townly, J.A.; Holloway, G.H. A System For Program Refinement Harvard University, Tech. Report Tr-05-79, Cambridge, MA"},{"key":"1_CR17","unstructured":"Cheatham, T.E. PDS: Overview of the Harvard Program Development System in: [H\u00fcnk81]"},{"key":"1_CR18","volume-title":"The Software Development System in: IEEE Trans, on Software Engineering, Vol.SE-3, No.1","author":"CG Davis","year":"1977","unstructured":"Davis, C.G.; Vick, C.R. The Software Development System in: IEEE Trans, on Software Engineering, Vol.SE-3, No.1, Jan.1977"},{"key":"1_CR19","volume-title":"The Software Development System: Status and Evolution in: IEEE COMPSAC","author":"CG Davis","year":"1978","unstructured":"Davis, C.G.; Vick, C.R. The Software Development System: Status and Evolution in: IEEE COMPSAC 1978"},{"key":"1_CR20","volume-title":"An Introduction to the Programmer\u2019s Workbench in: Second International Conference on Software Engineering, San Francisco","author":"TA Dolotta","year":"1976","unstructured":"Dolotta, T.A.; Mashey, J.R. An Introduction to the Programmer\u2019s Workbench in: Second International Conference on Software Engineering, San Francisco, Oct.1976, IEEE"},{"key":"1_CR21","volume-title":"PWB\/UNIX - Overview and Synopsis of Facilities Bell Laboratories, Naperville, Illinois","author":"TA Dolotta","year":"1977","unstructured":"Dolotta, T.A.; Haight, R.C. PWB\/UNIX - Overview and Synopsis of Facilities Bell Laboratories, Naperville, Illinois, June 1977"},{"key":"1_CR22","volume-title":"An environment for producing well-engineered microcomputer software in: Fourth International Conference on Software Engineering, Munich","author":"RS Eanes","year":"1979","unstructured":"Eanes, R.S.; Hitchon, K.; Thall, R.M.; Brackett, J.W. An environment for producing well-engineered microcomputer software in: Fourth International Conference on Software Engineering, Munich, Sept.1979, IEEE"},{"key":"1_CR23","volume-title":"A Comparison of Software Assurance Methods Software Engineering Notes, Vol. 3, No. 5","author":"MS Fujii","year":"1978","unstructured":"Fujii, M. S. A Comparison of Software Assurance Methods Software Engineering Notes, Vol. 3, No. 5, November 1978"},{"key":"1_CR24","volume-title":"Report on the Development of Gypsy ICSA-CMP-11, Institute of Computer Science and Application","author":"DI Good","year":"1978","unstructured":"Good, D.I.; Cohen, R.M.; Hunter, L.D. A Report on the Development of Gypsy ICSA-CMP-11, Institute of Computer Science and Application, University of Texas at Austin, Austin, June 1978"},{"key":"1_CR25","volume-title":"Software Development Tools","author":"AN Habermann","year":"1980","unstructured":"Habermann, A.N. Tools for software system construction in: Riddle and Fairly (eds.), Software Development Tools, Springer Verlag, Heidelberg, Germany, 1980"},{"key":"1_CR26","unstructured":"Habermann, A.N.; Perry, E. System Composition and Version Control for Ada in: [H\u00fcnk81]"},{"key":"1_CR27","unstructured":"Handlykken, P.; Nygaard, K. The Delta System Description Language: Motivation, Main Concepts and Experiments from Use in: [Hunk81]"},{"key":"1_CR28","unstructured":"Hausen, H.L.; M\u00fcllerburg, M.; Riddle, W.E. Software Engineering Environments: A Bibliography in: [H\u00fcnk81]"},{"key":"1_CR29","volume-title":"Conspectus of Software Engineering Environments in: Fifth International Conference on Software Engineering, San Diego","author":"HL Hausen","year":"1981","unstructured":"Haus81ab Hausen, H.L.; M\u00fcllerburg, M. Conspectus of Software Engineering Environments in: Fifth International Conference on Software Engineering, San Diego, March 1981, IEEE"},{"key":"1_CR30","unstructured":"Haus81c Hausen, H.L.; M\u00fcllerburg, M. \u00dcbersicht \u00dcber Software Produktions-Systeme Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 5205 St. Augustin 1, Germany, IST-Bericht, in Vorbereitung"},{"key":"1_CR31","volume-title":"A Structure Editor for the Gypsy Verification Environment ICSCA-CMP-16, Institute of Computer Science and Application, ICSCA-CMP-16, Institute of Computer Science and Application, Un of Texas at Austin, Austin","author":"DF Hare","year":"1979","unstructured":"Hare, D.F. A Structure Editor for the Gypsy Verification Environment ICSCA-CMP-16, Institute of Computer Science and Application, Un of Texas at Austin, Austin, July 1979"},{"volume-title":"Software Engineering Environments Proc. of a Symposium (S2E2), June 1980, Lahnstein, Germany","year":"1981","key":"1_CR32","unstructured":"H\u00fcnk81 H\u00fcnke, H. (ed.): Software Engineering Environments Proc. of a Symposium (S2E2), June 1980, Lahnstein, Germany North-Holland Pub. Co., Amsterdam, The Netherlands, Jan. 1981"},{"key":"1_CR33","volume-title":"Structured Analysis and Design, Vol. 2, State of the Art Report","author":"CA Irvine","year":"1978","unstructured":"Irvine, C.A.; Brackett, J.W. A System for Software Engineering in: Structured Analysis and Design, Vol. 2, State of the Art Report, Infotech, Maidenhead, England, 1978"},{"key":"1_CR34","volume-title":"Comm. ACM, Vol.20, No. 10","author":"EL Ivie","year":"1977","unstructured":"Ivie, E.L. The Programmer\u2019s Workbench - A Machine for Software Development in: Comm. ACM, Vol.20, No.10, Oct.1977"},{"key":"1_CR35","volume-title":"Modification Request Control System in: Second International Conference on Software Engineering, San Francisco","author":"DB Knudsen","year":"1976","unstructured":"Knudsen, D.B.; Barofsky, A.; Satz, L.R. A Modification Request Control System in: Second International Conference on Software Engineering, San Francisco, Oct.1976, IEEE"},{"key":"1_CR36","unstructured":"Lauer, P.E.; Shields, M.W.; Best, E. On the Design and Certification of Asynchronous Systems of Processes University of Newcastle upon Tyne, Computing Laboratory, Final Report, Period 1976-1977"},{"key":"1_CR37","unstructured":"Lauer, P.E.; Shields, M.W. Cosy: An Environment for Development and Analysis of Concurrent And Distributed Systems in: [H\u00fcnk81]"},{"key":"1_CR38","volume-title":"A Software Production System for Mini-Computers and Micro-Computers in: IEEE COMPSAC","author":"Y Matsumoto","year":"1978","unstructured":"Matsumoto, Y.; Nakajima, S.; Yamamoto, S.; Sakai, T. SPS: A Software Production System for Mini-Computers and Micro-Computers in: IEEE COMPSAC 1978"},{"key":"1_CR39","unstructured":"Matsumoto, Y.; Sasaki, O.; Nakajima, S.; Takezewa, K.; Yamamoto, S.; Tanaka, T. SWB System: A Software Factory in: [H\u00fcnk81]"},{"key":"1_CR40","unstructured":"Mitze, R.W. UNIX as a Software Engineering Environment in: [H\u00fcnk81]"},{"key":"1_CR41","volume-title":"Systems Development Laboratory Laboratory Report, Hitachi, Kawasaki, Japan","author":"T Miura","year":"1980","unstructured":"Miura, T.; Kawasaki, J. Systems Development Laboratory Laboratory Report, Hitachi, Kawasaki, Japan, Oct.1980"},{"key":"1_CR42","unstructured":"Murakami, N.; Miyanari, I.; Yabuta, K. SDEM and SDSS: Overall Approach to Improvement of the Software Development Environment in: [H\u00fcnk81]"},{"key":"1_CR43","volume-title":"Complementary approach to the effective Software Development Environment in: IEEE COMPSAC","author":"Y Nakamura","year":"1978","unstructured":"Nakamura, Y.; Miyahara, R.; Takeuchi, H. Complementary approach to the effective Software Development Environment in: IEEE COMPSAC 1978"},{"key":"1_CR44","unstructured":"Nygaard, K.; Handlykken, P. The System Development Process - Its Setting, Some Problems and Needs for Methods in: [H\u00fcnk81]"},{"key":"1_CR45","unstructured":"Pearson, D.J.; Snowdon, R.A. ISES - A System for the Formal Capture of Informal Design presented to IFIP TC10"},{"key":"1_CR46","volume-title":"The Use and Abuse of a Software Engineering System in: Proc. AFIPS National Computer Conference, Anaheim, California","author":"DJ Pearson","year":"1979","unstructured":"Pearson, D.J. The Use and Abuse of a Software Engineering System in: Proc. AFIPS National Computer Conference, Anaheim, California, June 1979"},{"key":"1_CR47","volume-title":"Kongsbergs Road to an Industrial Software Methodology in: Third International Conference on Software Engineering, Altlanta","author":"JT Pedersen","year":"1978","unstructured":"Pedersen, J.T.; Buckle, J.K. Kongsberg\u2019s Road to an Industrial Software Methodology in: Third International Conference on Software Engineering, Atlanta, May 1978, IEEE"},{"key":"1_CR48","volume-title":"CADES\u2013Support for the Development of Complex Software in Proc. of the European Computing Conference on Software Engineering","author":"GD Pratten","year":"1976","unstructured":"Pratten, G.D.; Snowdon, R.A. CADES\u2013Support for the Development of Complex Software in: Proc. of the European Computing Conference on Software Engineering, 1976, ONLINE, Uxbridge, England"},{"key":"1_CR49","volume-title":"Proc. Third Jerusalem Conference on Information Technology","author":"WE Riddle","year":"1978","unstructured":"Riddle, W.E.; Sayler, J.H.; Segal, A.R.; Stavely, A.M.; Wileden, J.C. Dream - A Software Design Aid System in: Proc. Third Jerusalem Conference on Information Technology Moneta, J. (ed.), North-Holland Pub. Co., Amsterdam, The Netherlands, Aug.1978"},{"key":"1_CR50","unstructured":"Riddle, W.E. An Assessment of Dream in: [H\u00fcnk81]"},{"key":"1_CR51","volume-title":"Handbook, Vol.I: The Foundations of HDM Vol.II: The Languages and Tools of HDM Vol.III: A Detailed Example in the use of HDM","author":"L Robinson","year":"1979","unstructured":"Robinson, L.; Levitt, K.N.; Silverberg, B.A. HDM Handbook, Vol.I: The Foundations of HDM Vol.II: The Languages and Tools of HDM Vol.III: A Detailed Example in the use of HDM SRI International, Menlo Park, California, June 1979"},{"key":"1_CR52","volume-title":"IEEE Trans, on Software Engineering, SE-1,No.4","author":"MJ Rochkind","year":"1975","unstructured":"Rochkind, M.J. The Source Code Control System in: IEEE Trans, on Software Engineering, SE-1,No.4, Dec.1975"},{"key":"1_CR53","unstructured":"Silverberg, B.A. An Overview of the Hierarchical Development Methodology in: [H\u00fcnk81]"},{"key":"1_CR54","volume-title":"Software Development Tools","author":"RA Snowdon","year":"1980","unstructured":"Snowdon, R.A. An Experience-Based Assessment of Development Systems in: Riddle and Fairley (eds.), Software Development Tools, Springer-Verlag, Heidelberg, 1980"},{"key":"1_CR55","unstructured":"Snowdon, R.A. CADES and Software System Development in: [H\u00fcnk81]"},{"key":"1_CR56","unstructured":"Standish, T.A. Arcturus: An Advanced Highly-Integrated Programming EnvironMent in: [H\u00fcnk81]"},{"key":"1_CR57","unstructured":"Stucki, L.G. Concepts and Prototypes for ARGUS - An Advanced Software Engineering Environment in: [H\u00fcnk81]"},{"key":"1_CR58","volume-title":"A Facility for Verification, Testing and Documentation of Concurrent Process Software in: IEEE COMPSAC","author":"RN Taylor","year":"1978","unstructured":"Taylor, R.N.; Osterweil, L.J. A Facility for Verification, Testing and Documentation of Concurrent Process Software in: IEEE COMPSAC 1978"},{"key":"1_CR59","volume-title":"IEEE Trans, on Software Engineering, Vol.SE-3, No.1","author":"D Teichroew","year":"1977","unstructured":"Teichroew, D.; Hershey, E.A. PSL\/PSA: A Computer Aided Technique For Structured Documentation and Analysis of Information Processing Systems in: IEEE Trans, on Software Engineering, Vol.SE-3, No.1, Jan.1977"},{"key":"1_CR60","volume-title":"The Ada Language and Environment CS-56, Dept. of Computer Science, Brown Univ. Providence, Rhode Island","author":"P Wegner","year":"1980","unstructured":"Wegner, P. The Ada Language and Environment CS-56, Dept. of Computer Science, Brown Univ., Providence, Rhode Island, 1980"},{"key":"1_CR61","volume-title":"Computer Aided Design of Software Systems in: Fourth International Conference on Software Engineering, Munich","author":"RR Willis","year":"1979","unstructured":"Willis, R.R.; Jensen, E.P. Computer Aided Design of Software Systems in: Fourth International Conference on Software Engineering, Munich, Sept.1979, IEEE"},{"key":"1_CR62","unstructured":"Willis, R.R. AIDES: Computer Aided Design of Software Systems\u2013II in: [H\u00fcnk81]"}],"container-title":["Informatik-Fachberichte","Werkzeuge der Programmiertechnik"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68064-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:02:10Z","timestamp":1606255330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68064-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540107255","9783642680649"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68064-9_1","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}