Non-functional Specifications of Components and Systems: A Generic Semantic Framework and Its Applications - Softcover

Zschaler, Steffen

Softcover

ISBN 10: 3639054024 ISBN 13: 9783639054026

Publisher: VDM Verlag, 2008

Synopsis

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.

About this title

About the Author

Dr. Steffen Zschaler received his Diploma in Computer Science from Technische Universitżt Dresden in Germany in 2002 and his Doctorate in 2007. He has been a researcher with Technische Universitżt Dresden since 2002. His interests are in Software Engineering, esp. in modularisation, modelling, and non-functional properties.Title

Edition details

• Publisher: VDM Verlag
• Publication date: 2008
• Language: English
• ISBN 10: 3639054024
• ISBN 13: 9783639054026
• Binding: Paperback
• Number of pages: 280