{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:22:39Z","timestamp":1725650559163},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571926"},{"type":"electronic","value":"9783642784866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78486-6_4","type":"book-chapter","created":{"date-parts":[[2012,1,8]],"date-time":"2012-01-08T12:17:00Z","timestamp":1326025020000},"page":"29-43","source":"Crossref","is-referenced-by-count":0,"title":["Korrekte Software: Vom Experiment zur Anwendung"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"M. Broy: Experiences with Software Specification and Verification Using LP, the Larch Proof Assistent. DIGITAL Systems Research Center, SRC 93, 1992"},{"key":"4_CR2","unstructured":"M. Broy, C. Dendorfer. K. St\u00f8len: HOPSA \u2014 High Level Programming Language for Parallel Computations. EuroArch 93, im Erscheinen"},{"key":"4_CR3","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"E.W. Dijkstra: A Discipline of Programming. Englewood Cliffs: Prentice-Hall 1976"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"RW Floyd","year":"1967","unstructured":"R.W. Floyd: Assigning Meanings to Programs. Proc. of Symposia in Applied Mathematics of the Amer. Math. Soc. 19, 1967, 19\u201332","journal-title":"Proc. of Symposia in Applied Mathematics of the Amer. Math. Soc"},{"key":"4_CR5","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, R. Weber: The Design of Distributed Systems \u2014 an Introduction to FOCUS. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-19203, Januar 1992, siehe auch: Summary of Case Studies in FOCUS \u2014 a Design Method for Distributed Systems. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9203, Januar 1992"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare: An Axiomatic Approach to Computer Programming. Comm. ACM 12, October 1969, 576\u2013580, 583","DOI":"10.1145\/363235.363259"},{"volume-title":"Korrekte Software durch formale Methoden","year":"1993","key":"4_CR7","unstructured":"M. Broy, S. J\u00e4hnichen (Hrsg.): Korrekte Software durch formale Methoden. GMD Karlsruhe 1993"},{"key":"4_CR8","volume-title":"Provably Correct Systems","author":"D Bj\u00f6rner","year":"1992","unstructured":"D. Bj\u00f6rner, H. Langmaack, C.A.R. Hoare: Provably Correct Systems. ProCoS I Final Delivery, M\u00e4rz 1992"},{"key":"4_CR9","series-title":"Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 55","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-74884-4_4","volume-title":"Constructive Methods in Computing Science","author":"RS Boyer","year":"1989","unstructured":"R.S. Boyer, J.S. Moore: The Addition of Bounded Quantification and Partial Functions to a Computational Logic and Its Theorem Prover. In: M. Broy (Hrsg.): Constructive Methods in Computing Science. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 55, 1989, 95\u2013145"},{"key":"4_CR10","series-title":"NATO ASI Series. Series F: 8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-642-46490-4_18","volume-title":"Program Transformation and Programming Environments","author":"M Broy","year":"1984","unstructured":"M. Broy: Algebraic methods for program construction: The project CIP. SOFSEM 82, also in: P. Pepper (ed.): Program Transformation and Programming Environments. NATO ASI Series. Series F: 8. Berlin-Heidelberg-New York-Tokyo: Springer 1984, 199\u2013222"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0167-6423(86)90022-5","volume":"6","author":"JV Guttag","year":"1986","unstructured":"J.V. Guttag, J.J. Horning: A Larch Shared Language Handbook. Science of Computer Programming 6:2, 1986, 135\u2013157","journal-title":"Science of Computer Programming"},{"key":"4_CR12","volume-title":"Systematic Program Development Using VDM","author":"CB Jones","year":"1986","unstructured":"C.B. Jones: Systematic Program Development Using VDM. Prentice Hall 1986"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1038\/352467a0","volume":"352","author":"D MacKenzie","year":"1991","unstructured":"D. MacKenzie: The Fangs of the VIPER. Nature Vol. 352, 1991, 467\u2013468","journal-title":"Nature"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/BF01887212","volume":"1","author":"T Nipkow","year":"1989","unstructured":"T. Nipkow: Term Rewriting and Beyond \u2014 Theorem Proving in Isabelle. Formal Aspects of Computing 1, 1989, 320\u2013338","journal-title":"Formal Aspects of Computing"},{"key":"4_CR15","series-title":"Internal Report","volume-title":"The Requirement and Design Specification Language SPECTRUM: An Informal Introduction","author":"M Broy","year":"1992","unstructured":"The Munich Spectrum Group: M. Broy, C. Facchi, R. Grosu, R. Hetler, H. Hussmann, D. Nazareth, F. Regensburger, K. Stoelen: The Requirement and Design Specification Language SPECTRUM: An Informal Introduction. Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Internal Report 1992"},{"key":"4_CR16","series-title":"Lecture Notets in Computer Science","volume-title":"Foundations of Software Technology and Theoretical Computer Science, New Delhi","author":"W Reif","year":"1992","unstructured":"W. Reif: Verification of Large Software Systems. In: Shyamasundar (ed.): Foundations of Software Technology and Theoretical Computer Science, New Delhi, Lecture Notets in Computer Science, 1992"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/32.210304","volume":"19","author":"JM Rushby","year":"1993","unstructured":"J.M. Rushby, F.v. Henke: Formal Verification of Algorithms for Critical Systems. IEEE Transactions on Software Engineering 19:1, 1993, 13\u201323","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR18","series-title":"Handbook of Theoretical Computer Science, Vol. B","first-page":"675","volume-title":"Algebraic Specification","author":"M Wirsing","year":"1990","unstructured":"M. Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Vol. B, Amsterdam: North Holland 1990, 675\u2013788"}],"container-title":["Informatik aktuell","Informatik \u2014 Wirtschaft \u2014 Gesellschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78486-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T08:59:24Z","timestamp":1620291564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78486-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571926","9783642784866"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78486-6_4","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}