{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:23:03Z","timestamp":1725499383737},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387739465"},{"type":"electronic","value":"9780387739472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-73947-2_11","type":"book-chapter","created":{"date-parts":[[2007,12,29]],"date-time":"2007-12-29T11:54:35Z","timestamp":1198929275000},"page":"115-129","source":"Crossref","is-referenced-by-count":1,"title":["Partial Evaluation in Meta Modeling"],"prefix":"10.1007","author":[{"given":"Manfred A.","family":"Jeusfeld","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J. Barwise","year":"1981","unstructured":"Barwise, J. and Cooper, R., 1981. Generalized quantifiers and natural language. Linguistics and Philosophy 4: 159\u2013219.","journal-title":"Linguistics and Philosophy"},{"issue":"2","key":"11_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J. Bezivin","year":"2006","unstructured":"Bezivin, J., 2006. On the Unification Power of Models. Software and System Modeling (SoSym)4(2):171\u2013188.","journal-title":"Software and System Modeling (SoSym)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bry, F., 1989. Logical rewritings for improving the evaluation of quantified queries. Proc. 2nd Intl. Symposium on Mathematical Fundamentals of Database Systems, Visegr\u00e1d, Hungary, 1989, Springer-Verlag, LNCS 364.","DOI":"10.1007\/3-540-51251-9_8"},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S., 1993. HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3): 187\u2013230.","journal-title":"Journal of Logic Programming"},{"key":"11_CR5","unstructured":"OMG, 2006. Meta Object Facility. Online \n                    http:\/\/www.omg.org\/mof\/\n                    \n                  , June 2006."},{"key":"11_CR6","unstructured":"Prot\u00e9g\u00e9, 2006. The Prot\u00e9g\u00e9 ontology editor and knowledge acquisition system. Online \n                    http:\/\/www.protege.stanford.edu\/\n                    \n                  , June 2006."},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00961873","volume":"4","author":"M. R. Jarke","year":"1995","unstructured":"Jarke, M., R. Gallersd\u00f6rfer, R., Jeusfeld, M.A., Staudt, M., Eherer, S, 1995.: ConceptBase-a deductive object base for meta data management. Journal of Intelligent Information Systems, 4, 2, 1995, pp. 167\u2013192.","journal-title":"Journal of Intelligent Information Systems"},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0306-4379(90)90018-K","volume":"15","author":"M. Jarke","year":"1990","unstructured":"Jarke, M., Jeusfeld, M.A., Rose, T., 1990: A software process data model for knowledge engineering in information systems. In Information Systems, 15, 1, 1990, pp. 85\u2013116.","journal-title":"In Information Systems"},{"issue":"4","key":"11_CR9","first-page":"325","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M., 1990. Telos-a language for representing knowledge about information systems. In ACM Trans. Information Systems, 8,4, 1990, pp. 325\u2013362.","journal-title":"Information Systems"},{"key":"11_CR10","unstructured":"Nicolas, J.-M., 1979. Logical formulas and integrity constraints: the range restricted property and a simplification method. Technical report T-R CERT-LBD\/79-1, Toulouse, France."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Saeki, M., 2006: Configuration management in a method engineering context. Proceedings CAiSE 2006, Springer-Verlag, LNCS 4001\/2006, pp. 384\u2013398.","DOI":"10.1007\/11767138_26"},{"key":"11_CR12","series-title":"Technical Report","volume-title":"A product software knowledge infrastructure for situational scpability maturation: vision and case studies in product management","author":"I. Weerd van de","year":"2006","unstructured":"Weerd, I. van de, Versendaal, J., Brinkkemper, S., 2006. A product software knowledge infrastructure for situational scpability maturation: vision and case studies in product management, Technical Report UU-CS-2006-008, Utrecht University, The Netherlands."}],"container-title":["IFIP \u2014 The International Federation for Information Processing","Situational Method Engineering: Fundamentals and Experiences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-73947-2_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T04:20:13Z","timestamp":1619670013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-73947-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387739465","9780387739472"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-73947-2_11","relation":{},"subject":[]}}