Title
Software that meets its intent
Author
Huisman, M. (University of Twente)
Bos, Herbert (Vrije Universiteit Amsterdam)
Brinkkemper, Sjaak (Universiteit Utrecht)
van Deursen, A. (TU Delft Software Technology)
Groote, Jan Friso (Eindhoven University of Technology)
Lago, Patricia (Vrije Universiteit Amsterdam)
van de Pol, Jaco (University of Twente)
Visser, Eelco (TU Delft Programming Languages)
Contributor
Margaria, T. (editor)
Steffen, B. (editor)
Department
Software Technology
Date
2016
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.
To reference this document use:
http://resolver.tudelft.nl/uuid:77829805-74a7-4265-beec-9fbed42f642e
DOI
https://doi.org/10.1007/978-3-319-47169-3_47
Publisher
Springer, Cham
ISBN
978-3-319-47168-6
Source
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings: 7th International Symposium, ISoLA 2016 (II)
Event
ISoLA 2016, 2016-10-10 → 2016-10-14, Corfu, Greece
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 03029743, 9953 LNCS
Part of collection
Institutional Repository
Document type
conference paper
Rights
© 2016 M. Huisman, Herbert Bos, Sjaak Brinkkemper, A. van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser