{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:14:24Z","timestamp":1743128064662,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897613"},{"type":"electronic","value":"9783540897620"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89762-0_2","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T13:21:02Z","timestamp":1227705662000},"page":"39-58","source":"Crossref","is-referenced-by-count":0,"title":["A Modeling Language for Program Design and Synthesis"],"prefix":"10.1007","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"ASME web site, http:\/\/www.asmesolutions.org\/Energy\/Nuclear.cfm"},{"key":"2_CR2","volume-title":"The Design and Implementation of Hierarchical Software Systems with Reusable Components","author":"D. Batory","year":"1992","unstructured":"Batory, D., O\u2019Malley, S.: The Design and Implementation of Hierarchical Software Systems with Reusable Components, October 1992. ACM TOSEM, New York (1992)"},{"key":"2_CR3","unstructured":"Batory, D., Lofaso, B., Smaragdakis, Y.: JTS: Tools for Implementing Domain-Specific Languages. In: ICSR 1998 (1998)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE TSE (2004)","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"2_CR5","unstructured":"Batory, D., Smith, D.: Finite Map Spaces and Quarks: Algebras of Program Structure. University of Texas at Austin, Dept. of Computer Sciences, TR-07-66 (2007)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-71229-9_11","volume-title":"Compiler Construction","author":"D. Batory","year":"2007","unstructured":"Batory, D.: Program Refactorings, Program Synthesis, and Model-Driven Design. In: Krishnamurthi, S., Odersky, M. (eds.) CC 2007. LNCS, vol.\u00a04420, pp. 156\u2013171. Springer, Heidelberg (2007)"},{"key":"2_CR7","unstructured":"Batory, D., B\u00f6rger, E.: Modularizing Theorems for Software Product Lines: The Jbook Case Study. JUCS (to appear)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Baxter, I.D.: Design Maintenance Systems. In: CACM (April 1992)","DOI":"10.1145\/129852.129859"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-Based Inheritance. In: OOPSLA and ECOOP (1990)","DOI":"10.1145\/97945.97982"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17. A Language and Toolset for Program Transformation. Sci. of Computer Programming (2008)","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"2_CR11","volume-title":"Structural Specification-Based Testing: Automated Support and Experimental Evaluation","author":"J. Chang","year":"1999","unstructured":"Chang, J., Richardson, D.J.: Structural Specification-Based Testing: Automated Support and Experimental Evaluation. ACM SIGSOFT\/FSE, New York (1999)"},{"key":"2_CR12","volume-title":"Generative Programming Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston (2000)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and Mixins. In: POPL (1998)","DOI":"10.1145\/268946.268961"},{"key":"2_CR14","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"2005","unstructured":"Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (2005)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Goodenough, J., Gerhart, S.: Toward a Theory of Test Data Selection, June. IEEE TSE (June 1975)","DOI":"10.1145\/800027.808473"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyakhter, I.: ALCOA: The Alloy Constraint Analyzer. In: ICSE 2000 (2000)","DOI":"10.1145\/337180.337616"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Alloy: A Lightweight Object Modeling Notation. ACM TOSEM (April 2002)","DOI":"10.1145\/505145.505149"},{"key":"2_CR18","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge (2006)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in Software Product Lines. In: ICSE 2008 (2008)","DOI":"10.1145\/1368088.1368131"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., et al.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001, vol.\u00a02072, p. 327. Springer, Heidelberg (2001)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., K\u00e4stner, C., Batory, D.: On the Modularity of Feature Interactions (submitted 2008)","DOI":"10.1145\/1449913.1449919"},{"key":"2_CR22","volume-title":"Fast Software Encryption","author":"S. Krishnamurthi","year":"2002","unstructured":"Krishnamurthi, S., Fisler, K.: Modular Verification of Collaboration-Based Software Designs. In: Matsui, M. (ed.) FSE 2001, vol.\u00a02355. Springer, Heidelberg (2002)"},{"key":"2_CR23","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029916","volume-title":"Verifying Aspect Advice Modularly","author":"S. Krishnamurthi","year":"2004","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying Aspect Advice Modularly. ACM Press, New York (2004)"},{"key":"2_CR24","unstructured":"Khurshid, S.: Generating Structurally Complex Tests from DeclarativeConstraints., Ph.D. Thesis, MIT EECS (2003)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R., Batory, D., Lengauer, C.: A Disciplined Approach to Aspect Composition. In: PEPM 2006 (2006)","DOI":"10.1145\/1111542.1111554"},{"key":"2_CR26","unstructured":"Lin, A., Bond, M., Clulow, J.: Modeling Partial Attacks With Alloy. In: Security Protocols Workshop (SPW) (April 2007)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: Virtual Classes: A Powerful Mechanism in Object-Oriented Programming. In: OOPSLA 1989 (1989)","DOI":"10.1145\/74877.74919"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Marinov, D., Khurshid, S.: TestEra: A Novel Framework for Automated Testing of Java Programs. In: ASE (2001)","DOI":"10.1109\/ASE.2001.989787"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Murphy-Hill, E.R., Quitslund, P.J., Black, A.P.: Removing Duplication from java.io: A Case Study Using Traits. In: OOPSLA 2005 (2005)","DOI":"10.1145\/1094855.1094963"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-40007-3_17","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"D. Pavlovic","year":"2003","unstructured":"Pavlovic, D., Smith, D.R.: Software Development by Refinement. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 267\u2013286. Springer, Heidelberg (2003)"},{"key":"2_CR31","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B. Pierce","year":"1991","unstructured":"Pierce, B.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Selinger, P., Astrahan, M.M., Chamberlin, D.D., Lorie, R.A., Price, T.G.: Access Path Selection in a Relational Database System. In: ACM SIGMOD (1979)","DOI":"10.1145\/582095.582099"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Batory, D.: Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs. In: ACM TOSEM (April 2002)","DOI":"10.1145\/505145.505148"},{"key":"2_CR34","volume-title":"Model-Driven Software Development: Technology, Engineering, Management","author":"T. Stahl","year":"2006","unstructured":"Stahl, T., Voelter, M.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Chichester (2006)"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J.: Generative Programming for Embedded Systems. In: GCSE (2002)","DOI":"10.1145\/571157.571175"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Taghdiri, M.: Inferring Specifications to Detect Errors in Code. In: ASE (2004)","DOI":"10.1109\/ASE.2004.1342732"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A Relational Model Finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Azanza, M., Diaz, O.: Generative Metaprogramming. In: GPCE 2007 (2007)","DOI":"10.1145\/1289971.1289990"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Batory, D., Diaz, O.: Feature Oriented Model Driven Development: A Case Study for Portlets. In: ICSE 2005 (2007)","DOI":"10.1109\/ICSE.2007.36"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Garcia, D., Khurshid, S., Batory, D.: A Specification-based Approach to Testing Software Product Lines. Poster Paper ACM SIGSOFT (2007)","DOI":"10.1145\/1295014.1295032"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Khurshid, S.: Constraint Prioritization for Efficient Analysis of Declarative Models. In: Symposium on Formal Methods, FM (May 2008)","DOI":"10.1007\/978-3-540-68237-0_22"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Garcia, D., Khurshid, S., Batory, D.: Testing Software Product Lines Using Incremental Test Generation (submitted 2008)","DOI":"10.1109\/ISSRE.2008.56"},{"key":"2_CR43","unstructured":"Wikipedia, Multiobjective optimization, http:\/\/en.wikipedia.org\/wiki\/Multiobjective_optimization"}],"container-title":["Lecture Notes in Computer Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89762-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T15:27:47Z","timestamp":1557934067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89762-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897613","9783540897620"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89762-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}