Specification and Analysis of Software Architectures - Couverture souple

Shi, Tianjun; He, Xudong

 
9783836428194: Specification and Analysis of Software Architectures
Couverture souple
ISBN 10 : 3836428199 ISBN 13 : 9783836428194
Editeur : VDM Verlag Dr. Mueller E.K., 2007

Synopsis

No Specification and Analysis of Software Architectures Read a customer review or write one .

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Revision with unchanged content. Due to the increasing complexity of software systems, it becomes extremely difficult to develop these systems and ensure their dependability. Software architectures, as the highest level abstraction of software systems, are critical and essential in the overall software development process. A software architecture description enables us to record crucial design decisions on important aspects of a system, and to analyze and detect costly design mistakes before the system is implemented and deployed. This study examines how software architectures can be modeled and specified in a rigorous and unambiguous way, and how the model can be analyzed using well established formal methods. This book studies both functional properties including safety and liveness as well as non-functional properties such as performance, reliability, and availability. This book also presents a framework to facilitate the modeling and analysis tasks. This book is addressed to researchers in software architecture and formal specification and analysis; as well as to software practitioners involved in software architecture design.

Biographie de l'auteur

Tianjun Shi received his Ph.D. in Computer Science from Florida International University (FIU) in 2006. He currently works at Microsoft. Xudong He received the Ph.D. degree in Computer Science from Virginia Tech in 1989. He is a professor of the School of Computing and Information Sciences at FIU.

Received the Ph.D. degree in Computer Science from Virginia Tech in 1989. He is a professor of the School of Computing and Information Sciences at FIU. His research interests include formal methods, especially Petri nets, and software testing techniques.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
VDM Verlag Dr. Mueller E.K.
Date d'édition
2007
Langue
anglais
ISBN 10 
3836428199
ISBN 13 
9783836428194
Reliure
Broché
Nombre de pages
124
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783639421217: Specification and Analysis of Software Architectures: Modeling of software architectures

Edition présentée

ISBN 10 :  3639421213 ISBN 13 :  9783639421217
Editeur : AV Akademikerverlag, 2012
Couverture souple