COM revisited: tool-assisted modelling of an architectural framework

Abstract

Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in which formal statements fail to match the designer's intent. A fully automatic analysis tool can rapidly expose such errors, and can make the process of constructing and refining a formal model more effective.

BibTeX

@inproceedings{Jackson-Sullivan:FSE00,
  author    = {Daniel Jackson and
               Kevin J. Sullivan},
  title     = {{COM} revisited: tool-assisted modelling of an architectural framework},
  booktitle = {FSE},
  pages     = {149--158},
  publisher = {{ACM}},
  year      = {2000},
}

COM revisited: tool-assisted modelling of an architectural framework

Abstract

Related papers