From software engineering to formal methods and tools, and back :: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday /: Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.).

Beek, Maurice H. ter,; Fantechi, Alessandro,; Semini, Laura,; Gnesi, Stefania,

doi:10.1007/978-3-030-30985-5

From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday / Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.).

Beek, Maurice H. ter, editor.; Fantechi, Alessandro, editor.; Semini, Laura, editor.; Gnesi, Stefania, 1954- honouree.

2019

QA76.758

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday / Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.).

ISBN

9783030309855 (electronic book)
3030309851 (electronic book)
9783030309848

DOI

https://doi.org/10.1007/978-3-030-30985-5

Published

Cham, Switzerland : Springer, 2019.

Language

English

Description

1 online resource (xiii, 574 pages) : illustrations.

Item Number

10.1007/978-3-030-30985-5 doi

Call Number

QA76.758

Dewey Decimal Classification

005.1

Summary

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. -- Provided by publisher.

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed October 15, 2019).

Added Author

Beek, Maurice H. ter, editor.
Fantechi, Alessandro, editor.
Semini, Laura, editor.
Gnesi, Stefania, 1954- honouree.

Series

Lecture notes in computer science ; 11865.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.

Linked Resources

Online Access