Show simple item record  

dc.contributor.authorFabrice, Bouquet
dc.contributor.authorDadeau, Frederic
dc.contributor.authorLegeard, Bruno
dc.contributor.authorUtting, Mark
dc.coverage.spatialConference held at Newcastle, UKen_NZ
dc.date.accessioned2008-12-03T21:53:37Z
dc.date.available2008-12-03T21:53:37Z
dc.date.issued2005
dc.identifier.citationFabrice, B., Dadeau, F., Legeard, B. & Utting, M.(2005). Symbolic animation of JML specifications. In Proceeding of International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005(pp. 75-90). Berlin: Springer.en_US
dc.identifier.urihttps://hdl.handle.net/10289/1520
dc.description.abstractThis paper presents a model-based framework for the symbolic animation of object-oriented specifications. A customized set-theoretic solver is used to simulate the execution of the system and handle constraints on state variables. We define a framework for animating object-oriented specifications with dynamic object creations, interactions and inheritance. We show how this technique can be applied to Java Modeling Language (JML) specifications, making it possible to animate Java programs that only contain method interfaces and no code!en_US
dc.language.isoen
dc.publisherSpringeren_US
dc.relation.urihttp://www.springerlink.com/content/3637p1b8varcapux/?p=37b35bf2b9fa41728a4dc3b635c15379&pi=6en_US
dc.sourceFM 2005en_NZ
dc.subjectcomputer scienceen_US
dc.subjectjava modelling languageen_US
dc.subjectJMLen_US
dc.subjectmodel-baseden_US
dc.subjectobject-orienteden_US
dc.subjectsymbolic animationen_US
dc.titleSymbolic Animation of JML Specificationsen_US
dc.typeConference Contributionen_US
dc.identifier.doi10.1007/11526841_7en_US
dc.relation.isPartOfInternational Symposium of Formal Methods Europeen_NZ
pubs.begin-page75en_NZ
pubs.elements-id16092
pubs.end-page90en_NZ
pubs.finish-date2005-07-22en_NZ
pubs.place-of-publicationGermanyen_NZ
pubs.start-date2005-07-18en_NZ
pubs.volumeLNCS 3582en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record