X-by-construction

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

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

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

Correctness
Dependability
Software System
Energy Consumption
Refinement
Energy utilization
Specification
Engineering
Specifications
Resources

Cite this

ter Beek, M. H., Cleophas, L., Schaefer, I., & Watson, B. W. (2018). X-by-construction. In B. Steffen, & T. Margaria (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings (pp. 359-364). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11244 LNCS). Springer. https://doi.org/10.1007/978-3-030-03418-4_21
ter Beek, Maurice H. ; Cleophas, Loek ; Schaefer, Ina ; Watson, Bruce W. / X-by-construction. Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. editor / Bernhard Steffen ; Tiziana Margaria. Springer, 2018. pp. 359-364 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{7843de00cb8c4d01a5ff17398e36475c,
title = "X-by-construction",
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.",
author = "{ter Beek}, {Maurice H.} and Loek Cleophas and Ina Schaefer and Watson, {Bruce W.}",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-030-03418-4_21",
language = "English",
isbn = "9783030034177",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "359--364",
editor = "Bernhard Steffen and Tiziana Margaria",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings",
address = "Germany",

}

ter Beek, MH, Cleophas, L, Schaefer, I & Watson, BW 2018, X-by-construction. in B Steffen & T Margaria (eds), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11244 LNCS, Springer, pp. 359-364, 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018), Limassol, Cyprus, 5/11/18. https://doi.org/10.1007/978-3-030-03418-4_21

X-by-construction. / ter Beek, Maurice H.; Cleophas, Loek; Schaefer, Ina; Watson, Bruce W.

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. ed. / Bernhard Steffen; Tiziana Margaria. Springer, 2018. p. 359-364 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11244 LNCS).

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

TY - GEN

T1 - X-by-construction

AU - ter Beek, Maurice H.

AU - Cleophas, Loek

AU - Schaefer, Ina

AU - Watson, Bruce W.

PY - 2018/1/1

Y1 - 2018/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85056457098&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-03418-4_21

DO - 10.1007/978-3-030-03418-4_21

M3 - Conference contribution

AN - SCOPUS:85056457098

SN - 9783030034177

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 359

EP - 364

BT - Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings

A2 - Steffen, Bernhard

A2 - Margaria, Tiziana

PB - Springer

ER -

ter Beek MH, Cleophas L, Schaefer I, Watson BW. X-by-construction. In Steffen B, Margaria T, editors, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Springer. 2018. p. 359-364. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-03418-4_21