Synopsis
No Specification and Analysis of Software Architectures Read a customer review or write one .
"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.
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.
"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
VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199
ISBN 13: 9783836428194
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5469724-n
Seller Image
Specification and Analysis of Software Architectures (Paperback or Softback)
Published by
VDM Verlag Dr. Mueller E.K. 12/18/2007, 2007
ISBN 10: 3836428199
ISBN 13: 9783836428194
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Specification and Analysis of Software Architectures. Book. Seller Inventory # BBS-9783836428194
Stock Image
Specification and Analysis of Software Architectures
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783836428194
Stock Image
Specification and Analysis of Software Architectures
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783836428194
Buy New
£ 41.56
£ 4.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Specification and Analysis of Software Architectures
Published by
VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199
ISBN 13: 9783836428194
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783836428194_new
Buy New
£ 39.71
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Specification and Analysis of Software Architectures
Published by
VDM Verlag Dr. Mueller e.K. 2007-12-18, 2007
ISBN 10: 3836428199
ISBN 13: 9783836428194
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783836428194
Buy New
£ 37.58
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Specification and Analysis of Software Architectures
Published by
VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199
ISBN 13: 9783836428194
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5469724-n
Buy New
£ 39.70
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Specification and Analysis of Software Architectures
Published by
VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199
ISBN 13: 9783836428194
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 598300481
Buy New
£ 46.97
£ 42.45 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
VDM Verlag Dr. Mueller E.K. Dez 2007, 2007
ISBN 10: 3836428199
ISBN 13: 9783836428194
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - 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 # 9783836428194
Seller Image
Specification and Analysis of Software Architectures
Published by
VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199
ISBN 13: 9783836428194
Used
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5469724
Buy Used
£ 103.99
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available