Parallel program design: a foundation
Parallel program design: a foundation
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Data refinement of predicate transformers
Theoretical Computer Science
Component-oriented software development
Communications of the ACM - Special issue on analysis and modeling in software development
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Composition of assumption-commitment specifications in a UNITY style
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Predicate transformers for reasoning about concurrent computation
Science of Computer Programming
Object-oriented software composition
Object-oriented software composition
Understanding ActiveX and OLE: a guide for developers and managers
Understanding ActiveX and OLE: a guide for developers and managers
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The Definition of Standard ML
Computer
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
Examples of Program Composition Illustrating the Use of Universal Properties
Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing
Abstracting Communication to Reason about Distributed Algorithms
WDAG '96 Proceedings of the 10th International Workshop on Distributed Algorithms
Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Refinement Calculus, Part II: Parallel and Reactive Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Refinement Calculus, Part I: Sequential Nondeterministic Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Towards a Compositional Approach to the Design and Verification of Distributed Systems
Towards a Compositional Approach to the Design and Verification of Distributed Systems
Composing Processes Using Modified Rely-Guarantee Specifications
Composing Processes Using Modified Rely-Guarantee Specifications
A method for the specification, composition, and testing of distributed object systems
A method for the specification, composition, and testing of distributed object systems
Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems
An Approach to Composition Motivated by wp
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A compositional approach to service validation
SDL'05 Proceedings of the 12th international conference on Model Driven
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Hi-index | 0.01 |
We are investigating a component-based approach for formal design of distributed systems. In this paper, we introduce the framework we use for specification, composition and communication and we apply it to an example that highlights the different aspects of a compositional design, including top-down and bottom-up phases, proofs of composition, refinement proofs, proofs of program texts, and component reuse.