Software that meets its intent

Conference Paper (2016)
Author(s)

Marieke Huisman (University of Twente)

Herbert Bos (Vrije Universiteit Amsterdam)

Sjaak Brinkkemper (Universiteit Utrecht)

A. Van Deursen (TU Delft - Software Technology)

Jan Friso Groote (Eindhoven University of Technology)

Patricia Lago (Vrije Universiteit Amsterdam)

Jaco van de Pol (University of Twente)

E Visser (TU Delft - Programming Languages)

Department
Software Technology
Copyright
© 2016 M. Huisman, Herbert Bos, Sjaak Brinkkemper, A. van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
DOI related publication
https://doi.org/10.1007/978-3-319-47169-3_47
More Info
expand_more
Publication Year
2016
Language
English
Copyright
© 2016 M. Huisman, Herbert Bos, Sjaak Brinkkemper, A. van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
Department
Software Technology
Pages (from-to)
609-625
ISBN (print)
978-3-319-47168-6
ISBN (electronic)
978-3-319-47169-3
Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

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

Files

TUD_SERG_2016_021.pdf
(pdf | 0.349 Mb)
License info not available