Related Books

Software Engineering for Collective Autonomic Systems
Language: en
Pages: 535
Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 2015-03-03 - Publisher: Springer

DOWNLOAD EBOOK

A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and inc
Software Engineering for Collective Autonomic Systems
Language: en
Pages:
Authors: Martin Wirsing
Categories:
Type: BOOK - Published: 2015 - Publisher:

DOWNLOAD EBOOK

A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and inc
Autonomic Computing
Language: en
Pages: 298
Authors: Philippe Lalanda
Categories: Computers
Type: BOOK - Published: 2013-05-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This textbook provides a practical perspective on autonomic computing. Through the combined use of examples and hands-on projects, the book enables the reader t
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Language: en
Pages: 556
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2020-10-26 - Publisher: Springer Nature

DOWNLOAD EBOOK

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, IS
From Software Engineering to Formal Methods and Tools, and Back
Language: en
Pages: 574
Authors: Maurice H. ter Beek
Categories: Computers
Type: BOOK - Published: 2019-10-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

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