University of Tasmania
Browse
ISAS.pdf (79.17 kB)

Model Checking an Object-Oriented Design: Validation Led Development of Software

Download (79.17 kB)
conference contribution
posted on 2023-05-26, 09:42 authored by Stanton, SC, Malhotra, V
The object-oriented design methodologies have focused on methods, tools and representations to build classes taking advantage of inheritance and encapsulation properties. Modelling of the interaction among the objects often does not go beyond the method declarations stage until the programming phase. Efforts to include object constraints in the object-oriented design to embody the behavioural correctness have not reached the level assertions play in understanding the correctness of the traditional imperative programs. The paper describes use of a model checker to establish correctness of an object-oriented design.

History

Volume

3

Pagination

605-608

Publisher

INSTICC - Institute for Systems and Technologies of Information, Control and Communication

Publication status

  • Published

Event title

Sixth International Conference on Enterprise Information Systems, 2004

Event Venue

Porto, Portugal

Date of Event (Start Date)

2004-04-14

Date of Event (End Date)

2004-04-17

Rights statement

ISBN 927-8865-00-7\ DBLP entry: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stanton:Simon_C=.html

Repository Status

  • Open

Usage metrics

    University Of Tasmania

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC