Standard

Software that meets its intent. / Huisman, Marieke; Bos, Herbert; Brinkkemper, Sjaak; van Deursen, Arie; Groote, Jan Friso; Lago, Patricia; van de Pol, Jaco; Visser, Eelco.

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Vol. 9953 LNCS Springer Verlag, 2016. p. 609-625 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS).

Research output: Scientific - peer-reviewConference contribution

Harvard

Huisman, M, Bos, H, Brinkkemper, S, van Deursen, A, Groote, JF, Lago, P, van de Pol, J & Visser, E 2016, Software that meets its intent. in Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. vol. 9953 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9953 LNCS, Springer Verlag, pp. 609-625. DOI: 10.1007/978-3-319-47169-3_47

APA

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., ... Visser, E. (2016). Software that meets its intent. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. (Vol. 9953 LNCS, pp. 609-625). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS). Springer Verlag. DOI: 10.1007/978-3-319-47169-3_47

Vancouver

Huisman M, Bos H, Brinkkemper S, van Deursen A, Groote JF, Lago P et al. Software that meets its intent. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Vol. 9953 LNCS. Springer Verlag. 2016. p. 609-625. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Available from, DOI: 10.1007/978-3-319-47169-3_47

Author

Huisman, Marieke; Bos, Herbert; Brinkkemper, Sjaak; van Deursen, Arie; Groote, Jan Friso; Lago, Patricia; van de Pol, Jaco; Visser, Eelco / Software that meets its intent.

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Vol. 9953 LNCS Springer Verlag, 2016. p. 609-625 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS).

Research output: Scientific - peer-reviewConference contribution

BibTeX

@inbook{7782980574a74265beec9fbed42f642e,
title = "Software that meets its intent",
author = "Marieke Huisman and Herbert Bos and Sjaak Brinkkemper and {van Deursen}, Arie and Groote, {Jan Friso} and Patricia Lago and {van de Pol}, Jaco and Eelco Visser",
year = "2016",
doi = "10.1007/978-3-319-47169-3_47",
isbn = "9783319471686",
volume = "9953 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "609--625",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings",

}

RIS

TY - CHAP

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=84993193347&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-47169-3_47

DO - 10.1007/978-3-319-47169-3_47

M3 - Conference contribution

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 -

ID: 8041144