A calculus of refinements for program derivations
Acta Informatica
Formal development programs and proofs
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Algebraic methods: theory, tools and applications
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of theoretical computer science (vol. B)
Methods and logics for proving programs
Handbook of theoretical computer science (vol. B)
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Foundations of component-based systems
Foundations of component-based systems
A formal language for composition
Foundations of component-based systems
Theoretical Computer Science
Concepts and paradigms of object-oriented programming
ACM SIGPLAN OOPS Messenger
Program Verification
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Algebraic Specification Languages: An Overview
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
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
Formal Methods for Component Software: The Refinement Calculus Perspective
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Hi-index | 0.00 |
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system have to be modified or replaced. The software architecture in such systems can be described by components and their composition. In order to describe larger architectures, the composition concept becomes crucial. We will present a formal framework for component composition for object-based software development. The deployment of modal logics for defining components and component composition will allow us to reason about and prove properties of components and compositions.