This product is currently not available for purchase.


Verification results for IT standards: FireWire, ISO 11073, ANSI/HL7. Edition No. 1

  • ID: 1905680
  • November 2008
  • 200 Pages
  • VDM Publishing House
1 of 3

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
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.

Note: Product cover images may vary from those shown
2 of 3

Nicolae, Goga.
Nicolae Goga; Researcher, Univ. of Groningen, the Netherlands; 2
doctorates; Honorary President HL7 Romania; Active in ISO/IEEE
11073, ANSI/HL7, IEEE 1394.1 standards|

Klaus Veil; Research Fellow University of Ballarat; Lectured
Sydney Univ. and LaTrobe Univ.; Manager Health IT Consultancy
Sydney; Chairman HL7 Australia; Member board HL7 USA

Note: Product cover images may vary from those shown
3 of 3
Note: Product cover images may vary from those shown



Our Clients

  • Intel Corporation
  • Autodesk, Inc.
  • Hewlett-Packard Company
  • Ahlstrom Corporation
  • 3M Company
  • SAP SE
  • Samsung Electronics Co., Ltd.