Issues in multiparadigm viewpoint specification

Authors:
Eerke Boiten;Howard Bowman;John Derrick;Maarten Steen
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.;Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK.
Venue:
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
Year:
1996

FDTs for ODP

Computer Standards & Interfaces - Special issue on formal description techniques
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
Composition of LOTOS specifications

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Viewpoints and Objects

ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Consistency and Refinement for Partial Specification in Z

FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Structuring Z Specifications with Views

Structuring Z Specifications with Views

Specifying and analysing multimedia systems

Formal methods for distributed processing
Incremental Detection of Model Inconsistencies Based on Model Operations

CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
From ODP viewpoint consistency to Integrated Formal Methods

Computer Standards & Interfaces

Hi-index	0.00