Bøger af Peter Liggesmeyer
-
- 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27-30, 2004 Proceedings
483,95 kr. - Bog
- 483,95 kr.
-
- 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings
562,95 kr. Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.
- Bog
- 562,95 kr.
-
- Testen, Analysieren und Verifizieren von Software
1.463,95 kr. 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 gleichermaen an Praktiker sowie an Informatik-Dozenten und -Studierende. Es kann von vorn nach hinten"e; gelesen werden oder als Nachschlagewerk dienen. Jedes Kapitel ist ein allein verstndliches kleines Buch fr sich"e;. Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schliet mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt. Die 2. Auflage ist vollstndig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.
- Bog
- 1.463,95 kr.