Validation-Driven Development

Sebastian Stock; Atif Mashkoor; Alexander Egyed

doi:10.1007/978-981-99-7584-6_12

Validation-Driven Development

Sebastian Stock
, Atif Mashkoor
, Alexander Egyed

Institut für Software Systems Engineering

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Abstract

Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying those specifications. Although equally important, validation of requirements specifications often takes the back seat. This paper introduces a validation-driven development (VDD) process that prioritizes validating requirements in formal development. The VDD process is built upon problem frames - a requirements analysis approach - and validation obligations (VOs) - the concept of breaking down the overall validation of a specification and linking it to refinement steps. The effectiveness of the VDD process is demonstrated through a case study in the aviation industry.

Originalsprache	Englisch
Titel	24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia
Herausgeber*innen	Yi Li, Sofiène Tahar
Seiten	191-207
Seitenumfang	17
DOIs	https://doi.org/10.1007/978-981-99-7584-6_12
Publikationsstatus	Veröffentlicht - 2023

Publikationsreihe

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band	14308 LNCS
ISSN (Print)	0302-9743
ISSN (elektronisch)	1611-3349

Wissenschaftszweige

102 Informatik
102022 Softwareentwicklung

JKU-Schwerpunkte

Digital Transformation

Zugriff auf Dokument

10.1007/978-981-99-7584-6_12

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Best Paper Award
Stock, S. (Empfänger*in), Mashkoor, A. (Empfänger*in) & Egyed, A. (Empfänger*in), 2023
Auszeichnung: Preis, Auszeichnung oder Ehrung

Datei

Dieses zitieren

Stock, S., Mashkoor, A., & Egyed, A. (2023). Validation-Driven Development. in Y. Li, & S. Tahar (Hrsg.), 24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia (S. 191-207). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14308 LNCS). https://doi.org/10.1007/978-981-99-7584-6_12

@inproceedings{302656dcf3194253ac1d2cddda1696a4,

title = "Validation-Driven Development",

abstract = "Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying those specifications. Although equally important, validation of requirements specifications often takes the back seat. This paper introduces a validation-driven development (VDD) process that prioritizes validating requirements in formal development. The VDD process is built upon problem frames - a requirements analysis approach - and validation obligations (VOs) - the concept of breaking down the overall validation of a specification and linking it to refinement steps. The effectiveness of the VDD process is demonstrated through a case study in the aviation industry.",

author = "Sebastian Stock and Atif Mashkoor and Alexander Egyed",

year = "2023",

doi = "10.1007/978-981-99-7584-6\_12",

language = "English",

isbn = "9789819975839",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "191--207",

editor = "Yi Li and Sofi{\`e}ne Tahar",

booktitle = "24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia",

}

Stock, S, Mashkoor, A & Egyed, A 2023, Validation-Driven Development. in Y Li & S Tahar (Hrsg.), 24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 14308 LNCS, S. 191-207. https://doi.org/10.1007/978-981-99-7584-6_12

Validation-Driven Development. / Stock, Sebastian; Mashkoor, Atif; Egyed, Alexander.
24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia. Hrsg. / Yi Li; Sofiène Tahar. 2023. S. 191-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14308 LNCS).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Validation-Driven Development

AU - Stock, Sebastian

AU - Mashkoor, Atif

AU - Egyed, Alexander

PY - 2023

Y1 - 2023

N2 - Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying those specifications. Although equally important, validation of requirements specifications often takes the back seat. This paper introduces a validation-driven development (VDD) process that prioritizes validating requirements in formal development. The VDD process is built upon problem frames - a requirements analysis approach - and validation obligations (VOs) - the concept of breaking down the overall validation of a specification and linking it to refinement steps. The effectiveness of the VDD process is demonstrated through a case study in the aviation industry.

AB - Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying those specifications. Although equally important, validation of requirements specifications often takes the back seat. This paper introduces a validation-driven development (VDD) process that prioritizes validating requirements in formal development. The VDD process is built upon problem frames - a requirements analysis approach - and validation obligations (VOs) - the concept of breaking down the overall validation of a specification and linking it to refinement steps. The effectiveness of the VDD process is demonstrated through a case study in the aviation industry.

UR - https://www.scopus.com/pages/publications/85177168357

U2 - 10.1007/978-981-99-7584-6_12

DO - 10.1007/978-981-99-7584-6_12

M3 - Conference proceedings

SN - 9789819975839

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

SP - 191

EP - 207

BT - 24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia

A2 - Li, Yi

A2 - Tahar, Sofiène

ER -

Validation-Driven Development

Abstract

Publikationsreihe

Wissenschaftszweige

JKU-Schwerpunkte

Zugriff auf Dokument

Andere Dateien und Links

Auszeichnungen

Best Paper Award

Dieses zitieren