Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Pattern- and Component-based Development of Dependable Systems

39,95 €*

Versandkostenfrei

Produktnummer: 1889d03e3fe38b44fb868e76912f1f3d90
Autor: Hatebur, Denis
Themengebiete: Computerwissenschaft Informatik Software
Veröffentlichungsdatum: 02.08.2012
EAN: 9783868880496
Auflage: 1
Sprache: Englisch
Seitenzahl: 292
Produktart: Kartoniert / Broschiert
Verlag: Deutscher Wissenschaftsverlag
Produktinformationen "Pattern- and Component-based Development of Dependable Systems"
English summary: This book presents an engineering process for dependable systems using patterns and components. Dependable systems are systems with security and safety requirements addressing confidentiality, integrity, reliability and availability. The process covers requirements engineering, specification, architectural design, and testing. Within this process, methods for describing dependability requirements and identifying conflicting and missing requirements based on patterns and a pattern system are presented. In the book, rules for specifying the system to be build are developed and a step-by-step how an architecture of the dependable system can be derived is described. Moreover, a novel approach for automatic test case generation based on UML models of the environment is presented. The methods are integrated into a development process that is described by steps with detailed input, procedure and output. Additionally, validation conditions are described and formally expressed with OCL. The validation conditions check the consistency among the diagrams. The development process is supported by a UML profile that extends a UML tool. The engineering process steps are related to standards such as Common Criteria and IEC 61508.
Bücherregal gefüllt mit juristischen Werken

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen