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
Handbook of theoretical computer science (vol. B)
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Journal of Symbolic Computation
Evolving algebras 1993: Lipari guide
Specification and validation methods
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Extending fusion: practical rigor and refinement
Object-oriented development at work
A Theory of Objects
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Formal Reasoning about Modules, Reuse and their Correctness
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Conservative Extensions, Interpretations Between Theories and All That!
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
On Specification Frameworks and Deductive Synthesis of Logic Programs
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs
LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
Frameworks in Catalysis: pictorial notation and formal semantics
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Interacting Frameworks in Catalysis
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Correct Object-Oriented Systems in Computational Logic
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
A Strategy for the Formal Composition of Frameworks
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
Current Object-oriented Design (OOD) methodologies tend to focus on objects as the unit of reuse, but it is increasingly recognised that frameworks, or groups of interacting objects, are a better unit of reuse. Thus, in next-generation Component-based Development (CBD) methodologies, we can expect components to be frameworks rather than objects. In this paper, we describe a preliminary attempt at a formal semantics for OOD frameworks in CBD in computational logic.