SpecifyThis – Bridging Gaps Between Program Specification Paradigms

Wolfgang Ahrendt; Paula Herber; Marieke Huisman; Mattias Ulbrich

doi:10.1007/978-3-031-19849-6_1

SpecifyThis – Bridging Gaps Between Program Specification Paradigms

Wolfgang Ahrendt^*, Paula Herber, Marieke Huisman, Mattias Ulbrich

^*Corresponding author for this work

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

2 Citations (Scopus)

85 Downloads (Pure)

Abstract

We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer
Pages	3-6
Number of pages	4
ISBN (Print)	9783031198489
DOIs	https://doi.org/10.1007/978-3-031-19849-6_1
Publication status	Published - 17 Oct 2022
Event	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022 Conference number: 11

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	13701
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Abbreviated title	ISoLA 2022
Country/Territory	Greece
City	Rhodes
Period	22/10/22 → 30/10/22

Keywords

Formal methods
Specification
Verification
22/4 OA procedure

Access to Document

10.1007/978-3-031-19849-6_1

ArticleFinal published version, 131 KBLicence: Taverne

Cite this

Ahrendt, W., Herber, P., Huisman, M., & Ulbrich, M. (2022). SpecifyThis – Bridging Gaps Between Program Specification Paradigms. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 3-6). (Lecture Notes in Computer Science; Vol. 13701). Springer. https://doi.org/10.1007/978-3-031-19849-6_1

Ahrendt, Wolfgang ; Herber, Paula ; Huisman, Marieke et al. / SpecifyThis – Bridging Gaps Between Program Specification Paradigms. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer, 2022. pp. 3-6 (Lecture Notes in Computer Science).

@inproceedings{fbe1cae591f44592880a0c4ef5b85b93,

title = "SpecifyThis – Bridging Gaps Between Program Specification Paradigms",

abstract = "We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022.",

keywords = "Formal methods, Specification, Verification, 22/4 OA procedure",

author = "Wolfgang Ahrendt and Paula Herber and Marieke Huisman and Mattias Ulbrich",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

year = "2022",

month = oct,

day = "17",

doi = "10.1007/978-3-031-19849-6_1",

language = "English",

isbn = "9783031198489",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "3--6",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings",

address = "Germany",

}

Ahrendt, W, Herber, P, Huisman, M & Ulbrich, M 2022, SpecifyThis – Bridging Gaps Between Program Specification Paradigms. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Lecture Notes in Computer Science, vol. 13701, Springer, pp. 3-6, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 22/10/22. https://doi.org/10.1007/978-3-031-19849-6_1

SpecifyThis – Bridging Gaps Between Program Specification Paradigms. / Ahrendt, Wolfgang; Herber, Paula; Huisman, Marieke et al.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2022. p. 3-6 (Lecture Notes in Computer Science; Vol. 13701).

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

TY - GEN

T1 - SpecifyThis – Bridging Gaps Between Program Specification Paradigms

AU - Ahrendt, Wolfgang

AU - Herber, Paula

AU - Huisman, Marieke

AU - Ulbrich, Mattias

N1 - Conference code: 11

PY - 2022/10/17

Y1 - 2022/10/17

N2 - We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022.

AB - We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022.

KW - Formal methods

KW - Specification

KW - Verification

KW - 22/4 OA procedure

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

U2 - 10.1007/978-3-031-19849-6_1

DO - 10.1007/978-3-031-19849-6_1

M3 - Conference contribution

AN - SCOPUS:85142754305

SN - 9783031198489

T3 - Lecture Notes in Computer Science

SP - 3

EP - 6

BT - Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

Y2 - 22 October 2022 through 30 October 2022

ER -

Ahrendt W, Herber P, Huisman M, Ulbrich M. SpecifyThis – Bridging Gaps Between Program Specification Paradigms. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Springer. 2022. p. 3-6. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-19849-6_1

SpecifyThis – Bridging Gaps Between Program Specification Paradigms

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this