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.
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.
Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually,...
The Integrated Circuit (IC) industry has gone without a standardized verification approach for decades. This book defines a uniform, standardizable methodology for verifying the logical behavior of...
Originally published in 1985, the level of anxiety and suspicion between the USA and the USSR had rarely been higher. Many advocates of arms control believed that effective verification would reduce...
Ever increasing silicon design complexity and transistor density, product differentiation and time to market are major factors creating huge pressure on complete design flow. This book covers...
Professional Verification is a guide to advanced functional verification in the nanometer era. It presents the best practices in functional verification used today and provides insights on ...
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Shop Trending Books and New Releases
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Shop Best Books By Collection
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.