Model projection: simplifying models in response to restricting the environment
Abstract
This paper introduces Model Projection. Finite state models such as Extended Finite State Machines are being used in an ever increasing number of software engineering activities. Model projection facilitates model development by specializing models for a specific operating environment. A projection is useful in many design-level applications including specification reuse and property verification.
BibTeX
@inproceedings{Androutsopoulos-al:ICSE11,
author = {Kelly Androutsopoulos and
David W. Binkley and
David Clark and
Nicolas Gold and
Mark Harman and
Kevin Lano and
Zheng Li},
title = {Model projection: simplifying models in response to restricting the environment},
booktitle = {ICSE},
pages = {291--300},
publisher = {{ACM}},
year = {2011},
}