AC2004.pdf (194.51 kB)
Validation Led Development of Object-Oriented Software Using a Model Verifier
conference contribution
posted on 2023-05-26, 09:42 authored by Stanton, SC, Malhotra, VObject-oriented methodologies focus on the design of object classes as the building blocks of systems. The class interface provides a way to encapsulate focus to a single object/class at a time. However, general system-wide issues are important and need attention in the design endeavour also. The paper reports on our efforts to use a model verifier to enact interactions of multiple objects and classes to perform a system-wide analysis.
History
Publisher
IADIS PressPublication status
- Published
Event title
IADIS International Conference Applied Computing 2004Event Venue
Lisbon, PortugalDate of Event (Start Date)
2004-03-23Date of Event (End Date)
2004-03-26Rights statement
ISBN: 972-98947-3-6Repository Status
- Open
Usage metrics
Categories
No categories selectedLicence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC