Yu, Yijun, Tun, Thein Tan, Tedeschi, Alessandra, Franqueira, Virginia Nunes Leal and Nuseibeh, Bashar (2011) OpenArgue: Supporting Argumentation to Evolve Secure Software Systems. In: 19th IEEE International Requirements Engineering Conference, RE 2011, 9 Aug 2011-2 Sep 2011, Trento, Italy.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/RE.2011.6051671
When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software systems demonstrates that our argumentation technique is useful in limiting the scope of change and in identifying changes to security properties. In support of this work, we have developed OpenArgue, a tool for syntax checking, visualizing, formalizing, and reasoning about incremental arguments. OpenArgue has been integrated with requirements engineering tools for Problem Frames and i*, and applied to an Air Traffic Management (ATM) case study.
|Item Type:||Conference or Workshop Item (Paper)|
|Subjects:||Q Science > Q Science (General)|
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
|Schools:||College of Science and Technology > School of Computing Engineering & Physical Sciences|
|Deposited By:||Carmit Erez|
|Deposited On:||05 Nov 2012 13:50|
|Last Modified:||24 Mar 2014 13:18|
Downloads per month over past year
Downloads for past 30 days
Repository Staff Only: item control page