{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:19:27Z","timestamp":1725625167462},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_5","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T17:05:20Z","timestamp":1319562320000},"page":"75-100","source":"Crossref","is-referenced-by-count":0,"title":["Spezifikation f\u00fcr ein Spezifikationswerkzeug"],"prefix":"10.1007","author":[{"given":"Peter","family":"Schnupp","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","first-page":"94","volume-title":"IEEE Trans, on Software Engineering, SE-4","author":"R Balzer","year":"1997","unstructured":"R. Balzer, N. Goldman, D. Wile, \u201cInformality in Program Specifications\u201d, IEEE Trans, on Software Engineering, SE-4 (March 1978), S. 94"},{"key":"5_CR2","first-page":"58","volume-title":"Proceedings Specification of Reliable Software","author":"R Balzer","year":"1979","unstructured":"R. Balzer, N. Goldman, \u201cPrinciples of Good Software Specification and Their Implications for Specification Languages\u201d, in: Proceedings \u201cSpecification of Reliable Software\u201d, IEEE, New York (1979), S. 58"},{"key":"5_CR3","volume-title":"Using Traces to Write Abstract Specifications for Software Modules, UNC Report Nr. TR 77-012, University of North Carolina, Chapel Hill, North Carolina","author":"U Bartussek","year":"1977","unstructured":"U. Bartussek, D.L. Parnas, \u201cUsing Traces to Write Abstract Specifications for Software Modules\u201d, UNC Report Nr. TR 77-012, University of North Carolina, Chapel Hill, North Carolina (Dec. 1977)"},{"key":"5_CR4","unstructured":"E. Denert, \u201cSpecification and Design of Dialogue Systems with State Diagrams\u201d, Int. Comp. Symposium (ICS), Liege (5.-8. April 1977 ), S. 417"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"JV Guttag","year":"1977","unstructured":"J.V. Guttag, \u201cAbstract Data Types and the Development of Data Structures\u201d, CACM 20 (June 1977), S. 396","journal-title":"CACM"},{"key":"5_CR6","volume-title":"Information Processing","author":"P Henderson","year":"1974","unstructured":"P. Henderson, P.A. Snowdon, \u201cA Tool for Structured Program Development\u201d, Information Processing 74, North Holland, Publ. Co., Amsterdam (1974)"},{"key":"5_CR7","first-page":"250","volume":"2","author":"F Hertweck","year":"1978","unstructured":"F. Hertweck, E. Raubold, F. Vogt, \u201cX.25 Based Process-Process Communication\u201d, Computer Networks 2 (1978), S. 250","journal-title":"Computer Networks"},{"key":"5_CR8","volume-title":"Logic","author":"W Hodges","year":"1978","unstructured":"W. Hodges, \u201cLogic\u201d, Penguin Books, Hammondsworth (1978)"},{"key":"5_CR9","volume-title":"SPEZI: Eine Sprache zur Formulierung von Spezifikationen","author":"W Koch","year":"1979","unstructured":"W. Koch, \u201cSPEZI: Eine Sprache zur Formulierung von Spezifikationen\u201d, Gl-Jahrestagung, Bonn (Okt. 1979 )"},{"key":"5_CR10","volume-title":"Spezifikation einer Proze\u00df-Steuerung, TU Berlin, Fachbereich Informatik","author":"W Koch","year":"1979","unstructured":"W. Koch, I. Schmiedecke, \u201cSpezifikation einer Proze\u00df-Steuerung\u201d, TU Berlin, Fachbereich Informatik, Forschungsgruppe Software- technik, Berlin (1979)"},{"key":"5_CR11","first-page":"91","volume-title":"Proceedings Specification of Reliable Software","author":"C Jones","year":"1979","unstructured":"C. Jones, \u201cA Survey of Programming Design and Specification Techniques\u201d, in: Proceedings \u201cSpecification of Reliable Software\u201d, IEEE, New York (1979), S. 91"},{"key":"5_CR12","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\u201d, in: \u201cCurrent Trends in Programming Methodology, Vol.1: Software Specification and Design\u201d ( R.T. Yeh ed.). Prentice Hall, Eglewood Cliffs, N.J. (1977), S. 1"},{"key":"5_CR13","volume-title":"Design of Man\/machine Dialogues","author":"J Martin","year":"1973","unstructured":"J. Martin, \u201cDesign of Man\/machine Dialogues\u201d, Prentice Hall, Englewood Cliffs, H.J. (1973)"},{"key":"5_CR14","volume-title":"GMD-Konferenz S2E2, Bad Lahnstein","author":"K Nygaard","year":"1980","unstructured":"K. Nygaard, P. Handlykken, \u201cThe System Development Process \u2014 Its Setting, Some Problems and Needs for Methods\u201d, GMD-Konferenz S2E2, Bad Lahnstein (1980)"},{"key":"5_CR15","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\u201d, CACM 15 (1972), S. 330","journal-title":"CACM"},{"key":"5_CR16","volume-title":"Technical Rept. CSL-46","author":"L Robinson","year":"1997","unstructured":"L. Robinson, O. Roubine. Roubine, \u201cSPECIAL \u2014 A Specification and Assertion Language\u201d Technical Rept. CSL-46, Stanford Research Institute, Menlo Park, California 94025 (Jan. 1977)"},{"key":"5_CR17","volume-title":"GI, Tutorial und Tagung Verteilte Datenverarbeitung fur das DV-ManagementBonn (9.\u201311)","author":"P Schnupp","year":"1980","unstructured":"P. Schnupp, \u201cAnwendungsprogrammierung in einer Netzumgebung\u201d, GI, Tutorial und Tagung \u201cVerteilte Datenverarbeitung fur das DV-Management\u201d, Bonn (9.\u201311. April 1980 )"},{"key":"5_CR18","volume-title":"Computer Programming Methodology","author":"WM Turski","year":"1978","unstructured":"W.M. Turski, \u201cComputer Programming Methodology\u201d, Heyden. London (1978)"},{"key":"5_CR19","first-page":"2","volume-title":"Datenbank-Technologie, Berichte des German Chapters of the ACM","author":"H Wedekind","year":"1979","unstructured":"H. Wedekind, \u201cEine Methodologie zur Konstruktion des konzeptionellen Schemas\u201d, in: \u201cDatenbank-Technologie\u201d (J. Niedereichholz ed.), Berichte des German Chapters of the ACM, Bd. 2, Teubner, Stuttgart (1979)"}],"container-title":["Informatik-Fachberichte","Werkzeuge der Programmiertechnik"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68064-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:02:13Z","timestamp":1606255333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68064-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540107255","9783642680649"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68064-9_5","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}