Logic-Based Model-Level Software Development with F-OML-Reference-Cited by-同舟云学术

Logic-Based Model-Level Software Development with F-OML

Published:2011 Issue: Volume: Page:517-532
ISSN:0302-9743
Container-title:Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Balaban Mira,Kifer Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24485-8_38

Reference13 articles.

1. France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: Intl. Conf. on Software Engineering, pp. 37–54 (2007)

2. Balaban, M., Kifer, M.: An overview of F-OML: An F-Logic based object modeling language. Electronic Communications of the EASST 36 (2011)

3. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42, 741–843 (1995)

4. Kifer, M., Kim, W., Sagiv, Y.: Querying object-oriented databases. In: ACM SIGMOD Conf. on Management of Data, pp. 393–402. ACM, NY (1992)

5. Kifer, M.: FLORA-2: An object-oriented knowledge base language. The FLORA-2 Web Site (2007), http://flora.sourceforge.net

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mediation-based MLM in FOModeLer;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23

2. Accidental complexity in multilevel modeling revisited;Software and Systems Modeling;2022-01-18

3. Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models;Distributed Computing and Internet Technology;2020-12-12

4. Achieving model quality through model validation, verification and exploration;Computer Languages, Systems & Structures;2018-12

5. Removing redundant multiplicity constraints in UML class models;Software & Systems Modeling;2018-09-14