|  |
| |
| Artikel-Nr.:
5667A-9783030309848 Herst.-Nr.:
9783030309848 EAN/GTIN:
9783030309848 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Maurice H. ter Beek; Alessandro Fantechi; Laura Semini | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, artificial intelligence, computer architecture, formal logic, formal methods, formal model, formal verification, model checking, natural language processing, programming languages, requirements engineering, semantics |
| | |
| |