Formal Analysis in Model Management:  Exploiting the Power of CZT

James R. Williams; Fiona A. C. Polack; Richard F. Paige

doi:10.1007/978-3-642-11811-1_46

Formal Analysis in Model Management: Exploiting the Power of CZT

James R. Williams, Fiona A. C. Polack, Richard F. Paige

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked.

Original language	Undefined/Unknown
Pages	414
DOIs	https://doi.org/10.1007/978-3-642-11811-1_46
Publication status	Published - 2010

Access to Document

10.1007/978-3-642-11811-1_46

http://dx.doi.org/10.1007/978-3-642-11811-1_46

Cite this

@conference{0f0e6622635b45858f3e65fef52b78a6,

title = "Formal Analysis in Model Management: Exploiting the Power of CZT",

abstract = "Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked. ",

author = "Williams, {James R.} and Polack, {Fiona A. C.} and Paige, {Richard F.}",

year = "2010",

doi = "10.1007/978-3-642-11811-1_46",

language = "Undefined/Unknown",

pages = "414",

}

TY - CONF

T1 - Formal Analysis in Model Management

T2 - Exploiting the Power of CZT

AU - Williams, James R.

AU - Polack, Fiona A. C.

AU - Paige, Richard F.

PY - 2010

Y1 - 2010

N2 - Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked.

AB - Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked.

UR - http://www.scopus.com/inward/record.url?scp=77950856725&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-11811-1_46

DO - 10.1007/978-3-642-11811-1_46

M3 - Paper

SP - 414

ER -

Formal Analysis in Model Management: Exploiting the Power of CZT

Abstract

Access to Document

Other files and links

Cite this