{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:36Z","timestamp":1725516516857},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_32","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"301-307","source":"Crossref","is-referenced-by-count":2,"title":["Eiffel as a Framework for Verification"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","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, R., Schulte, W.: The Spec# 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":"32_CR2","doi-asserted-by":"crossref","unstructured":"Chalin, P.: Logical Foundations of Program Assertions: What do Practitioners Want? ENCS-CSE Technical Report 2005-05, revision 02, Concordia University (June 2005)","DOI":"10.1109\/SEFM.2005.26"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","first-page":"114","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"I. Ciupa","year":"2007","unstructured":"Ciupa, I., Leitner, A., Liu, L(L.)., Meyer, B.: Automatic testing of object-oriented software. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 114\u2013129. Springer, Heidelberg (2007), http:\/\/se.ethz.ch\/~meyer\/publications\/lncs\/testing_sofsem.pdf"},{"key":"32_CR4","unstructured":"ECMA Technical Committee 39 (Programming and Scripting Languages) Technical Group 4 (Eiffel): Eiffel Analysis, Design and Programming Language, ECMA and ISO standard, June 2005 (revised November 2006)"},{"key":"32_CR5","unstructured":"Eiffel Software: EiffelStudio open-source download, www.eiffel.com"},{"volume-title":"Tests and Proofs","year":"2007","series-title":"Lecture Notes in Computer Science","key":"32_CR6","unstructured":"Gurevich, Y., Meyer, B. (eds.): TAP 2007. LNCS, vol.\u00a04454. Springer, Heidelberg (2007)"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"J\u00e9z\u00e9quel, J.-M., Meyer, B.: Design by Contract: The Lessons of Ariane. In: Computer (IEEE), vol.\u00a030(1), pp. 129\u2013130 (1997), http:\/\/se.ethz.ch\/~meyer\/publications\/computer\/ariane.pdf","DOI":"10.1109\/2.562936"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. In: Science of Computer Programming, vol.\u00a055(1-2), pp. 185\u2013208 (March 2005), http:\/\/dx.doi.org\/10.1016\/j.scico.2004.05.015","DOI":"10.1016\/j.scico.2004.05.015"},{"key":"32_CR9","unstructured":"Leavens, G.T., Cheon, Y.: Design by Contract with JML, draft paper. (with other JML documents from JML), www.eecs.ucf.edu\/~leavens\/JML\/"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Leitner, A., Oriol, M., Zeller, A., Ciupa, I., Meyer, B.: Efficient Unit Test Case Minimization. In: proceedings of Automated Software Engineering 2007 (ASE 2007) (to appear)","DOI":"10.1145\/1321631.1321698"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Leitner, A., Ciupa, I., Oriol, M., Meyer, B., Fiva, A.: Contract Driven Development = Test Driven Development \u2013 Writing Test Cases. In: proceedings of ESEC\/FSE 2007 (to appear)","DOI":"10.1145\/1287624.1287685"},{"volume-title":"Reusable Software: The Base Object-Oriented Component Libraries","year":"1994","author":"B. Meyer","key":"32_CR12","unstructured":"Meyer, B.: Reusable Software: The Base Object-Oriented Component Libraries. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"32_CR13","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"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11531142_1","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"B. Meyer","year":"2005","unstructured":"Meyer, B.: Attached Types and their Application to Three Open Problems of Object-Oriented Programming. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 1\u201332. Springer, Heidelberg (2005), http:\/\/se.ethz.ch\/~meyer\/publications\/lncs\/attached.pdf"},{"key":"32_CR15","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming, PhD thesis, ETH Zurich (February 2007), http:\/\/se.ethz.ch\/people\/nienaltowski\/papers\/thesis.pdf"},{"key":"32_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Architecting Systems with Trustworthy Components","author":"B. Schoeller","year":"2006","unstructured":"Schoeller, B., Widmer, T., Meyer, B.: Making Specifications Complete Through Models. In: Reussner, R., Stafford, J., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, Springer, Heidelberg (2006), http:\/\/se.ethz.ch\/~meyer\/publications\/lncs\/model_library.pdf"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T03:43:01Z","timestamp":1557718981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}