Related Books

Aspect-Oriented Security Hardening of UML Design Models
Language: en
Pages: 247
Authors: Djedjiga Mouheb
Categories: Computers
Type: BOOK - Published: 2015-04-22 - Publisher: Springer

DOWNLOAD EBOOK

This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It co
New Trends in Software Methodologies, Tools and Techniques
Language: en
Pages: 640
Authors: Hamido Fujita
Categories: Computers
Type: BOOK - Published: 2009 - Publisher: IOS Press

DOWNLOAD EBOOK

"Papers presented at the Eighth International Conference on New Trends in Software Methodologies, Tools and Techniques, (SoMeT 09) held in Prague, Czech Republi
Graph Transformation, Specifications, and Nets
Language: en
Pages: 343
Authors: Reiko Heckel
Categories: Computers
Type: BOOK - Published: 2018-02-06 - Publisher: Springer

DOWNLOAD EBOOK

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from a symposiu
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 327
Authors: Marcello M. Bonsangue
Categories: Computers
Type: BOOK - Published: 2007-06-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOO
Managed Software Evolution
Language: en
Pages: 439
Authors: Ralf Reussner
Categories: Computers
Type: BOOK - Published: 2019-06-26 - Publisher: Springer

DOWNLOAD EBOOK

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the Germa