A Process Algebraic Approach to Software Architecture Design
71,39 €*
Nach dem Kauf zum Download bereit Ein Downloadlink ist wenige Minuten nach dem Kauf im eigenen Benutzerprofil verfügbar.
ISBN/EAN:
9781848002234
The design and the verification of modern software applications requires the analysis of several different aspects, such as software correctness, quality of service, and security, and of the possible inter-relations among them. Process algebraic architectural languages and the related analysis techniques provide a formal paradigm that allows for the modeling and analysis of such systems and of the related properties during the early stages of the design process. The book presents such a paradigm in a novel way that privileges the discussion of its foundational characteristics and then introduces a number of guidelines, integrated with ad-hoc methodologies and exemplifying case studies, to support the practical benefits of using such a paradigm. The book can be of help for both researchers and graduate students who intend to approach the process algebraic formal paradigm and for the practitioners who intend to apply the related approach to software design and verification.
Autor: | Alessandro Aldini, Marco Bernardo, Flavio Corradini |
---|---|
EAN: | 9781848002234 |
eBook Format: | |
Sprache: | Englisch |
Produktart: | eBook |
Veröffentlichungsdatum: | 27.11.2009 |
Kategorie: | |
Schlagworte: | B Component-Oriented Modelling Performance and Dependability Process Algebra Software Design and Verification Software Engineering Software Engineering/Programming and Operating Systems System Performance and Evaluation |
Anmelden
Möchten Sie lieber vor Ort einkaufen?
Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.
Buchhandlung Marabu
Telegrafenstr. 44
42929 Wermelskirchen
Telefon: 02196/1414
Mo – Fr09:00 – 18:00 UhrSa09:00 – 13:30 Uhr