Interpreting ODP viewpoint specification: observations from a case study

Authors:
Chris Taylor;Eerke Boiten;John Derrick
Affiliations:
Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK;Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK;Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK
Venue:
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Year:
2002

Citing 7
Cited 1

The Z notation: a reference manual

The Z notation: a reference manual
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
ODP enterprise viewpoint specification

Computer Standards & Interfaces
Viewpoint consistency in ODP

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 Relational Framework For The Integration Of Specifications

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model checking techniques have been an effective means for finding subtle defects in hardware designs and communication protocols. The increased use of concurrent software in embedded applications and the widespread adoption of Java with its built-in ...