Model projection: simplifying models in response to restricting the environment
Conference paper
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. ICSE11: International Conference on Software Engineering. Waikiki, Honolulu, HI, USA 21 - 28 May 2011 Association for Computing Machinery (ACM). pp. 291-300 https://doi.org/10.1145/1985793.1985834
Type | Conference paper |
---|---|
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. |
Conference | ICSE11: International Conference on Software Engineering |
Page range | 291-300 |
Proceedings Title | ICSE '11: Proceedings of the 33rd International Conference on Software Engineering |
ISBN | |
Hardcover | 9781450304450 |
Publisher | Association for Computing Machinery (ACM) |
Publication dates | |
Online | 21 May 2011 |
May 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
86
total views0
total downloads6
views this month0
downloads this month