6 citations · 15 across the 12 of their papers we have counts for
3 papers · 1 filter
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
Simon Chu, Emma Shedden, Changjian Zhang +4
The feature interaction problem occurs when two or more independently developed components interact with each other in unanticipated ways, resulting in undesirable system behaviors…
Safe Environmental Envelopes of Discrete Systems
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang +2
A safety verification task involves verifying a system against a desired safety property under certain assumptions about the environment. However, these environmental assumptions m…
Open Design Case Study -- A Crowdsourcing Effort to Curate Software Design Case Studies
Chun Yong Chong, Eunsuk Kang, Mary Shaw
Case study-based learning has been successfully integrated into various courses, including software engineering education. In the context of software design courses, the use of cas…