Software that meets its intent

Marieke Huisman*, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser

*Corresponding author for this work

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)
122 Downloads (Pure)


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.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings
Subtitle of host publication7th International Symposium, ISoLA 2016
EditorsT. Margaria, B. Steffen
Place of PublicationCham
Number of pages17
ISBN (Electronic)978-3-319-47169-3
ISBN (Print)978-3-319-47168-6
Publication statusPublished - 2016
EventISoLA 2016: 7th International Symposium - Corfu, Greece
Duration: 10 Oct 201614 Oct 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9953 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


ConferenceISoLA 2016


Dive into the research topics of 'Software that meets its intent'. Together they form a unique fingerprint.

Cite this