The Role of Validation in Refinement-Based Formal Software Development

Pierre Jacquot; Atif Mashkoor

The Role of Validation in Refinement-Based Formal Software Development

Pierre Jacquot
, Atif Mashkoor

Institut für Software Systems Engineering

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

Originalsprache	Englisch
Titel	Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday
Herausgeber*innen	Atif Mashkoor and Qing Wang and Bernhard Thalheim
Verlag	College Publications
Seiten	202-219
Seitenumfang	18
Publikationsstatus	Veröffentlicht - 2018

Wissenschaftszweige

102 Informatik
102022 Softwareentwicklung

JKU-Schwerpunkte

Computation in Informatics and Mathematics
TNF Allgemein

Dieses zitieren

@inproceedings{29d1499463d94640bd56ca90e29ec448,

title = "The Role of Validation in Refinement-Based Formal Software Development",

author = "Pierre Jacquot and Atif Mashkoor",

year = "2018",

language = "English",

pages = "202--219",

editor = "\{Atif Mashkoor and Qing Wang and Bernhard Thalheim\}",

booktitle = "Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday",

publisher = "College Publications",

}

The Role of Validation in Refinement-Based Formal Software Development. / Jacquot, Pierre; Mashkoor, Atif.
Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. Hrsg. / Atif Mashkoor and Qing Wang and Bernhard Thalheim. College Publications, 2018. S. 202-219.

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

TY - GEN

T1 - The Role of Validation in Refinement-Based Formal Software Development

AU - Jacquot, Pierre

AU - Mashkoor, Atif

PY - 2018

Y1 - 2018

M3 - Conference proceedings

SP - 202

EP - 219

BT - Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday

A2 - Atif Mashkoor and Qing Wang and Bernhard Thalheim, null

PB - College Publications

ER -