Partial Evaluation in Meta Modeling
暂无分享,去创建一个
[1] Matthias Jarke,et al. A software process data model for knowledge engineering in information systems , 1990, Inf. Syst..
[2] Motoshi Saeki. Configuration Management in a Method Engineering Context , 2006, CAiSE.
[3] Matthias Jarke,et al. ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.
[4] Michael Kifer,et al. HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..
[5] J. Barwise,et al. Generalized quantifiers and natural language , 1981 .
[6] Sjaak Brinkkemper,et al. A product software knowledge infrastructure for situational capability maturation: Vision and case studies in product management , 2006 .
[7] Matthias Jarke,et al. Telos: representing knowledge about information systems , 1990, TOIS.
[8] François Bry,et al. Logical Rewritings for Improving the Evaluation of Quantified Queries , 1989, MFDBS.
[9] Jean Bézivin,et al. On the unification power of models , 2005, Software & Systems Modeling.