Verification results for IT standards: FireWire, ISO 11073, ANSI/HL7, Fachbücher von Nicolae Goga

Das Fachbuch "Verification results for IT standards: FireWire, ISO 11073, ANSI/HL7" von VDM Verlag bietet eine umfassende Analyse der Verifizierung von Standards und Spezifikationen im Bereich der Informationstechnologie. Es beleuchtet einen weniger erforschten, jedoch entscheidenden Aspekt der Entwicklung von Standards und Spezifikationen. Die Monographie untersucht eingehend die Anwendung formaler Testmethoden zur Verifizierung dieser Standards und zeigt auf, wie diese Ansätze die Qualität von Computer-Netzwerken und elektronischer Gesundheitsversorgung verbessern können. Anhand von Beispielen wie dem FireWire-Standard, dem ISO/IEEE 1073-Standard für die Verbindung elektronischer medizinischer Geräte und dem Health Level 7-Standard für den Austausch von Gesundheitsdaten wird demonstriert, dass eine rigorose formale Verifizierung dazu beitragen kann, bisher unbekannte Mängel und Schwächen aufzudecken. Dieses Buch schliesst eine Lücke in der Forschung und Anwendung von Methoden zur Standardisierung und wird allen empfohlen, die in diesem Bereich Entwicklungsarbeiten durchführen.