Symbolic Animation of JML Specifications

Simple item page
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.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.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.doi10.1007/11526841_7en_US
dc.identifier.urihttps://hdl.handle.net/10289/1520
dc.language.isoen
dc.publisherSpringeren_US
dc.relation.isPartOfInternational Symposium of Formal Methods Europeen_NZ
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
dspace.entity.typePublication
pubs.begin-page75en_NZ
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

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Computing and Mathematical Sciences Papers