Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Towards a basic reference model of open distributed processing
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
A formal semantics for the ODP computational model
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Applying formal methods to standard development: the open distributed processing experience
Computer Standards & Interfaces - Special issue on formal description techniques
Type checking in open distributed systems: a complete model and its Z specification
ICODP/ICDP '97 Proceedings of the IFIP/IEEE international conference on Open distributed processing and distributed platforms
Specification architecture illustrated in a communications context
Computer Networks and ISDN Systems - Special issue: specification architecture
Relating architecture and specification
Computer Networks and ISDN Systems - Special issue: specification architecture
Computer Networks and ISDN Systems - Special issue: specification architecture
Using SDL to develop CORBA object implementations
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
An architectural description of intelligent network features and their interactions
Computer Networks and ISDN Systems - Special issue on feature interactions in telecommunications software
Frameworks: the future of formal software development?
Computer Standards & Interfaces - Special issue on semantics in specifications
Viewpoints and consistency: translating LOTOS to Object-z
Computer Standards & Interfaces
On the criteria to be used in decomposing systems into modules
Communications of the ACM
An Architectural Semantics for LOTOS
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
An Engineering Approach to Formal Methods
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Specifying Multimedia Binding Objects in Z
TreDS '96 Proceedings of the International Workshop on Trends in Distributed Systems: CORBA and Beyond
Engineering Telecommunication Services With SDL
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Towards a Behavioral Description of ODL
TINA '97 Proceedings of the Global Convergence of Telecommunications and Distributed Object Computing
Specifying Multimedia Configurations in Z
ICCIMA '99 Proceedings of the 3rd International Conference on Computational Intelligence and Multimedia Applications
Specifying Aspects of Multimedia in LOTOS
ICCIMA '99 Proceedings of the 3rd International Conference on Computational Intelligence and Multimedia Applications
Creating Telecommunication Services based on Object-Oriented Frameworks and SDL
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
The TINA consortium: toward networking telecommunications information services
IEEE Communications Magazine
Hi-index | 0.00 |
In this chapter we turn our attention from programming languages, as discussed in the last chapter, to issues of specification and structuring. In particular we discuss the role of specification architectures and architectural semantics.