A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Εμφάνιση άλλων εκδόσεων (1)

Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but in reality they are deeply intertwined and should be part of an integrated view in order to successfully manage the increasing complexity of s...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Aldini, Alessandro (Συγγραφέας), Bernardo, Marco (Συγγραφέας), Corradini, Flavio (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London : Imprint: Springer, 2010.
Θέματα:	Computer science. Computer system failures. Software engineering. Computer Science. Software Engineering/Programming and Operating Systems. Software Engineering. System Performance and Evaluation.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

A Process Algebraic Approach to Software Architecture Design
ανά: Aldini, Alessandro
Έκδοση: (2010)

Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006 /
Έκδοση: (2006)

Model-Driven Dependability Assessment of Software Systems
ανά: Bernardi, Simona, κ.ά.
Έκδοση: (2013)

Model-Based Software Performance Analysis
ανά: Cortellessa, Vittorio, κ.ά.
Έκδοση: (2011)

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 /
Έκδοση: (2007)

Improvements in System Safety
Έκδοση: (2008)

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 /
Έκδοση: (2005)

Requirements Engineering and Management for Software Development Projects
ανά: Chemuturi, Murali
Έκδοση: (2013)

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings /
Έκδοση: (2005)

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers /
Έκδοση: (2006)

Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings /
Έκδοση: (2009)

Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009 /
Έκδοση: (2009)

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers /
Έκδοση: (2007)

Software Configuration Management Using Vesta
ανά: Heydon, Allan, κ.ά.
Έκδοση: (2006)

Learn Ionic 2 Develop Multi-platform Mobile Apps /
ανά: Justin, Joyce, κ.ά.
Έκδοση: (2017)

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings /
Έκδοση: (2017)

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers /
Έκδοση: (2012)

Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 /
Έκδοση: (2011)

Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 /
Έκδοση: (2010)

Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /
Έκδοση: (2012)

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
Έκδοση: (2009)

Combinatorial Testing in Cloud Computing
ανά: Tsai, Wei-Tek, κ.ά.
Έκδοση: (2017)

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /
Έκδοση: (2006)

Test and Analysis of Web Services
Έκδοση: (2007)

Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective /
ανά: Bermbach, David, κ.ά.
Έκδοση: (2017)

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications The CloudScale Method /
Έκδοση: (2017)

Internetware A New Software Paradigm for Internet Computing /
ανά: Mei, Hong, κ.ά.
Έκδοση: (2016)

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
Έκδοση: (2009)

Web Engineering
Έκδοση: (2006)

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models /
ανά: Debbabi, Mourad, κ.ά.
Έκδοση: (2010)

Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings /
Έκδοση: (2014)

Guide to Advanced Empirical Software Engineering
Έκδοση: (2008)

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services /
ανά: Gunther, Neil J.
Έκδοση: (2007)

Software Process Modeling
Έκδοση: (2005)

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /
Έκδοση: (2009)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
Έκδοση: (2005)

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings /
Έκδοση: (2008)

Introduction to Software Quality
ανά: O’Regan, Gerard
Έκδοση: (2014)

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
Έκδοση: (2008)

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
Έκδοση: (2009)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_et85oan2dj4hntkce0p4tpbked