Formal Development of Correct Classes in Computational Logic (1997)

by Kung-kiu Lau , Chris Moss , Mario Ornaghi
Venue:Proc. BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing Series
Citations:5 - 5 self

Documents Related by Co-Citation

223 Algebraic Specification – M Wirsing - 1990
9 Extending Fusion: practical rigor and refinement – D D’Souza, A Wills - 1996
52 Contracts --- Specifying behavioural compositions – R Helm, I M Holland, D Gangopadhay
15 A better foundation: development frameworks let you build an application with reusable objects – R Mauth - 1996
41 Designing Object Systems – S Cook, J Daniels - 1994
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
28 Steadfast Logic Programs – Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund - 1994
23 On Specification Frameworks and Deductive Synthesis of Logic Programs – Kung-kiu Lau, Mario Ornaghi - 1994
8 Formal Reasoning about Modules, Reuse, and their Correctness – Christoph Kreitz, Kung-kiu Lau, Mario Ornaghi - 1995
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
6 Forms of Logic Specifications: A Preliminary Study – Kung-kiu Lau, Mario Ornaghi - 1997
1858 Foundation of Logic Programming – J W Lloyd - 1987
9 Frameworks in Catalysis: Pictorial Notation and Formal Semantics – Kung-kiu Lau, Mario Ornaghi, Alan Wills - 1997
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
23 On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Informaticae VI(2):127--170 – A Bertoni, G Mauri, P Miglioli - 1983
98 Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics – J A Goguen, J Meseguer - 1987
10 Interacting Frameworks in Catalysis – Kung-kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills - 1998
10 OOD Frameworks in Component-based Software Development in Computational Logic – Kung-kiu Lau, Mario Ornaghi - 1998
194 Object-oriented Development: the Fusion method – D Coleman, P Arnold, S Bdoff, H Gilchrist, F Hayes, P Jeremaes - 1994