Noch Fragen? 0800 / 33 82 637

From Software Engineering to Formal Methods and Tools, and Back

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

Produktform: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-3-030-30984-8 / 978-3030309848 / 9783030309848

Verlag: Springer International Publishing

Erscheinungsdatum: 14.09.2019

Seiten: 574

Auflage: 1

Herausgegeben von Alessandro Fantechi, Maurice H. ter Beek, Laura Semini

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück