{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T18:06:27Z","timestamp":1778695587981,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540346999","type":"print"},{"value":"9783540347002","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_1","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:38:34Z","timestamp":1150799914000},"page":"1-18","source":"Crossref","is-referenced-by-count":9,"title":["Invariant Based Programming"],"prefix":"10.1007","author":[{"given":"Ralph-Johan","family":"Back","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Back, R., Myreen, M.: Tool support for invariant based programming. In: Proceedings of the 12th Asia-Pacific Software Engineering Conference, Taipei, Taiwan (December 2005)","DOI":"10.1109\/APSEC.2005.104"},{"key":"1_CR2","unstructured":"Back, R.-J.: Program construction by situation analysis. Research Report\u00a06, Computing Centre, University of Helsinki, Helsinki, Finland (1978)"},{"key":"1_CR3","series-title":"Informatik Fachberichte","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-642-67600-0_6","volume-title":"6th Fachtagung Programmiersprachen und Programmentwicklungen","author":"R.-J. Back","year":"1980","unstructured":"Back, R.-J.: Exception handling with multi-exit statements. In: Hoffmann, H.J. (ed.) 6th Fachtagung Programmiersprachen und Programmentwicklungen, Darmstadt. Informatik Fachberichte, vol.\u00a025, pp. 71\u201382. Springer, Heidelberg (1980)"},{"key":"1_CR4","first-page":"223","volume-title":"Automatic Program Construction Techniques","author":"R.-J. Back","year":"1983","unstructured":"Back, R.-J.: Invariant based programs and their correctness. In: Biermann, W., Guiho, G., Kodratoff, Y. (eds.) Automatic Program Construction Techniques, pp. 223\u2013242. MacMillan Publishing Company, Basingstoke (1983)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The spec-sharp programming system: An overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Burdy, L., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J.R., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of jml tools and applications. Software Tools for Technology Transfer\u00a07(3) (June 2005)","DOI":"10.1007\/s10009-004-0167-4"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: A constructive approach to the problem of program correctness. BIT\u00a08, 174\u2013186 (1968)","journal-title":"BIT"},{"key":"1_CR8","volume-title":"Structured Programming","author":"E.W. Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: Notes on structured programming. In: Dahl, O.-J., Hoare, C.A.R., Dijkstra, E.W. (eds.) Structured Programming. Academic Press, New York (1972)"},{"key":"1_CR9","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"1_CR10","volume-title":"UML Distilled","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: UML Distilled. Addison-Wesley, Reading (1999)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: State charts: a visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF00289091","volume":"11","author":"E. Hehner","year":"1979","unstructured":"Hehner, E.: Do considered od: a contribution to the programming calculus. Acta Informatica\u00a011, 287\u2013304 (1979)","journal-title":"Acta Informatica"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/BFb0026441","volume-title":"Compiler Construction","author":"K.R.M. Leino","year":"1998","unstructured":"Leino, K.R.M., Nelson, G.: An extended static checker for modula-3. In: Koskimies, K. (ed.) CC 1998. LNCS, vol.\u00a01383, pp. 302\u2013305. Springer, Heidelberg (1998)"},{"key":"1_CR14","unstructured":"Nelson, G.: Techniques for Program Verification. PhD thesis, Stanford University (1980)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Shankar, N., Rushby, J.: Pvs: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607. Springer, Heidelberg (1992)"},{"key":"1_CR16","volume-title":"Programming Methodology","author":"J.C. Reynolds","year":"1978","unstructured":"Reynolds, J.C.: Programming with transition diagrams. In: Gries, D. (ed.) Programming Methodology. Springer, Berlin (1978)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"van Emden, M.H.: Programming with verification conditions. IEEE Transactions on Software Engineering\u00a0SE-5 (1979)","DOI":"10.1109\/TSE.1979.234171"},{"key":"1_CR18","unstructured":"Van Rossum, G., Drake Jr., F.L.: The Python Tutorial - An Introduction to Python. Network Theory Ltd. (2003)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:11:23Z","timestamp":1619493083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11767589_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}