From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /

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 sectio...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: ter Beek, Maurice H. (Editor, http://id.loc.gov/vocabulary/relators/edt), Fantechi, Alessandro (Editor, http://id.loc.gov/vocabulary/relators/edt), Semini, Laura (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Theoretical Computer Science and General Issues ; 11865
Subjects:
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Software Engineering
  • Formal Methods and Tools
  • Requirements Engineering
  • Natural Language Processing
  • Software Product Lines
  • Formal Verification
  • Applications.