Show simple item record

dc.contributor.authorZhou, Shikun
dc.contributor.authorZedan, Hussein
dc.contributor.authorCau, A. (Antonio)
dc.date.accessioned2005-09-05T20:06:45Z
dc.date.available2005-09-05T20:06:45Z
dc.date.issued2005-09-05
dc.identifier.citationZhou, S., Zedan, H. & Cau, A. (1999), "A framework for analysing the effect of 'change' in legacy code", IEEE, , pp. 411.en
dc.identifier.otherIR/2005/28
dc.identifier.urihttp://hdl.handle.net/2086/51
dc.description.abstractWe propose a sound and practical approach, based on a formal method (known as Interval Temporal Logic), to cope with “change” and analyse its effect. The approach allows us to capture a snapshot of system’s behaviour over which various interesting properties, such as liveness, timeliness and safety properties, can be validated compositionally. These properties may include invariants that are required to be valid after changes have taken place. We also present and evaluate design and implementation of a formal tool, AnaTempura, which supports the developed approach. A case study is presented to illustrate our approach and the tool.en
dc.description.sponsorshipFunding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/02583en
dc.format.extent159860 bytes
dc.format.extent539901 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1999-1en
dc.subjectEPSRCen
dc.titleA framework for analysing the effect of "change" in legacy codeen
dc.typeArticleen
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record