Non-functional Specifications of Components and Systems - Tapa blanda

Zschaler, Steffen

 
9783639054026: Non-functional Specifications of Components and Systems
Tapa blanda
ISBN 10: 3639054024 ISBN 13: 9783639054026
Editorial: VDM Verlag Dr. Mueller e.K., 2008

Sinopsis

Component-Based Software Engineering is considered one solution for the problem of growing complexity and size of modern software systems. Applications are not built in a monolithic fashion from scratch, but are rather assembled from components; that is, pre-constructed units of software. The properties of such software components must be specified explicitly. This has been well understood for functional properties, but non-functional properties are still an area of ongoing research. In particular, generic approaches that use the same formalism for arbitrary non-functional properties and thus reduce the cognitive load for application developers are still not sufficiently understood. The book introduces a formal framework for a generic approach for specifying non-functional properties of component-based systems. The framework is then applied to defining the semantics of a specification language and to specifying analysis methods for specific non-functional properties. The book comes with an extensive appendix of a number of sample specifications for concrete properties and applications. It targets researchers and software engineers interested in CBSE and non-functional properties.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Component-Based Software Engineering is considered one solution for the problem of growing complexity and size of modern software systems. Applications are not built in a monolithic fashion from scratch, but are rather assembled from components; that is, pre-constructed units of software. The properties of such software components must be specified explicitly. This has been well understood for functional properties, but non-functional properties are still an area of ongoing research. In particular, generic approaches that use the same formalism for arbitrary non-functional properties and thus reduce the cognitive load for application developers are still not sufficiently understood. The book introduces a formal framework for a generic approach for specifying non-functional properties of component-based systems. The framework is then applied to defining the semantics of a specification language and to specifying analysis methods for specific non-functional properties. The book comes with an extensive appendix of a number of sample specifications for concrete properties and applications. It targets researchers and software engineers interested in CBSE and non-functional properties.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
VDM Verlag Dr. Mueller e.K.
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3639054024
ISBN 13 
9783639054026
Encuadernación
Tapa blanda
Número de páginas
280
Contacto del fabricante
no disponible
Persona responsable
Buchpark GmbH
gpsr@buchpark.de

Krügerweg 1
Trebbin
Brandenburg
14959
Alemania