Andere Kunden interessierten sich auch für
![Adopting ISO 17799 Information Security FrameWork]( "Adopting ISO 17799 Information Security FrameWork")
Adopting ISO 17799 Information Security FrameWork32,99 €![ANSI escape code]( "ANSI escape code")
ANSI escape code22,99 €![Interoperability of Health Systems. HL7 Compliant Implementation Model]( "Interoperability of Health Systems. HL7 Compliant Implementation Model")
Interoperability of Health Systems. HL7 Compliant Implementation Model38,99 €![Determinants in the Acceptance of HL7 V3 Messaging Standard]( "Determinants in the Acceptance of HL7 V3 Messaging Standard")
Determinants in the Acceptance of HL7 V3 Messaging Standard29,99 €![Beginning C]( "Beginning C")
Beginning C50,99 €![Technology and platform to manage rights and value of digital media]( "Technology and platform to manage rights and value of digital media")
Technology and platform to manage rights and value of digital media51,99 €![ISO 27001:2022 Implementation Guide]( "ISO 27001:2022 Implementation Guide")
ISO 27001:2022 Implementation Guide57,99 €
This monograph on the verification of standards and
specifications applied in information technology
covers a lesser-researched but vital aspect of
standards and specification development
methodologies.
The book has undertaken a thorough review and study
of the application of formal testing methodologies to
the verification of standards and specifications and
describes in detail how these approaches can improved
the quality of computer networking and electronic
healthcare. Using the ubiquitous "FireWire" computer
device networking standard, the ISO/IEEE 1073
standard for connecting electronic medical devices
and the popular "Health Level 7" healthcare data
exchange standard as examples, the book demonstrates
that rigorous formal verification of the standards
and specifications can uncover previously unknown
flaws and shortcomings, so enabling improvements in
computer networking and medical care. This book fills
a gap in the research and application of standards
and specifications methods and is recommended to
anyone undertaking development work in this area.
specifications applied in information technology
covers a lesser-researched but vital aspect of
standards and specification development
methodologies.
The book has undertaken a thorough review and study
of the application of formal testing methodologies to
the verification of standards and specifications and
describes in detail how these approaches can improved
the quality of computer networking and electronic
healthcare. Using the ubiquitous "FireWire" computer
device networking standard, the ISO/IEEE 1073
standard for connecting electronic medical devices
and the popular "Health Level 7" healthcare data
exchange standard as examples, the book demonstrates
that rigorous formal verification of the standards
and specifications can uncover previously unknown
flaws and shortcomings, so enabling improvements in
computer networking and medical care. This book fills
a gap in the research and application of standards
and specifications methods and is recommended to
anyone undertaking development work in this area.