Author:
Prinz Andreas,Møller-Pedersen Birger,Fischer Joachim
Publisher
Springer International Publishing
Reference16 articles.
1. Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Trans. Comput. Syst. (TOCS) 12(4), 290–321 (2002)
2. Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20, 36–41 (2003)
3. Bézivin, J., Gerbé, O.: Towards a precise definition of the OMG/MDA framework. In: Proceedings of ASE 2001, Automated Software Engineering (2001)
4. Börger, E., Stärk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003)
5. OMG Editor. OMG Meta Object Facility (MOF) Core Specification Version 2.4.2. Technical report, Object Management Group (2014)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Unifying nominal and structural typing;Software & Systems Modeling;2018-02-01
2. Type Theory as a Framework for Modelling and Programming;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
3. Towards a Unified View of Modeling and Programming (Track Summary);Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016