Correct object-oriented systems in computational logic

Kung Kiu Lau, Mario Ornaghi

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    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. © Springer-Verlag Berlin Heidelberg 2002.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    Pages168-190
    Number of pages22
    Volume2372
    Publication statusPublished - 2002
    Event11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001 - Paphos
    Duration: 1 Jul 2002 → …

    Conference

    Conference11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001
    CityPaphos
    Period1/07/02 → …

    Fingerprint

    Dive into the research topics of 'Correct object-oriented systems in computational logic'. Together they form a unique fingerprint.

    Cite this