From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back

From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

    • $39.99
    • $39.99

Publisher Description

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,


The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. 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; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.

GENRE
Computers & Internet
RELEASED
2019
October 8
LANGUAGE
EN
English
LENGTH
587
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
43.6
MB

More Books Like This

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2018
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
2020
Software Engineering and Formal Methods Software Engineering and Formal Methods
2017
Software Engineering and Formal Methods Software Engineering and Formal Methods
2015
Software Engineering and Formal Methods Software Engineering and Formal Methods
2014

More Books by Maurice H. ter Beek, Alessandro Fantechi & Laura Semini

Coordination Models and Languages Coordination Models and Languages
2022
Integrated Formal Methods Integrated Formal Methods
2022
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2020
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
2016
Architecting Dependable Systems VI Architecting Dependable Systems VI
2009