{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:00Z","timestamp":1750307700696,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,19]],"date-time":"2008-10-19T00:00:00Z","timestamp":1224374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,10,19]]},"DOI":"10.1145\/1449913.1449921","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T12:25:44Z","timestamp":1224678344000},"page":"35-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Using modern mathematics as an FOSD modeling language"],"prefix":"10.1145","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/937563.937567"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040308"},{"key":"e_1_3_2_1_3_1","unstructured":"AHEAD Tool Suite www.cs.utexas.edu\/users\/schwartz\/index.html  AHEAD Tool Suite www.cs.utexas.edu\/users\/schwartz\/index.html"},{"key":"e_1_3_2_1_4_1","volume-title":"of Tech.l and Business Info. Systems","author":"Apel S.","year":"2007","unstructured":"S. Apel , \" The Role of Features and Aspects in Software Development\", Ph.D. Dept . of Tech.l and Business Info. Systems , University of Magdeburg , Germany, March 2007 . S. Apel, \"The Role of Features and Aspects in Software Development\", Ph.D. Dept. of Tech.l and Business Info. Systems, University of Magdeburg, Germany, March 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449938"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197336"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505147"},{"key":"e_1_3_2_1_9_1","volume-title":"AMAST","author":"Batory D.","year":"2004","unstructured":"D. Batory , \" A Science of Software Design\" , AMAST 2004 . D. Batory, \"A Science of Software Design\", AMAST 2004."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_11_1","volume-title":"Dept. Comp. Science TR-07-35","author":"Batory D.","year":"2007","unstructured":"D. Batory , \" From Implemention to Theory in Product Synthesis\" , University of Texas Austin , Dept. Comp. Science TR-07-35 , June 2007 . D. Batory, \"From Implemention to Theory in Product Synthesis\", University of Texas Austin, Dept. Comp. Science TR-07-35, June 2007."},{"key":"e_1_3_2_1_12_1","unstructured":"D. Batory and E. B\u00f6rger. \"On The Modularization of Theorems for Software Product Lines\" to appear in JUCS.  D. Batory and E. B\u00f6rger. \"On The Modularization of Theorems for Software Product Lines\" to appear in JUCS."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/129852.129859"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97982"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189753"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_17_1","volume-title":"Structural Specification-Based Testing: Automated Support and Experimental Evaluation\". ACM SIGSOFT\/FSE","author":"Chang J.","year":"1999","unstructured":"J. Chang and D. J. Richardson . \" Structural Specification-Based Testing: Automated Support and Experimental Evaluation\". ACM SIGSOFT\/FSE 1999 . J. Chang and D. J. Richardson. \"Structural Specification-Based Testing: Automated Support and Experimental Evaluation\". ACM SIGSOFT\/FSE 1999."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680018"},{"key":"e_1_3_2_1_19_1","volume-title":"ACM-SIAM Symposium on Discrete Algorithms (SODA)","author":"Charikar M.","year":"1998","unstructured":"M. Charikar , Approximation Algorithms for Directed Steiner Tree Problems\" , ACM-SIAM Symposium on Discrete Algorithms (SODA) 1998 . M. Charikar, et al., \"Approximation Algorithms for Directed Steiner Tree Problems\", ACM-SIAM Symposium on Discrete Algorithms (SODA) 1998."},{"key":"e_1_3_2_1_20_1","volume-title":"Generative Programming Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. Eisenecker . \" Generative Programming Methods, Tools, and Applications \". Addison-Wesley , Boston, MA , 2000 . K. Czarnecki and U. Eisenecker. \"Generative Programming Methods, Tools, and Applications\". Addison-Wesley, Boston, MA, 2000."},{"key":"e_1_3_2_1_21_1","unstructured":"E. W. Dijkstra. \"A Discipline of Programming\". Prentice Hall 1976.   E. W. Dijkstra. \"A Discipline of Programming\". Prentice Hall 1976."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/355598.362740"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints","author":"Ehrig H.","year":"1990","unstructured":"H. Ehrig and B. Mahr , \" Fundamentals of Algebraic Specification 2: Module Specifications and Constraints \", Springer-Verlag , 1990 . H. Ehrig and B. Mahr, \"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints\", Springer-Verlag, 1990."},{"key":"e_1_3_2_1_24_1","volume-title":"ECOOP","author":"Ernst E.","year":"2003","unstructured":"E. Ernst , \" Higher Order Hierarchies\" , ECOOP 2003 . E. Ernst, \"Higher Order Hierarchies\", ECOOP 2003."},{"key":"e_1_3_2_1_25_1","unstructured":"J. Fiadeiro. \"Categories for Software Engineers\". Springer 1998.   J. Fiadeiro. \"Categories for Software Engineers\". Springer 1998."},{"key":"e_1_3_2_1_26_1","volume-title":"Software Reusability Volume II: Applications and Experiences","author":"Goguen J.","year":"1990","unstructured":"J. Goguen . \" Principles of Parameterized Programming\" in T. Biggerstaff and A. Perlis , Software Reusability Volume II: Applications and Experiences , Addison-Wesley , 1990 . J. Goguen. \"Principles of Parameterized Programming\" in T. Biggerstaff and A. Perlis, Software Reusability Volume II: Applications and Experiences, Addison-Wesley, 1990."},{"key":"e_1_3_2_1_27_1","volume-title":"Mathematical Structures in Computer Science","author":"Goguen J.","year":"1991","unstructured":"J. Goguen . \" A Categorical Manifesto\". Mathematical Structures in Computer Science , 1991 . J. Goguen. \"A Categorical Manifesto\". Mathematical Structures in Computer Science, 1991."},{"key":"e_1_3_2_1_28_1","volume-title":"From Use Cases to Pattern-Based Software Architectures","author":"Gomaa H.","year":"2005","unstructured":"H. Gomaa , \" Designing Software Product Lines with UML : From Use Cases to Pattern-Based Software Architectures \", Addison-Wesley 2005 . H. Gomaa, \"Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures\", Addison-Wesley 2005."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808473"},{"key":"e_1_3_2_1_30_1","volume-title":"GPCE","author":"Gray J.","year":"2004","unstructured":"J. Gray , Model Driven Program Transformation of a Large Avionics Framework \", GPCE 2004 . J. Gray, et al. \"Model Driven Program Transformation of a Large Avionics Framework\", GPCE 2004."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566190"},{"key":"e_1_3_2_1_32_1","volume-title":"Logic, Language and Analysis","author":"Jackson D.","year":"2006","unstructured":"D. Jackson . \" Software Abstractions : Logic, Language and Analysis \". The MIT Press , Cambridge, MA , 2006 . D. Jackson. \"Software Abstractions: Logic, Language and Analysis\". The MIT Press, Cambridge, MA, 2006."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_35_1","unstructured":"S. Khurshid E. Uzuncaova D. Garcia and D. Batory. \"Testing Software Product Lines Using Incremental Test Generation\". Submitted.  S. Khurshid E. Uzuncaova D. Garcia and D. Batory. \"Testing Software Product Lines Using Incremental Test Generation\". Submitted."},{"key":"e_1_3_2_1_36_1","volume-title":"ECOOP","author":"Kiczales G.","year":"2001","unstructured":"G. Kiczales , An Overview of AspectJ\". ECOOP 2001 . G. Kiczales, et al. \"An Overview of AspectJ\". ECOOP 2001."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449919"},{"key":"e_1_3_2_1_38_1","volume-title":"The Model Driven Architecture: Practice and Promise","author":"Kleppe A.","year":"2003","unstructured":"A. Kleppe , J. Warmer , W. Bast . \" MDA Explained : The Model Driven Architecture: Practice and Promise \". Addison-Wesley 2003 . A. Kleppe, J. Warmer, W. Bast. \"MDA Explained: The Model Driven Architecture: Practice and Promise\". Addison-Wesley 2003."},{"key":"e_1_3_2_1_39_1","volume-title":"Conceptual Mathematics: A First Introduction To Categories","author":"Lawvere F. W.","year":"1997","unstructured":"F. W. Lawvere and S. H. Schanuel , \" Conceptual Mathematics: A First Introduction To Categories \", Cambridge University Press , 1997 . F. W. Lawvere and S. H. Schanuel, \"Conceptual Mathematics: A First Introduction To Categories\", Cambridge University Press, 1997."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173740"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-2643-9"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_8"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111554"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74919"},{"key":"e_1_3_2_1_46_1","volume-title":"Dagstuhl Seminar Proceedings 04101","author":"Mens T.","year":"2005","unstructured":"T. Mens , K. Czarnecki , and P. van Gorp . \" A Taxonomy of Model Transformations\" , Dagstuhl Seminar Proceedings 04101 . drops.dagstuhl.de\/opus\/volltexte\/ 2005 \/11 T. Mens, K. Czarnecki, and P. van Gorp. \"A Taxonomy of Model Transformations\", Dagstuhl Seminar Proceedings 04101. drops.dagstuhl.de\/opus\/volltexte\/2005\/11"},{"key":"e_1_3_2_1_47_1","volume-title":"An Overview of the Scala Programming Language","author":"Odersky M.","year":"2004","unstructured":"M. Odersky , \" An Overview of the Scala Programming Language \". September 2004 , scala.epfl.ch M. Odersky, et al. \"An Overview of the Scala Programming Language\". September 2004, scala.epfl.ch"},{"key":"e_1_3_2_1_48_1","volume-title":"UNU\/IIST 10th Anniversary Colloquium, Formal Methods at the Crossroads: From Panaea to Foundational Support","author":"Pavlovic D.","year":"2003","unstructured":"D. Pavlovic and D. R. Smith . \" Software Development by Refinement \", UNU\/IIST 10th Anniversary Colloquium, Formal Methods at the Crossroads: From Panaea to Foundational Support , Springer-Verlag LNCS 2757, 2003 . D. Pavlovic and D. R. Smith. \"Software Development by Refinement\", UNU\/IIST 10th Anniversary Colloquium, Formal Methods at the Crossroads: From Panaea to Foundational Support, Springer-Verlag LNCS 2757, 2003."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"B. Pierce. \"Basic Category Theory for Computer Scientists\" MIT Press 1991.   B. Pierce. \"Basic Category Theory for Computer Scientists\" MIT Press 1991.","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"e_1_3_2_1_50_1","volume-title":"Foundations, Principles and Techniques","author":"Pohl K.","year":"2005","unstructured":"K. Pohl , G. Boeckle , F. van der Linden , \" Software Product Line Engineering : Foundations, Principles and Techniques \", Springer 2005 . K. Pohl, G. Boeckle, F. van der Linden, \"Software Product Line Engineering: Foundations, Principles and Techniques\", Springer 2005."},{"key":"e_1_3_2_1_51_1","volume-title":"Journal of Object-Oriented Programming","author":"Reenskaug T.","year":"1992","unstructured":"T. Reenskaug , : Seamless support for the creation and maintenance of object-oriented systems \". Journal of Object-Oriented Programming , October 1992 . T. Reenskaug, et al. \"OORASS: Seamless support for the creation and maintenance of object-oriented systems\". Journal of Object-Oriented Programming, October 1992."},{"key":"e_1_3_2_1_52_1","unstructured":"D. Roundy \"Theory of Patches\" \/\/darcs.net\/manual\/node8.html  D. Roundy \"Theory of Patches\" \/\/darcs.net\/manual\/node8.html"},{"key":"e_1_3_2_1_53_1","volume-title":"Computational Category Theory","author":"Rydeheard D. E.","year":"1988","unstructured":"D. E. Rydeheard and R. M. Burstall , \" Computational Category Theory \", Prentice Hall , 1988 . D. E. Rydeheard and R. M. Burstall, \"Computational Category Theory\", Prentice Hall, 1988."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/582095.582099"},{"key":"e_1_3_2_1_55_1","volume-title":"A Reference Manual","author":"Spivey J. M.","year":"1998","unstructured":"J. M. Spivey , \" The Z Notation : A Reference Manual \", Oxford University Press , 1998 . J. M. Spivey, \"The Z Notation: A Reference Manual\", Oxford University Press, 1998."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.36"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289990"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236375"},{"key":"e_1_3_2_1_59_1","volume-title":"A Family-Based Software Development Process","author":"Weiss D. M.","year":"1999","unstructured":"D. M. Weiss , C. T. R. Lai , \" Software Product-Line Engineering : A Family-Based Software Development Process \", Addison-Wesley , 1999 . D. M. Weiss, C. T. R. Lai, \"Software Product-Line Engineering: A Family-Based Software Development Process\", Addison-Wesley, 1999."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287701"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_22"}],"event":{"name":"GPCE '08: Generative Programming and Component Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Nashville TN USA","acronym":"GPCE '08"},"container-title":["Proceedings of the 7th international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449913.1449921","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1449913.1449921","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:01Z","timestamp":1750253401000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449913.1449921"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,19]]},"references-count":60,"alternative-id":["10.1145\/1449913.1449921","10.1145\/1449913"],"URL":"https:\/\/doi.org\/10.1145\/1449913.1449921","relation":{},"subject":[],"published":{"date-parts":[[2008,10,19]]},"assertion":[{"value":"2008-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}