{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:00:38Z","timestamp":1725634838813},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540096641"},{"type":"electronic","value":"9783642674440"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/978-3-642-67444-0_3","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T19:52:07Z","timestamp":1321473127000},"page":"23-36","source":"Crossref","is-referenced-by-count":0,"title":["Aktuelle Probleme Der Systemprogrammierung -Eine Subjektive Bestandsaufnahme"],"prefix":"10.1007","author":[{"given":"Peter","family":"Schnupp","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"UNC Report No. TR 77\u2013012","volume-title":"Using Traces to write Abstract Specifications for Software Modules","author":"W Bartussek","year":"1977","unstructured":"W. Bartussek, D.L. Parnas, \u201cUsing Traces to write Abstract Specifications for Software Modules\u201e, UNC Report No. TR 77\u2013012 University of North Carolina, Chapel Hill, North Carolina (DEC. 1977)"},{"key":"3_CR2","volume-title":"Arbeitspapier \u00fcber die Spezifikation abstrakter Verwalter mit Aussagen \u00fcber Spuren","author":"W Bartussek","year":"1979","unstructured":"W. Bartussek, \u201cArbeitspapier \u00fcber die Spezifikation abstrakter Verwalter mit Aussagen \u00fcber Spuren\u201e, TH Darmstadt, FB Informatik, Darmstadt (1979)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1147\/sj.153.0225","volume":"15","author":"LA Belady","year":"1976","unstructured":"L.A. Belady, M.M. Lehman, \u201cA Model of Large Program Development\u201e, IBM Syst. J. 15 (1976), S. 22","journal-title":"IBM Syst. J."},{"key":"3_CR4","volume-title":"General System Theory","author":"L Bertalanffy von","year":"1973","unstructured":"L. von Bertalanffy, \u201cGeneral System Theory\u201e, Penguin Univ. Books, Harmondsworth (1973)"},{"key":"3_CR5","volume-title":"Workshop-Bericht \u00fcber den STPMU-Teil \u2018Theoretische Ans\u00e4tze zur Software-Technologie\u2019","author":"R Budde","year":"1979","unstructured":"R. Budde, \u201cWorkshop-Bericht \u00fcber den STPMU-Teil \u2018Theoretische Ans\u00e4tze zur Software-Technologie\u2019\u201c, GMD Schlo\u00df Birlinghoven (19.06.1979)"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"RA Millo de","year":"1979","unstructured":"R.A. de Millo, R.J. Lipton, A.J. Periis, \u201cSocial Processes and Proofs of Theorems and Programs\u201e, CACM 22, (May 1979) S. 271","journal-title":"CACM"},{"key":"3_CR7","first-page":"417","volume-title":"Specification and Design of Dialogue Systems with State Diagrams","author":"E Denert","year":"1977","unstructured":"E. Denert, \u201cSpecification and Design of Dialogue Systems with State Diagrams\u201e, Int. Comp. Symposium (ICS), Liege (05. \u2014 07. April 1977), S. 417"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/TSE.1976.233534","volume":"SE-2","author":"F Remer de","year":"1976","unstructured":"F. de Remer, H.H. Kron, \u201cProgramming-in-the-large versus Programming-in-the-small\u201e, IEEE Trans. Software Eng. SE-2 (June 1976), S. 80","journal-title":"IEEE Trans. Software Eng"},{"key":"3_CR9","volume-title":"Systematics","author":"K Grindley","year":"1975","unstructured":"K. Grindley, \u201cSystematics\u201e, McGraw Hill, London (1975)"},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"414","DOI":"10.21236\/ADA034827","volume-title":"The Design of Data Type Specifications","author":"JV Guttag","year":"1976","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser, \u201cThe Design of Data Type Specifications\u201e, Proc. 2nd Int. Conf. on Software Engineering, San Francisco (Oct. 1976), S. 414"},{"key":"3_CR11","first-page":"63","volume-title":"Some Extensions to Algebraic Specifications","author":"JV Guttag","year":"1977","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser, \u201cSome Extensions to Algebraic Specifications\u201e, Proc. ACM Conf. on Language Design for Reliable Software, SIGPLAN Notices (March 1977), S. 63"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/TSE.1976.233798","volume":"SE-2","author":"M Hamilton","year":"1976","unstructured":"M. Hamilton, S. Zeldin, \u201cHigher Order Software \u2014 a Methodology for Defining Software\u201e, IEEE Trans. Software Eng. SE-2 (1976), S. 9","journal-title":"IEEE Trans. Software Eng"},{"unstructured":"\u201cIFIP Guide to Concepts and Terms in Data Processing\u201e, (I.H. Gould ed.) North Holland, Amsterdam und London (1971)","key":"3_CR13"},{"unstructured":"W. Koch, \u201cSPEZI, eine Sprache zur Formulierung von Spezifikationen\u201e, Vortrag auf dieser Tagung","key":"3_CR14"},{"key":"3_CR15","volume-title":"Lexikon der angewandten Datenverarbeitung","author":"DS Koreimann","year":"1977","unstructured":"D.S. Koreimann, \u201cLexikon der angewandten Datenverarbeitung\u201e, de Gruyter, Berlin (1977)"},{"key":"3_CR16","first-page":"129","volume-title":"Tutorial on Software Design Techniques","author":"B Liskov","year":"1976","unstructured":"B. Liskov, S.N. Zilles, \u201cSpecification Techniques for Data Abstractions\u201e, Reprint in: Tutorial on Software Design Techniques (P. Freeman, A.I. Wasserman, eds.), IEEE Computer Soc, San Francisco (Oct. 1976), S. 129"},{"key":"3_CR17","first-page":"1","volume-title":"Current Trends in Programming Methodology, Vol.1, Software Specification and Design","author":"B Liskov","year":"1977","unstructured":"B. Liskov, S. Zilles, \u201cAn Introduction to Formal Specifications of Data Abstractions\u201e, in \u201cCurrent Trends in Programming Methodology, Vol.1, Software Specification and Design\u201e (R.T. Yeh ed.), Prentice-Hall, Englewood Cliffs N.J. (1977), S. 1"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"DL Parnas","year":"1972","unstructured":"D.L. Parnas, \u201cA Technique for Software Module Specification with Examples\u201e, CACM 15 (1972), S. 330","journal-title":"CACM"},{"key":"3_CR19","series-title":"NRL Report 8047","doi-asserted-by":"crossref","DOI":"10.21236\/ADA043369","volume-title":"Use of Abstract Interfaces in the Development of Software for Embedded Computer Systems","author":"DL Parnas","year":"1977","unstructured":"D.L. Parnas, \u201cUse of Abstract Interfaces in the Development of Software for Embedded Computer Systems\u201e, NRL Report 8047, Naval Research Lab., Washington, D.C. (June 1977)"},{"key":"3_CR20","volume-title":"Universal-Lexikon der Gegenwart und Vergangenheit","author":"HA Pierer","year":"1845","unstructured":"H.A. Pierer, \u201cUniversal-Lexikon der Gegenwart und Vergangenheit\u201e, Altenburg (1845)"},{"key":"3_CR21","first-page":"61","volume-title":"Current Trends in Programming Methodology, Vol.1, Software Specification and Design","author":"L Robinson","year":"1977","unstructured":"L. Robinson, K.N. Levitt, P.G. Neumann, A.R. Saxena, \u201cA Formal Method for the Design of Operating System Software\u201e, in \u201cCurrent Trends in Programming Methodology, Vol.1, Software Specification and Design\u201e (R.T. Yeh ed.), Prentice-Hall, Englewood Cliffs, N.J. (1977), S. 61"},{"key":"3_CR22","volume-title":"Einf\u00fchrung in die Systemprogrammierung","author":"G Seegm\u00fcller","year":"1974","unstructured":"G. Seegm\u00fcller, \u201cEinf\u00fchrung in die Systemprogrammierung\u201e, BI Wissenschaftsverlag, Mannheim (1974)"},{"key":"3_CR23","volume-title":"Computer Programming Methodology","author":"WM Turski","year":"1978","unstructured":"W.M. Turski, \u201cComputer Programming Methodology\u201e, Heyden, London (1978)"},{"key":"3_CR24","volume-title":"An Introduction to General Systems Thinking","author":"GM Weinberg","year":"1975","unstructured":"G.M. Weinberg, \u201cAn Introduction to General Systems Thinking\u201e, Wiley, New York (1975)"}],"container-title":["Informatik-Fachberichte","GI \u2014 9. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67444-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:20:07Z","timestamp":1606256407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67444-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540096641","9783642674440"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67444-0_3","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1979]]}}}