Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Forum: a multiple-conclusion specification logic
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Designing component-based frameworks using patterns in the UML
Communications of the ACM
UML components: a simple process for specifying component-based software
UML components: a simple process for specifying component-based software
A Theory of Objects
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Isoinitial Semantics for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Towards correct object-oriented design frameworks in computational logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
| Hi-index | 0.00 |
In our previous work in program development, we have defined steadfastness, a notion of correctness that captures at once modularity, correctness and reusability. This paper extends it to Object-Oriented Systems, namely systems of cooperatingob jects, and is a first step towards the introduction of correctness in Object-Oriented Design Frameworks. Such frameworks are increasingly recognised as more reusable than single objects, and promise to be useful components in next-generation Component-based Software Development.