Specification and Analysis of Software Architectures: Modeling of software architectures - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Specification and Analysis of Software Architectures:...
Seller Image
Specification and Analysis of Software Architectures
Published by
AV Akademikerverlag Jun 2012, 2012
ISBN 10: 3639421213
ISBN 13: 9783639421217
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 124 pp. Englisch. Seller Inventory # 9783639421217
Seller Image
Specification and Analysis of Software Architectures
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Shi TianjunTianjun 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. H. Seller Inventory # 4986336
Buy New
£ 34.99
£ 42.41 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Specification and Analysis of Software Architectures
Published by
AV Akademikerverlag Jun 2012, 2012
ISBN 10: 3639421213
ISBN 13: 9783639421217
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 124 pp. Englisch. Seller Inventory # 9783639421217
Seller Image
Specification and Analysis of Software Architectures : Modeling of software architectures
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783639421217
Seller Image
Specification and Analysis of Software Architectures | Modeling of software architectures
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Specification and Analysis of Software Architectures | Modeling of software architectures | Tianjun Shi (u. a.) | Taschenbuch | 124 S. | Englisch | 2012 | AV Akademikerverlag | EAN 9783639421217 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Seller Inventory # 106428735