Software that meets its Intent

Marieke Huisman, Tiziana Margaria (Editor), Bernhard Steffen (Editor), Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jan Cornelis van de Pol, Eelco Visser

Abstract

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 self-correction. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.
Original languageUndefined
Pages609-625
Number of pages17
DOIs
StatePublished - Oct 2016

Keywords

  • IR-104113
  • EWI-27670

Cite this

Huisman, M., Margaria, T. (Ed.), Steffen, B. (Ed.), Bos, H., Brinkkemper, S., van Deursen, A., ... Visser, E. (2016). Software that meets its Intent. 609-625. DOI: 10.1007/978-3-319-47169-3_47

Huisman, Marieke; Margaria, Tiziana (Editor); Steffen, Bernhard (Editor); Bos, Herbert; Brinkkemper, Sjaak; van Deursen, Arie; Groote, Jan Friso; Lago, Patricia; van de Pol, Jan Cornelis; Visser, Eelco / Software that meets its Intent.

2016. 609-625.

Research output: Scientific - peer-reviewPaper

@misc{cec6a17f08f14b6abce7de126b103137,
title = "Software that meets its Intent",
abstract = "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 self-correction. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.",
keywords = "IR-104113, EWI-27670",
author = "Marieke Huisman and Tiziana Margaria and Bernhard Steffen and Herbert Bos and Sjaak Brinkkemper and {van Deursen}, Arie and Groote, {Jan Friso} and Patricia Lago and {van de Pol}, {Jan Cornelis} and Eelco Visser",
year = "2016",
month = "10",
doi = "10.1007/978-3-319-47169-3_47",
pages = "609--625",

}

Huisman, M, Margaria, T (ed.), Steffen, B (ed.), Bos, H, Brinkkemper, S, van Deursen, A, Groote, JF, Lago, P, van de Pol, JC & Visser, E 2016, 'Software that meets its Intent' pp. 609-625. DOI: 10.1007/978-3-319-47169-3_47

Software that meets its Intent. / Huisman, Marieke; Margaria, Tiziana (Editor); Steffen, Bernhard (Editor); Bos, Herbert; Brinkkemper, Sjaak; van Deursen, Arie; Groote, Jan Friso; Lago, Patricia; van de Pol, Jan Cornelis; Visser, Eelco.

2016. 609-625.

Research output: Scientific - peer-reviewPaper

TY - CONF

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,Jan Cornelis

AU - Visser,Eelco

A2 - Margaria,Tiziana

A2 - Steffen,Bernhard

PY - 2016/10

Y1 - 2016/10

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 self-correction. 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 self-correction. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.

KW - IR-104113

KW - EWI-27670

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

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

M3 - Paper

SP - 609

EP - 625

ER -

Huisman M, Margaria T, (ed.), Steffen B, (ed.), Bos H, Brinkkemper S, van Deursen A et al. Software that meets its Intent. 2016. Available from, DOI: 10.1007/978-3-319-47169-3_47