TY - GEN
T1 - Software that meets its intent
AU - Huisman, Marieke
AU - Bos, Herbert
AU - Brinkkemper, Sjaak
AU - van Deursen, Arie
AU - Groote, Jan Friso
AU - Lago, Patricia
AU - van de Pol, Jaco
AU - Visser, Eelco
PY - 2016
Y1 - 2016
N2 - Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization of this idea requires novel theories, algorithms, tools, and techniques to discover, express, verify, and evolve software intents. Thus, future software systems will be able to verify themselves that they meet their intents. Moreover, they will be able to respond to deviations from intents through selfcorrection. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.
AB - Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization of this idea requires novel theories, algorithms, tools, and techniques to discover, express, verify, and evolve software intents. Thus, future software systems will be able to verify themselves that they meet their intents. Moreover, they will be able to respond to deviations from intents through selfcorrection. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.
UR - http://www.scopus.com/inward/record.url?scp=84993949389&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84993949389&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-47169-3_47
DO - 10.1007/978-3-319-47169-3_47
M3 - Conference contribution
AN - SCOPUS:84993949389
SN - 9783319471686
VL - 9953 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 609
EP - 625
BT - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings
PB - Springer/Verlag
ER -