Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Algebraic theory of processes
The Z notation: a reference manual
The Z notation: a reference manual
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Towards a framework for managing inconsistency between multiple views
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
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
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
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
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
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
Communication and Concurrency
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Proceedings of the Third International Conference on Integrated Formal Methods
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Junction between State Based and Behavioural Specification (Invited Talk)
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Techniques for Partial Specification and Specification of Switching Systems
Proceedings of the Z User Workshop
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
A new Concept of Refinement used for Behaviour Modelling with Automata
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
MPC '95 Mathematics of Program Construction
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
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
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Hi-index | 0.00 |
We describe a framework for viewpoint specification using formal specification languages. In order to establish consistency and to further develop specifications, specifications need to be integrated ("unified"). This integration is not defined in terms of their semantics, but more abstractly in terms of, so-called, development relations, which represent acceptable "developments" (e.g., refinements) of each of the viewpoint specifications. The framework is motivated by its instantiations with a number of specification languages (e.g., LOTOS and Z) and different development relations.