{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:05:57Z","timestamp":1725537957088},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046933"},{"type":"electronic","value":"9783642046940"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04694-0_9","type":"book-chapter","created":{"date-parts":[[2009,9,15]],"date-time":"2009-09-15T09:50:17Z","timestamp":1253008217000},"page":"115-131","source":"Crossref","is-referenced-by-count":6,"title":["Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming"],"prefix":"10.1007","author":[{"given":"Isabel","family":"Nunes","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"20","key":"9_CR1","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.277574","volume":"4","author":"S. Antoy","year":"1994","unstructured":"Antoy, S., Gannon, J.: Using term rewriting to verify software. IEEE Transactions on Software Engineering\u00a04(20), 259\u2013274 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/32.825766","volume":"26","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Hamlet, R.: Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering\u00a026(1), 55\u201369 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45719-4_1","volume-title":"Algebraic Methodology and Software Technology","author":"D. Aspinall","year":"2002","unstructured":"Aspinall, D., Sannella, D.: From specifications to code in CASL. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 1\u201314. Springer, Heidelberg (2002)"},{"key":"9_CR4","unstructured":"Barnett, M., Schulte, W.: Spying on components: A runtime verification technique. In: Proc. Workshop on Specification and Verification of Component-Based Systems 2001 (2001)"},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0164-1212(02)00041-9","volume":"65","author":"M. Barnett","year":"2003","unstructured":"Barnett, M., Schulte, W.: Runtime verification of.NET contracts. Journal of Systems and Software\u00a065(3), 199\u2013208 (2003)","journal-title":"Journal of Systems and Software"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b11968","volume-title":"CASL User Manual","author":"M. Bidoit","year":"2004","unstructured":"Bidoit, M., Mosses, P.: CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/3-540-49253-4_25","volume-title":"Algebraic Methodology and Software Technology","author":"M. Bidoit","year":"1998","unstructured":"Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in CASL. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 341\u2013357. Springer, Heidelberg (1998)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-31980-1_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Chen","year":"2005","unstructured":"Chen, F., Rosu, G.: Java-MOP: A monitoring oriented programming environment for Java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 546\u2013550. Springer, Heidelberg (2005)"},{"key":"9_CR9","unstructured":"Chen, F., Tillmann, N., Schulte, W.: Discovering specifications. Technical Report MSR-TR-2005\u2013146, Microsoft Research (2005)"},{"key":"9_CR10","unstructured":"Contract based system development, \n                  \n                    http:\/\/gloss.di.fc.ul.pt\/congu\/"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Edwards, S., Shakir, G., Sitaraman, M., Weide, B., Hollingsworth, J.: A framework for detecting interface violations in component-based software. In: Proc. International Conference on Software Reuse (ICSR) 1998, pp. 46\u201355 (1998)","DOI":"10.1109\/ICSR.1998.685729"},{"issue":"8","key":"9_CR12","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1109\/TSE.2007.70705","volume":"33","author":"J. Henkel","year":"2007","unstructured":"Henkel, J., Reichenbach, C., Diwan, A.: Discovering documentation for Java container classes. IEEE Transactions on Software Engineering\u00a033(8), 526\u2013543 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR13","unstructured":"Leavens, G., Cheon, Y.: Design by contract with JML (2006), \n                  \n                    http:\/\/www.eecs.ucf.edu\/~leavens\/JML\/jmldbc.pdf"},{"issue":"1\u20133","key":"9_CR14","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.scico.2004.05.015","volume":"55","author":"G.T. Leavens","year":"2005","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. Science of Computer Programming\u00a055(1\u20133), 185\u2013208 (2005)","journal-title":"Science of Computer Programming"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/3-540-45687-2_42","volume-title":"Mathematical Foundations of Computer Science 2002","author":"P.L. Machado","year":"2002","unstructured":"Machado, P.L., Sannella, D.: Unit testing for CASL architectural specifications. In: Diks, K., Rytter, W. (eds.) MFCS 2002. LNCS, vol.\u00a02420, pp. 506\u2013518. Springer, Heidelberg (2002)"},{"key":"9_CR16","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall PTR, Englewood Cliffs (1997)","edition":"2"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-540-69149-5_32","volume-title":"Verified Software: Theories, Tools, Experiments","author":"B. Meyer","year":"2008","unstructured":"Meyer, B.: Eiffel as a framework for verification. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol.\u00a04171, pp. 301\u2013307. Springer, Heidelberg (2008)"},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1002\/stvr.367","volume":"17","author":"B. Nikolik","year":"2007","unstructured":"Nikolik, B., Hamlet, D.: Practical ultra-reliability for abstract data types. Software Testing, Verification and Reliability\u00a017(3), 183\u2013203 (2007)","journal-title":"Software Testing, Verification and Reliability"},{"key":"9_CR19","unstructured":"Nunes, I., Lopes, A., Vasconcelos, V., Abreu, J., Reis, L.: Testing implementations of algebraic specifications with design-by-contract tools. DI\/FCUL TR 05\u201322 (2005)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/11901433_27","volume-title":"Formal Methods and Software Engineering","author":"I. Nunes","year":"2006","unstructured":"Nunes, I., Lopes, A., Vasconcelos, V.T., Abreu, J., Reis, L.S.: Checking the conformance of Java classes against algebraic specifications. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 494\u2013513. Springer, Heidelberg (2006)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-540-79980-1_24","volume-title":"Algebraic Methodology and Software Technology","author":"K. Stenzel","year":"2008","unstructured":"Stenzel, K., Grandy, H., Reif, W.: Verification of java programs with generics. In: Meseguer, J., Ro\u015fu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 315\u2013329. Springer, Heidelberg (2008)"},{"key":"9_CR22","first-page":"190","volume-title":"Proc. International Conference on Software Testing, Verification and Validation","author":"B. Yu","year":"2008","unstructured":"Yu, B., King, L., Zhu, H., Zhou, B.: Testing Java components based on algebraic specifications. In: Proc. International Conference on Software Testing, Verification and Validation, pp. 190\u2013198. IEEE, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04694-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T23:25:44Z","timestamp":1552173944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04694-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046933","9783642046940"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04694-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}