{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:22:28Z","timestamp":1742926948306,"version":"3.40.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_54","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"766-783","source":"Crossref","is-referenced-by-count":3,"title":["Correctness-by-Construction $$\\wedge $$ Taxonomies $$\\Rightarrow $$ Deep Comprehension of Algorithm Families"],"prefix":"10.1007","author":[{"given":"Loek","family":"Cleophas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derrick G.","family":"Kourie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vreda","family":"Pieterse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce W.","family":"Watson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"issue":"3","key":"54_CR1","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: A constructive approach to the problem of program correctness. BIT Numer. Math. 8(3), 174\u2013186 (1968)","journal-title":"BIT Numer. Math."},{"issue":"1","key":"54_CR2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/362452.362489","volume":"14","author":"C Hoare","year":"1971","unstructured":"Hoare, C.: Proof of a program: FIND. Commun. ACM 14(1), 39\u201345 (1971)","journal-title":"Commun. ACM"},{"issue":"4","key":"54_CR3","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N Wirth","year":"1971","unstructured":"Wirth, N.: Program development by stepwise refinement. Commun. ACM 14(4), 221\u2013227 (1971)","journal-title":"Commun. ACM"},{"key":"54_CR4","first-page":"30","volume":"37","author":"L Cleophas","year":"2006","unstructured":"Cleophas, L., Watson, B.W., Kourie, D.G., Boake, A., Obiedkov, S.: TABASCO: using concept-based taxonomies in domain engineering. S. Afr. Comput. J. 37, 30\u201340 (2006)","journal-title":"S. Afr. Comput. J."},{"issue":"4","key":"54_CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/MS.2002.1020284","volume":"19","author":"C Krueger","year":"2002","unstructured":"Krueger, C.: Eliminating the adoption barrier. IEEE Softw. 19(4), 29\u201331 (2002)","journal-title":"IEEE Softw."},{"key":"54_CR6","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Seidl, C., Cleophas, L., Watson, B.W.: SPLicing TABASCO: custom-tailored software product line variants from taxonomy-based toolkits. In: SAICSIT 2015, pp. 34:1\u201334:10 (2015)","DOI":"10.1145\/2815782.2815799"},{"key":"54_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-319-35122-3_5","volume-title":"Software Reuse: Bridging with Social-Awareness","author":"I Schaefer","year":"2016","unstructured":"Schaefer, I., Seidl, C., Cleophas, L., Watson, B.W.: Tax-PLEASE\u2014towards taxonomy-based software product line engineering. In: Kapitsaki, G., Santana de Almeida, E. (eds.) ICSR 2016. LNCS, vol. 9679, pp. 63\u201370. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-35122-3_5"},{"key":"54_CR8","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Upper Saddle River (1976)"},{"key":"54_CR9","volume-title":"The Science of Programming","author":"D Gries","year":"1987","unstructured":"Gries, D.: The Science of Programming. Springer, Berlin (1987)"},{"key":"54_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9706-9","volume-title":"Programming in the 1990s: An Introduction to the Calculation of Programs","author":"E Cohen","year":"1990","unstructured":"Cohen, E.: Programming in the 1990s: An Introduction to the Calculation of Programs. Springer, Berlin (1990)"},{"key":"54_CR11","volume-title":"Programming from Specifications","author":"C Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications, 2nd edn. Prentice Hall, Upper Saddle River (1994)","edition":"2"},{"key":"54_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-27919-5","volume-title":"The Correctness-by-Construction Approach to Programming","author":"DG Kourie","year":"2012","unstructured":"Kourie, D.G., Watson, B.W.: The Correctness-by-Construction Approach to Programming. Springer, Berlin (2012)"},{"key":"54_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus\u2014A Systematic Introduction","author":"RJ Back","year":"1998","unstructured":"Back, R.J.: Refinement Calculus\u2014A Systematic Introduction. Springer, Berlin (1998)"},{"issue":"6","key":"54_CR14","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"54_CR15","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Upper Saddle River (1997)","edition":"2"},{"volume-title":"Beauty is our Business: A Birthday Salute to Edsger W. Dijkstra","year":"1990","key":"54_CR16","unstructured":"Feijen, W.H., van Gasteren, A., Gries, D., Misra, J. (eds.): Beauty is our Business: A Birthday Salute to Edsger W. Dijkstra. Springer, Berlin (1990)"},{"key":"54_CR17","unstructured":"Wikipedia: Taxonomy (general)\u2013Wikipedia, The Free Encyclopedia (2016). https:\/\/en.wikipedia.org\/w\/index.php?title=Taxonomy_(general)&oldid=715042676 . Accessed 30 Apr 2016"},{"key":"54_CR18","unstructured":"Wikipedia: Carl Linnaeus-Wikipedia, The Free Encyclopedia (2016). Accessed 30 Apr 2016"},{"issue":"3","key":"54_CR19","doi-asserted-by":"crossref","first-page":"217","DOI":"10.5771\/0943-7444-2014-3-217","volume":"41","author":"V Pieterse","year":"2014","unstructured":"Pieterse, V., Kourie, D.G.: Lists, taxonomies, lattices, thesauri and ontologies: paving a pathway through a terminological jungle. Knowl. Organ. 41(3), 217\u2013229 (2014)","journal-title":"Knowl. Organ."},{"issue":"2","key":"54_CR20","doi-asserted-by":"crossref","first-page":"189","DOI":"10.2307\/2214321","volume":"4","author":"B Brainerd","year":"1970","unstructured":"Brainerd, B.: Semi-lattices and taxonomic systems. No\u00fbs 4(2), 189\u2013199 (1970)","journal-title":"No\u00fbs"},{"key":"54_CR21","first-page":"98","volume":"10","author":"R Schock","year":"1979","unstructured":"Schock, R.: On classifications and hierarchies. J. Gen. Philos. Sci. 10, 98\u2013106 (1979)","journal-title":"J. Gen. Philos. Sci."},{"issue":"1","key":"54_CR22","doi-asserted-by":"crossref","first-page":"95","DOI":"10.2307\/2216160","volume":"3","author":"RH Thomason","year":"1969","unstructured":"Thomason, R.H.: Species, determinates and natural kinds. No\u00fbs 3(1), 95\u2013101 (1969)","journal-title":"No\u00fbs"},{"key":"54_CR23","volume-title":"Automatic Information Organization and Retrieval","author":"G Salton","year":"1968","unstructured":"Salton, G.: Automatic Information Organization and Retrieval. McGraw-Hill, New York (1968)"},{"key":"54_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information Flow: The Logic of Distributed Systems","author":"J Barwise","year":"1997","unstructured":"Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)"},{"issue":"1","key":"54_CR25","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/aris.1440400120","volume":"40","author":"U Priss","year":"2006","unstructured":"Priss, U.: Formal concept analysis in information science. Ann. Rev. Inf. Sci. Technol. 40(1), 521\u2013543 (2006)","journal-title":"Ann. Rev. Inf. Sci. Technol."},{"key":"54_CR26","unstructured":"Wille, R.: Liniendiagramme hierarchischer Begriffssysteme. Studien zur Klassifikation, Indeks Verlag (1984)"},{"issue":"2","key":"54_CR27","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"TR Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontologies. Knowl. Acquisition 5(2), 199\u2013220 (1993)","journal-title":"Knowl. Acquisition"},{"key":"54_CR28","unstructured":"Jonkers, H.: Abstraction, specification and implementation techniques: with an application to garbage collection. Ph.D. thesis, Technische Hogeschool Eindhoven (1982)"},{"issue":"4","key":"54_CR29","first-page":"174","volume":"6","author":"DG Kourie","year":"1989","unstructured":"Kourie, D.G.: An approach to defining abstractions, refinements and enrichments. Qu\u00e6stiones Informatic\u00e6 6(4), 174\u2013178 (1989)","journal-title":"Qu\u00e6stiones Informatic\u00e6"},{"issue":"2\/3","key":"54_CR30","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.scico.2007.04.002","volume":"67","author":"R Banach","year":"2007","unstructured":"Banach, R., Poppleton, M., Jeske, C., Stepney, S.: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2\/3), 301\u2013329 (2007)","journal-title":"Sci. Comput. Program."},{"key":"54_CR31","doi-asserted-by":"crossref","unstructured":"Kov\u00e1cs, L.: Role of negative properties in knowledge modeling. In: Proceedings of the 9th International Conference on Applied Informatics, Eger, Hungary, vol. 1, pp. 67\u201374 (2014)","DOI":"10.14794\/ICAI.9.2014.1.67"},{"issue":"1","key":"54_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264597","volume":"11","author":"J Darlington","year":"1978","unstructured":"Darlington, J.: A synthesis of several sorting algorithms. Acta Informatica 11(1), 1\u201330 (1978)","journal-title":"Acta Informatica"},{"key":"54_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-009-7019-9_1","volume-title":"Computer Program Synthesis Methodologies","author":"M Broy","year":"1983","unstructured":"Broy, M.: Program construction by transformations: a family tree of sorting programs. In: Biermann, A.W., Guiho, G. (eds.) Computer Program Synthesis Methodologies, pp. 1\u201349. Reidel, Dordrecht (1983)"},{"issue":"1","key":"54_CR34","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/2465.214925","volume":"28","author":"SM Merritt","year":"1985","unstructured":"Merritt, S.M.: An inverted taxonomy of sorting algorithms. Commun. ACM 28(1), 96\u201399 (1985)","journal-title":"Commun. ACM"},{"key":"54_CR35","unstructured":"Watson, B.W.: Taxonomies and toolkits of regular language algorithms. Ph.D. thesis, Technische Universiteit Eindhoven (1995)"},{"issue":"1","key":"54_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(90)90055-I","volume":"14","author":"A Marcelis","year":"1990","unstructured":"Marcelis, A.: On the classification of attribute evaluation algorithms. Sci. Comput. Program. 14(1), 1\u201324 (1990)","journal-title":"Sci. Comput. Program."},{"issue":"11","key":"54_CR37","doi-asserted-by":"crossref","first-page":"1095","DOI":"10.1016\/j.scico.2010.04.012","volume":"75","author":"L Cleophas","year":"2010","unstructured":"Cleophas, L., Watson, B.W., Zwaan, G.: A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms. Sci. Comput. Program. 75(11), 1095\u20131112 (2010)","journal-title":"Sci. Comput. Program."},{"key":"54_CR38","unstructured":"Bosman, R.P.: A taxonomy of approximate pattern matching algorithms in strings. Master\u2019s thesis, Department of Mathematics and Computer Science, Technishe Universiteit Eindhoven, Eindhoven, The Netherlands, March 2005"},{"key":"54_CR39","unstructured":"van de Rijdt, M.G.: Two-dimensional pattern matching. Master\u2019s thesis, Department of Mathematics and Computer Science, Technishe Universiteit Eindhoven, Eindhoven, The Netherlands, August 2005"},{"key":"54_CR40","unstructured":"Cleophas, L.: Tree algorithms: two taxonomies and a toolkit. Ph.D. thesis, Technische Universiteit Eindhoven (2008)"},{"key":"54_CR41","unstructured":"Watson, B.W.: Constructing minimal acyclic deterministic finite automata. Ph.D. thesis, University of Pretoria (2010)"},{"key":"54_CR42","volume-title":"The Mythical Man-month - Essays on Software Engineering","author":"FP Brooks Jr","year":"1995","unstructured":"Brooks Jr., F.P.: The Mythical Man-month - Essays on Software Engineering, 2nd edn. Addison-Wesley, Boston (1995)","edition":"2"},{"key":"54_CR43","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering - Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering - Foundations, Principles and Techniques. Springer, Berlin (2005)"},{"key":"54_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7\u201320. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:10:37Z","timestamp":1568434237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}