Formal methods for distributed processing
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
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
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
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |