File(s) not publicly available
Model checking an object-oriented design validation led development of software
conference contribution
posted on 2023-05-23, 03:10 authored by Simon Stanton, Malhotra, VThe 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
Publication title
Proceedings of the 6th International Conference on Enterprise Information SystemsEditors
I Seruca,J Filipe, S Hammoudi, & J CordeiroPagination
605-608ISBN
972-8865-00-7Department/School
School of Information and Communication TechnologyPublisher
INSTICCPlace of publication
PortugalEvent title
6th International Conference on Enterprise Information SystemsEvent Venue
Porto, PortugalDate of Event (Start Date)
2004-04-14Date of Event (End Date)
2004-04-17Repository Status
- Restricted