{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:41:42Z","timestamp":1773772902454,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642024139","type":"print"},{"value":"9783642024146","type":"electronic"}],"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-02414-6_15","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T09:46:26Z","timestamp":1245231986000},"page":"242-261","source":"Crossref","is-referenced-by-count":5,"title":["Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations"],"prefix":"10.1007","author":[{"given":"Joseph R.","family":"Kiniry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fintan","family":"Fairmichael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"15_CR1","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes\u00a017(4), 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"15_CR2","unstructured":"Knuth, D.E.: Literate Programming. CSLI Lecture Notes, vol. 27. Center for the Study of Language and Information (1992)"},{"key":"15_CR3","volume-title":"The CWEB System of Structured Documentation","author":"D.E. Knuth","year":"2001","unstructured":"Knuth, D.E., Levy, S.: The CWEB System of Structured Documentation, 3rd edn. Addison-Wesley Publishing Company, Reading (2001)","edition":"3"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/11804192_16","volume-title":"Formal Methods for Components and Objects","author":"P. Chalin","year":"2006","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond assertions: Advanced specification and verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 342\u2013363. Springer, Heidelberg (2006)"},{"key":"15_CR5","volume-title":"Seamless Object-Oriented Software Architecture - Analysis and Design of Reliable Systems","author":"K. Wald\u00e9n","year":"1995","unstructured":"Wald\u00e9n, K., Nerson, J.M.: Seamless Object-Oriented Software Architecture - Analysis and Design of Reliable Systems. Prentice-Hall, Inc., Englewood Cliffs (1995)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-68237-0_16","volume-title":"FM 2008: Formal Methods","author":"J.R. Kiniry","year":"2008","unstructured":"Kiniry, J.R., Zimmerman, D.M.: Secret ninja formal methods. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 214\u2013228. Springer, Heidelberg (2008)"},{"key":"15_CR7","volume-title":"Proceedings of the 11th International Software Product Line Conference, SPLC\u00a02007","author":"M. Janota","year":"2007","unstructured":"Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: Kellenberger, P. (ed.) Proceedings of the 11th International Software Product Line Conference, SPLC\u00a02007. IEEE Computer Society, Los Alamitos (2007)"},{"key":"15_CR8","unstructured":"Kiniry, J.R.: Kind Theory. PhD thesis, Department of Computer Science, California Institute of Technology (2002)"},{"key":"15_CR9","unstructured":"Kiniry, J., Fairmichael, F., Darulova, E.: Beetlz - a BON software model consistency checker for Eclipse. Technical report, KindSoftware Research Group, University College Dublin (2009)"},{"key":"15_CR10","unstructured":"Kiniry, J.R.: The KindSoftware coding standard. Technical report, KindSoftware Research Group, UCD (2005), \n                    \n                      http:\/\/kind.ucd.ie\/"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Liskov, B., Wing, J.M.: Specifications and their use in defining subtypes. In: Proceedings of OOPSLA 1993, pp. 16\u201328 (1993)","DOI":"10.1145\/165854.165863"},{"issue":"10","key":"15_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Findler, R., Felleisen, M.: Contract soundness for object-oriented languages. In: Proceedings of Sixteenth International Conference Object-Oriented Programming, Systems, Languages, and Applications (2001)","DOI":"10.1145\/504282.504283"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/ICSR.1996.496128","volume-title":"Fourth International Conference on Software Reuse","author":"B. Childs","year":"1996","unstructured":"Childs, B., Sametinger, J.: Literate programming and documentation reuse. In: Fourth International Conference on Software Reuse, pp. 205\u2013214. IEEE Computer Society, Los Alamitos (1996)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Fischer, G., McCall, R., Morch, A.: JANUS: Integrating hypertext with a knowledge-based design environment. SIGCHI Bulletin, 105\u2013117 (1989)","DOI":"10.1145\/74224.74233"},{"key":"15_CR16","volume-title":"Fifth International Conference on Software Reuse","author":"M. Simos","year":"1998","unstructured":"Simos, M., Anthony, J.: Weaving the model web: A multi-modeling approach to concepts and features in domain engineering. In: Devanbu, P., Poulin, J. (eds.) Fifth International Conference on Software Reuse. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"6-9","key":"15_CR17","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/0898-1221(92)90120-7","volume":"23","author":"R. Wille","year":"1992","unstructured":"Wille, R.: Concept lattices and conceptual knowledge systems. Computers and Mathematics with Applications\u00a023(6-9), 493\u2013515 (1992)","journal-title":"Computers and Mathematics with Applications"},{"key":"15_CR18","unstructured":"Wendorff, P.: Linking concepts to identifiers in information systems engineering. In: Sarkar, S., Narasimhan, S. (eds.) Proceedings of the Ninth Annual Workshop on Information Technologies and Systems, pp. 51\u201356 (1999)"},{"issue":"5","key":"15_CR19","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/503271.503221","volume":"26","author":"P. Wendorff","year":"2001","unstructured":"Wendorff, P.: A formal approach to the assessment and improvement of terminological models used in information systems engineering. Software Engineering Notes\u00a026(5), 83\u201387 (2001)","journal-title":"Software Engineering Notes"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02414-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T16:13:59Z","timestamp":1552061639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02414-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024139","9783642024146"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02414-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}