MODEL CHECKING AN OBJECT-ORIENTED DESIGN - Validation Led Development of Software
Simon C Stanton, Vishv Malhotra
2004
Abstract
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.
DownloadPaper Citation
in Harvard Style
C Stanton S. and Malhotra V. (2004). MODEL CHECKING AN OBJECT-ORIENTED DESIGN - Validation Led Development of Software . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-00-7, pages 605-608. DOI: 10.5220/0002600706050608
in Bibtex Style
@conference{iceis04,
author={Simon C Stanton and Vishv Malhotra},
title={MODEL CHECKING AN OBJECT-ORIENTED DESIGN - Validation Led Development of Software},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2004},
pages={605-608},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002600706050608},
isbn={972-8865-00-7},
}
in EndNote Style
TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - MODEL CHECKING AN OBJECT-ORIENTED DESIGN - Validation Led Development of Software
SN - 972-8865-00-7
AU - C Stanton S.
AU - Malhotra V.
PY - 2004
SP - 605
EP - 608
DO - 10.5220/0002600706050608