Building platforms for information system interoperability - using a UML-based metamodeling approach
暂无分享,去创建一个
Marie-Noëlle Terrasse | Marinette Savonnet | Éric Leclercq | George Becker | É. Leclercq | M. Terrasse | George Becker | M. Savonnet
[1] Paul Ammann,et al. Abstracting formal specifications to generate software tests via model checking , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).
[2] Constance L. Heitmeyer,et al. An algorithm for strengthening state invariants generated from requirements specifications , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.
[3] Nora Koch,et al. Extending UML to Model Navigation and Presentation in Web Applications , 2000 .
[4] Eckhard D. Falkenberg,et al. Meta Model Hierarchies from an Object-Role Modelling Perspective , 1994, ORM.
[5] Marie-Noëlle Terrasse,et al. An UML-metamodeling Architecture for Interoperability of Information Systems , 2001 .
[6] Bruno Legeard,et al. Generation of functional test sequences from B formal specifications presentation and industrial case-study , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[7] Aspassia Daskalopulu,et al. Model Checking Contractual Protocols , 2001, ArXiv.
[8] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[9] Bernhard Rumpe,et al. Defining UML family members using prefaces , 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32.
[10] Marie-Noëlle Terrasse. A Metamodeling Approach to Evolution , 2000, FMLDO.
[11] Thomas R. Gruber,et al. A translation approach to portable ontology specifications , 1993, Knowl. Acquis..
[12] Herman Balsters,et al. Database Schema Evolution and Meta-Modeling , 2001, Lecture Notes in Computer Science.
[13] Lewis Hart,et al. Extending UML to Support Ontology Engineering for the Semantic Web , 2001, UML.
[14] Toni Alatalo,et al. Designing mobile-aware adaptive hypermedia , 2001 .
[15] Stuart Kent,et al. The MMF approach to engineering object-oriented design languages. , 2001 .