{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:04:33Z","timestamp":1725894273093},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540737698"},{"type":"electronic","value":"9783540737704"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73770-4_4","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T16:00:13Z","timestamp":1187971213000},"page":"61-78","source":"Crossref","is-referenced-by-count":12,"title":["Testing and Verifying Invariant Based Programs in the SOCOS Environment"],"prefix":"10.1007","author":[{"given":"Ralph-Johan","family":"Back","sequence":"first","affiliation":[]},{"given":"Johannes","family":"Eriksson","sequence":"additional","affiliation":[]},{"given":"Magnus","family":"Myreen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11767589_1","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"R.J. Back","year":"2006","unstructured":"Back, R.J.: Invariant based programming. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 1\u201318. Springer, Heidelberg (2006)"},{"key":"4_CR2","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, NYC (1983)"},{"doi-asserted-by":"crossref","unstructured":"Back, R.J., Myreen, M.: Tool support for invariant based programming. In: The 12th Asia-Pacific Software Engineering Conference, Taipei, Taiwan (December 2005)","key":"4_CR3","DOI":"10.1109\/APSEC.2005.104"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Product Focused Software Process Improvement","author":"R.J. Back","year":"2005","unstructured":"Back, R.J., Milovanov, L., Porres, I.: Software development and experimentation in an academic environment: The Gaudi experience. In: Bomarius, F., Komi-Sirvi\u00f6, S. (eds.) PROFES 2005. LNCS, vol.\u00a03547, Springer, Heidelberg (2005)"},{"key":"4_CR5","series-title":"NATO Science Series II: Mathematics, Physics and Chemistry","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/1-4020-3532-2_1","volume-title":"Engineering Theories of Software Intensive Systems","author":"R.J. Back","year":"2005","unstructured":"Back, R.J.: Incremental software construction with refinement diagrams. In: Broy Gunbauer, H., Hoare (eds.) Engineering Theories of Software Intensive Systems. NATO Science Series II: Mathematics, Physics and Chemistry, pp. 3\u201346. Springer, Marktoberdorf, Germany (2005)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Extreme Programming and Agile Methods - XP\/Agile Universe 2002","author":"R.J. Back","year":"2002","unstructured":"Back, R.J., Milovanov, L., Porres, I., Preoteasa, V.: XP as a framework for practical software engineering experiments. In: Wells, D., Williams, L. (eds.) Extreme Programming and Agile Methods - XP\/Agile Universe 2002. LNCS, vol.\u00a02418, Springer, Heidelberg (2002)"},{"key":"4_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":"4_CR8","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)"},{"unstructured":"Back, R.J.: Program construction by situation analysis. Research Report\u00a06, Computing Centre, University of Helsinki, Helsinki, Finland (1978)","key":"4_CR9"},{"key":"4_CR10","volume-title":"IEEE Transactions on Software Engineering","author":"M.H. Emden van","year":"1979","unstructured":"van Emden, M.H.: Programming with verification conditions. In: IEEE Transactions on Software Engineering, vol.\u00a0SE\u20135, IEEE Computer Society Press, Los Alamitos (1979)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/BFb0020001","volume-title":"VDM \u201991","author":"J.R. Abrial","year":"1991","unstructured":"Abrial, J.R., Lee, M.K.O., Neilson, D.S., Scharbach, P.N., Sorensen, I.H.: The B-method (software development). In: Prehn, S., Toetenel, W.J. (eds.) VDM 1991. LNCS, vol.\u00a0552, pp. 398\u2013405. Springer, Heidelberg, Germany (1991)"},{"key":"4_CR12","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT)\u00a07(3), 212\u2013232 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/512529.512558","volume-title":"PLDI 2002","author":"C. Flanagan","year":"2002","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: PLDI 2002. Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pp. 234\u2013245. ACM Press, New York, USA (2002)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-45319-9_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Berg van den","year":"2001","unstructured":"van den Berg, J., Jacobs, B.: The LOOP compiler for Java and JML. In: Margaria, T., Yi, W. (eds.) ETAPS 2001 and TACAS 2001. LNCS, vol.\u00a02031, p. 299+. Springer, Heidelberg (2001)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/978-3-540-45236-2_24","volume-title":"FME 2003: Formal Methods","author":"L. Burdy","year":"2003","unstructured":"Burdy, L., Requet, A., Lanet, J.L.: Java applet correctness: A developer-oriented approach. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 422\u2013439. Springer, Heidelberg (2003)"},{"key":"4_CR17","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":"4_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J. Back","year":"1998","unstructured":"Back, R.J., von Wright, J.: Refinement Calculus: A Systematic Introduction (Graduate Texts in Computer Science). Springer, Heidelberg (1998)"},{"unstructured":"Alanen, M., Porres, I.: The Coral Modelling Framework. In: Koskimies, K., Kuzniarz, L., Lilius, J., Porres, I. (eds.) NWUML 2004. Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language, Turku Centre for Computer Science, July 2004, vol.\u00a035, General Publications (2004)","key":"4_CR19"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/1066100.1066102","volume":"52","author":"D. Detlefs","year":"2005","unstructured":"Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: a theorem prover for program checking. J. ACM\u00a052(3), 365\u2013473 (2005)","journal-title":"J. ACM"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Computer Aided Verification","author":"S. Owre","year":"1996","unstructured":"Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.K.: PVS: Combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 411\u2013414. Springer, Heidelberg (1996)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-45648-1_9","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"R.J. Back","year":"2002","unstructured":"Back, R.J.: Software construction by stepwise feature introduction. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 162\u2013183. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73770-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:58:36Z","timestamp":1619517516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73770-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540737698","9783540737704"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73770-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}