Model projection: simplifying models in response to restricting the environment
Book chapter
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K. and Li, Z. 2011. Model projection: simplifying models in response to restricting the environment. in: Proceedings of the 33rd International Conference on Software Engineering - ICSE '11 ACM. pp. 291-300
Chapter title | Model projection: simplifying models in response to restricting the environment |
---|---|
Authors | Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K. and Li, Z. |
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. |
Page range | 291-300 |
Book title | Proceedings of the 33rd International Conference on Software Engineering - ICSE '11 |
Publisher | ACM |
ISBN | |
Hardcover | 9781450304450 |
Publication dates | |
2011 | |
Publication process dates | |
Deposited | 27 Sep 2013 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.1145/1985793.1985834 |
Language | English |
https://repository.mdx.ac.uk/item/84672
61
total views0
total downloads0
views this month0
downloads this month