{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:26:19Z","timestamp":1725578779234},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198281"},{"type":"electronic","value":"9783642198298"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19829-8_3","type":"book-chapter","created":{"date-parts":[[2011,3,16]],"date-time":"2011-03-16T14:20:41Z","timestamp":1300285241000},"page":"33-48","source":"Crossref","is-referenced-by-count":3,"title":["Runtime Verification for Generic Classes with ConGu 2"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Crispim","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","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":"3_CR2","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)"},{"issue":"3","key":"3_CR3","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":"3_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"CASL User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P. (eds.): CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"unstructured":"Bracha, G.: Generics in the Java programming language (2004), \n                  \n                    ava.sun.com\/j2se\/1.5\/pdf\/generics-tutorial.pdf","key":"3_CR5"},{"unstructured":"Bruneton, E., Lenglet, R., Coupaye, T.: ASM: A code manipulation tool to implement adaptable systems. In: Proc. ACM SIGOPS France Journ\u00e9es Composants 2002: Syst\u00e8mes \u00e0 composants adaptables et extensibles (2002)","key":"3_CR6"},{"key":"3_CR7","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., Ro\u015fu, 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)"},{"unstructured":"Cheon, Y., Leavens, G.T.: A runtime assertion checker for the Java Modeling Language (JML). In: Proc. International Conference on Software Engineering Research and Practice (SERP 2002), pp. 322\u2013328. CSREA Press (2002)","key":"3_CR8"},{"unstructured":"Cok, D.R.: Adapting JML to generic types and Java 1.6. In: Proc. Specification and Verification of Component-Based Systems Workshop (2008)","key":"3_CR9"},{"unstructured":"Contract Based System Development, \n                  \n                    http:\/\/gloss.di.fc.ul.pt\/congu\/","key":"3_CR10"},{"key":"3_CR11","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Prentice-Hall, Englewood Cliffs (2005)","edition":"3"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-45070-2_19","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"J. Henkel","year":"2003","unstructured":"Henkel, J., Diwan, A.: Discovering algebraic specifications from Java classes. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 431\u2013456. Springer, Heidelberg (2003)"},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1325555.1325560","volume":"51","author":"C. Hu","year":"2008","unstructured":"Hu, C.: Just say a class defines a data type. Communications of the ACM\u00a051(3), 19\u201321 (2008); see also Forum in Communications of the ACM 51(5), 9\u201310 (2008)","journal-title":"Communications of the ACM"},{"issue":"1\u20133","key":"3_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":"3_CR15","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":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-04694-0_9","volume-title":"Runtime Verification","author":"I. Nunes","year":"2009","unstructured":"Nunes, I., Lopes, A., Vasconcelos, V.T.: Bridging the gap between algebraic specification and object-oriented generic programming. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol.\u00a05779, pp. 115\u2013131. Springer, Heidelberg (2009)"},{"key":"3_CR17","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., Abreu, J., Reis, L.S.: Checking the conformance of Java classes against algebraic specifications. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 494\u2013513. Springer, Heidelberg (2006)"},{"key":"3_CR18","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","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19829-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T11:11:46Z","timestamp":1558437106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19829-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198281","9783642198298"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19829-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}