Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 /

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 /

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005. The papers included in this volume bring together topics that are of the utmost importance in current safety think...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Redmill, Felix (Επιμελητής έκδοσης), Anderson, Tom (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London, 2005.
Θέματα:	Computer science. Computer system failures. Software engineering. Computer Science. Software Engineering. System Performance and Evaluation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

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

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

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

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

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

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

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

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

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)

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

Soft Errors in Modern Electronic Systems
Έκδοση: (2011)

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

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)

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

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

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

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

Analyzing Computer System Performance with Perl::PDQ
ανά: Gunther, Neil J.
Έκδοση: (2011)

Analyzing Computer System Performance with Perl::PDQ
ανά: Gunther, Neil J.
Έκδοση: (2005)

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

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

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

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

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

Tools for High Performance Computing 2014 Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany /
Έκδοση: (2015)

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

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /
Έκδοση: (2017)

Cloud Computing Principles, Systems and Applications /
Έκδοση: (2017)

Cloud Computing Principles, Systems and Applications /
Έκδοση: (2010)

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings /
Έκδοση: (2005)

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings /
Έκδοση: (2005)

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

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

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

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

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)

Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems /
Έκδοση: (2013)

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