{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T02:10:11Z","timestamp":1742436611644,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642276934"},{"type":"electronic","value":"9783642276941"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27694-1_3","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:40Z","timestamp":1328654320000},"page":"18-32","source":"Crossref","is-referenced-by-count":2,"title":["A Declarative Approach for Software Modeling"],"prefix":"10.1007","author":[{"given":"Mayer","family":"Goldberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Wiener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.: The B-book: assigning programs to meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"3_CR2","volume-title":"Object-oriented modeling and design for database applications","author":"M. Blaha","year":"1997","unstructured":"Blaha, M., Premerlani, W.: Object-oriented modeling and design for database applications. Prentice-Hall, Inc., Upper Saddle River (1997)"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1049\/ip-sen:20030559","volume":"150","author":"J. Clarke","year":"2003","unstructured":"Clarke, J., Dolado, J., Harman, M., Hierons, R., Jones, B., Lumkin, M., Mitchell, B., Mancoridis, S., Rees, K., Roper, M., Shepperd, M.: Reformulating software engineering as a search problem. IEEE Software\u00a0150(3), 161\u2013175 (2003)","journal-title":"IEEE Software"},{"key":"3_CR4","unstructured":"Favre, J.M.: Towards a basic theory to model model driven engineering. In: 3rd Workshop in Software Model Engineering, WiSME (2004)"},{"key":"3_CR5","volume-title":"Analysis patterns: reusable objects models","author":"M. Fowler","year":"1997","unstructured":"Fowler, M.: Analysis patterns: reusable objects models. Addison-Wesley Longman Publishing Co., Inc., Boston (1997)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Goldberg, M., Wiener, G.: Round-Trip Modeling using OPM\/PL. In: International Conference on Software Science, Technology and Engineering, SwSTE (2010)","DOI":"10.1109\/SwSTE.2010.13"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Harman, M., Clark, J.: Metrics are fitness functions too. In: 10th International Symposium on Software Metrics, pp. 58\u201369 (2004)","DOI":"10.1109\/METRIC.2004.1357891"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Kang, K.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University, Pittsburgh PA, USA (1990)","DOI":"10.21236\/ADA235785"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Kniesel, G., Hannemann, J., Rho, T.: A comparison of logic-based infrastructures for concern detection and extraction. In: 3rd Workshop on Linking Aspect Technology and Evolution, p. 6. ACM (2007)","DOI":"10.1145\/1275672.1275678"},{"key":"3_CR10","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (2008), http:\/\/www.omg.org\/spec\/QVT\/1.0\/"},{"key":"3_CR11","unstructured":"ROOTS Group: The JTransformer project web page, http:\/\/sewiki.iai.uni-bonn.de\/research\/jtransformer\/"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D. Schmidt","year":"2006","unstructured":"Schmidt, D.: Guest editor\u2019s introduction: Model-driven engineering. Computer\u00a039(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Sefika, M., Sane, A., Campbell, R.: Monitoring compliance of a software system with its high-level design models. In: 18th International Conference for Software Engineering, ICSE, vol.\u00a018, pp. 387\u2013396 (1996)","DOI":"10.1109\/ICSE.1996.493433"},{"key":"3_CR14","volume-title":"Artificial Intelligence Techniques in PROLOG","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Artificial Intelligence Techniques in PROLOG. Morgan Kaufmann Publishers Inc., San Francisco (1993)"},{"key":"3_CR15","unstructured":"Soley, R.: The OMG Staff Strategy Group: Model-Driven Architecture. White paper (November 2000), http:\/\/www.omg.org\/cgi-bin\/doc?omg\/00-11-05"},{"key":"3_CR16","volume-title":"The art of Prolog","author":"L. Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The art of Prolog. MIT Press, Cambridge (1994)"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P. Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. Software and Systems Modeling\u00a09(1), 7\u201320 (2010)","journal-title":"Software and Systems Modeling"},{"key":"3_CR18","unstructured":"Wiener, G.: Heuristic partial evaluator source code, http:\/\/www.cs.bgu.ac.il\/~gwiener\/software\/hpe\/"},{"key":"3_CR19","unstructured":"Wiener, G.: Persistent Semantic Information. PhD thesis, Ben-Gurion University (March 2011) (to be published)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","volume":"9","author":"S. Winkler","year":"2010","unstructured":"Winkler, S., Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. Software and System Modeling\u00a09, 529\u2013565 (2010)","journal-title":"Software and System Modeling"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27694-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T01:40:34Z","timestamp":1742434834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27694-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276934","9783642276941"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}