Proc. of the European symposium on programming on ESOP 86
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The Z notation: a reference manual
The Z notation: a reference manual
Action refinement in process algebras
Action refinement in process algebras
A framework based on implementation relations for implementing LOTOS specifications
Computer Networks and ISDN Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal semantics for the ODP computational model
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Computer Standards & Interfaces - Special issue on formal description techniques
Applying formal methods to standard development: the open distributed processing experience
Computer Standards & Interfaces - Special issue on formal description techniques
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Issues in multiparadigm viewpoint specification
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
Comparing LOTOS and Z refinement relations
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
The Object-Z specification language
The Object-Z specification language
Viewpoints and consistency: translating LOTOS to Object-z
Computer Standards & Interfaces
Constructive consistency checking for partial specification
Science of Computer Programming
An approach to Z toolkit for the reference model of open distributed processing
Computer Standards & Interfaces
Computer Networks: The International Journal of Computer and Telecommunications Networking
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Proceedings of the 1st International Conference on Integrated Formal Methods
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Signalling System No.7, The Network Layer
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Consistent Semantics for ODP Information and Computational Models
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
On Modeling, Mathematics, Category Theory and RM-ODP
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
How to Combine Z with Process Algebra
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Refinement of State-Based Concurrent Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
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
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Using a Process Algebra to Control B Operations
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Object Oriented Modelling in Z for Open Distributed Systems
Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
The Design of a Temporal Logic for Open Distributed Systems
Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
An Engineering Approach to ODP Systems Design
Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
A Language for the Specification of Interactive and Distributed Multimedia Applications
Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing II
RT-Z: An Integration of Z and timed CSP
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A singleton failures semantics for Communicating Sequential Processes
Formal Aspects of Computing
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Data refinement and singleton failures refinement are not equivalent
Formal Aspects of Computing
Relational concurrent refinement part II: Internal operations and outputs
Formal Aspects of Computing
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |
Questions asked by research into ODP viewpoint consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided remain largely unincorporated into model driven development. In this paper we survey some of the work done on consistency checking for multiple viewpoints, and subsequent work on generalised notions of refinement, which in turn led to work on integrations of state-based and behavioural formal methods.