The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 /

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 /

The Safety of Systems contains the invited papers presented at the fifteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2007. The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial experience and r...

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
Έκδοση: (2007)

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

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

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

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)

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers /
Έκδοση: (2013)

Autonomic Computing Principles, Design and Implementation /
ανά: Lalanda, Philippe, κ.ά.
Έκδοση: (2013)

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

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)

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

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers /
Έκδοση: (2013)

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