Based on the Net.ObjectDays tradition of bringing together researchers from academia and industry on the one hand and system architects, developers, and users fromindustry andadministrationon the other hand, this year sconference took an international research perspective, so that we see the ?rst volume of Net.ObjectDays main conference proceedings published in the Springer Lecture Notes in Computer Science series. This volume consists of 16 papers carefully selected in a rigorous reviewing process by an international program committee; to provide a concise overview, these papers are brie?y...
Based on the Net.ObjectDays tradition of bringing together researchers from academia and industry on the one hand and system architects, developers, a...
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, held in Potsdam, Germany, in September 2004.
The 24 revised full papers presented together with abstracts of 3 invited presentations were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on safety cases, reliability, human factors, transportation, software development, fault tree analysis, formal methods and systems, security and quality of services, and hazard and risk analysis.
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, h...
Dieses Buch stellt den aktuellen Wissensstand uber die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitatssicherung nahezu luckenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansatze, Techniken zur Uberprufung objektorientierter und eingebetteter Software sowie Prufstrategien, Prufprozesse und Werkzeuge.
Das Buch richtet sich gleichermassen an Praktiker sowie an Informatik-Dozenten und -Studierende. Es kann von vorn nach hinten" gelesen werden oder als...
Dieses Buch stellt den aktuellen Wissensstand uber die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitatssicherun...
Rechenanlagen kommen inzwischen in nahezu allen Bereichen des tiiglichen Lebens zum Einsatz. Die Abhiingigkeiten vom zuverliissigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstiitzung nicht mehr arbeitsfllhig. Vor diesem Hintergrund gewinnt neben anderen QualitlitssicherungsmaBnahmen die Test- und Priifphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschlieBlich mit dem Test von Softwaresystemen besch iftigten, habe ich die...
Rechenanlagen kommen inzwischen in nahezu allen Bereichen des tiiglichen Lebens zum Einsatz. Die Abhiingigkeiten vom zuverliissigen Betrieb der Anlage...
