X-by-construction

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

doi:10.1007/978-3-030-03418-4_21

X-by-construction

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

Software Engineering and Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (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 language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings
Editors	Bernhard Steffen, Tiziana Margaria
Publisher	Springer
Pages	359-364
Number of pages	6
ISBN (Print)	9783030034177
DOIs	https://doi.org/10.1007/978-3-030-03418-4_21
Publication status	Published - 1 Jan 2018
Event	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018) - Limassol, Cyprus Duration: 5 Nov 2018 → 9 Nov 2018 http://www.isola-conference.org/isola2018/

Publication series

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

Conference

Conference	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018)
Abbreviated title	ISoLA2018
Country/Territory	Cyprus
City	Limassol
Period	5/11/18 → 9/11/18
Internet address	http://www.isola-conference.org/isola2018/

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Access to Document

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

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 et al. / 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 = jan,

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",

note = "8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018), ISoLA2018 ; Conference date: 05-11-2018 Through 09-11-2018",

url = "http://www.isola-conference.org/isola2018/",

}

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 et al.
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 proceeding › Conference contribution › Academic › peer-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 - https://www.scopus.com/pages/publications/85056457098

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

T2 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, (ISoLA 2018)

Y2 - 5 November 2018 through 9 November 2018

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)). doi: 10.1007/978-3-030-03418-4_21

X-by-construction

Abstract

Publication series

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this