X-by-construction

Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

After decades of progress on Correctness-by-Construction (CbC) as a scientific discipline of engineering, it is time to look further than correctness and investigate a move from CbC to XbC, i.e., considering also non-functional properties. X-by-Construction (XbC) is concerned with a step-wise refinement process from specification to code that automatically generates software (system) implementations that by construction satisfy specific non-functional properties concerning security, dependability, reliability or resource/energy consumption, to name but a few. This track brings together researchers and practitioners that are interested in CbC and the promise of XbC.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings
EditorsBernhard Steffen, Tiziana Margaria
PublisherSpringer
Pages359-364
Number of pages6
ISBN (Print)9783030034177
DOIs
Publication statusPublished - 1 Jan 2018
Event8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018) - Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018
http://www.isola-conference.org/isola2018/

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11244 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018)
Abbreviated titleISoLA2018
CountryCyprus
CityLimassol
Period5/11/189/11/18
Internet address

Fingerprint Dive into the research topics of 'X-by-construction'. Together they form a unique fingerprint.

Cite this