From software engineering to formal methods and tools, and back: essays dedicated to stefania gnesi on the occasion of her 65th birthday
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030309848
Date de publication :
14 sept. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering;