A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Formal methods for distributed processing
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Interpreting ODP viewpoint specification: observations from a case study
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
Computer Standards & Interfaces
Writing and executing ODP computational viewpoint specifications using Maude
Computer Standards & Interfaces
Consistent Interaction Of Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Consistency in multi-viewpoint design of enterprise information systems
Information and Software Technology
Characterizing Relations between Architectural Views
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Modelling and analysing interoperability in service compositions using COSMO
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
Models in Software Engineering
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
Realizing correspondences in multi-viewpoint specifications
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Perceived consistency between process models
Information Systems
Modeling heterogeneous points of view with modhel'x
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Propagating changes between aligned process models
Journal of Systems and Software
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Computer Standards & Interfaces
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Reuse and configuration for code generating architectural refinement transformations
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
Hi-index | 0.00 |