• Publications
  • Influence
Aspects of systems integration
TLDR
An attempt is made to sort out the wide variety of concepts used in connection with systems integration and to give an overview of the field. Expand
  • 48
  • 2
Divide Et Impera: a Computational Framework for Verifying Object Component Substutability
TLDR
This thesis presents a formal model of object-oriented concepts; in particular we focus on the concepts found useful by experienced designers of reusable software components. Expand
  • 5
Omicron, An Object-Oriented Calculus
TLDR
We present the Omicron calculus which is based on the object-oriented concepts and the object behaviours. Expand
  • 3
The COIR architecture for Flexible Software Components and Systems
Lowering costs for software maintenance, development and reuse is a great challenge. Strategies like the 3 schema architecture for databases has shown to lower maintenance and development costs ofExpand
Omicron , An example of an Object-Oriented Calculus
Object-oriented technology featuring the concepts of object identity, instance creation, encapsulation, dynamic binding and inheritance are increasingly popular when designing systems, but there is aExpand