Add to ORKGThis paper discusses the issues of specication style and renement that arise in connection with viewpoint mod elling In particular we consider the support needed in order to deal with viewpoints written at dierent lev els of abstraction The motivation for this work arises from the use of viewpoints in distributed systems de sign in particular in the Open Distributed Processing standard Key words Consistency representation Ope
The Viewpoints framework for distributed and concurrent software engineering provides an alternative...
The ViewPoints framework for distributed and concurrent software engineering provides an alternative...
The structuring of the specification and development of distributed systems according to viewpoints,...
Abstract. There have been a number of proposals to split the specification of large and complex syst...
The paper discusses the use of viewpoints in the ODP (Open Distributed Processing) standardisation i...
Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexi...
Multiple Viewpoint models of system development are becoming increasingly important. Each viewpoint ...
This paper discusses the issues of specification style and refinement that arise in connection with ...
There have been a number of proposals to split the specification of large and complex systems into a...
This paper gives a brief insight into the current work on the development of an architectural seman...
This paper gives a brief insight into the current work on the development of an architectural semant...
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specif...
This paper presents a translation between the formal description technique LOTOS and the object-orie...
Support for Concurrent Engineering must address the “multiple perspectives problem ”- many actors, m...
This paper discusses the use and integration of formal techniques, in particular Z, into the Open Di...
The Viewpoints framework for distributed and concurrent software engineering provides an alternative...
The ViewPoints framework for distributed and concurrent software engineering provides an alternative...
The structuring of the specification and development of distributed systems according to viewpoints,...
Abstract. There have been a number of proposals to split the specification of large and complex syst...
The paper discusses the use of viewpoints in the ODP (Open Distributed Processing) standardisation i...
Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexi...
Multiple Viewpoint models of system development are becoming increasingly important. Each viewpoint ...
This paper discusses the issues of specification style and refinement that arise in connection with ...
There have been a number of proposals to split the specification of large and complex systems into a...
This paper gives a brief insight into the current work on the development of an architectural seman...
This paper gives a brief insight into the current work on the development of an architectural semant...
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specif...
This paper presents a translation between the formal description technique LOTOS and the object-orie...
Support for Concurrent Engineering must address the “multiple perspectives problem ”- many actors, m...
This paper discusses the use and integration of formal techniques, in particular Z, into the Open Di...
The Viewpoints framework for distributed and concurrent software engineering provides an alternative...
The ViewPoints framework for distributed and concurrent software engineering provides an alternative...
The structuring of the specification and development of distributed systems according to viewpoints,...