ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Computer Standards & Interfaces - Special issue on formal description techniques
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Transformations and consistent semantics for ODP viewpoints
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Strategies for consistency checking based on unification
Science of Computer Programming
Viewpoints and consistency: translating LOTOS to Object-z
Computer Standards & Interfaces
Constructive consistency checking for partial specification
Science of Computer Programming
ODP enterprise viewpoint specification
Computer Standards & Interfaces
Computer Networks: The International Journal of Computer and Telecommunications Networking
Software Engineering
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Different FDT's Confronted with Different ODP-Viewpoints of the Trader
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
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.01 |