Formal methods for distributed processing
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Modeling the ODP Computational Viewpoint with UML 2.0
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
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
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
| Hi-index | 0.00 |