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 |
ISSN | 0270-5257 |
ISBN | |
Hardcover | 9781450304450 |
Publisher | Association for Computing Machinery (ACM) |
Publication dates | |
Online | 21 May 2011 |
May 2011 | |
Publication process dates | |
Deposited | 28 Nov 2014 |
Output status | Published |
Web address (URL) | http://doi.acm.org/10.1145/1985793.1985834 |
Digital Object Identifier (DOI) | https://doi.org/10.1145/1985793.1985834 |
Scopus EID | 2-s2.0-79959892356 |
Web address (URL) of conference proceedings | https://dl.acm.org/doi/proceedings/10.1145/1985793 |
Related Output | |
Has metadata | http://www.scopus.com/inward/record.url?eid=2-s2.0-79959892356&partnerID=MN8TOARS |
Language | English |
https://repository.mdx.ac.uk/item/84y2y
86
total views0
total downloads8
views this month0
downloads this month