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

Institute of Software Systems Engineering

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

Original language	English
Title of host publication	Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday
Editors	Atif Mashkoor and Qing Wang and Bernhard Thalheim
Publisher	College Publications
Pages	202-219
Number of pages	18
Publication status	Published - 2018

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Cite this

@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. ed. / Atif Mashkoor and Qing Wang and Bernhard Thalheim. College Publications, 2018. p. 202-219.

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

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 -