The Community for Technology Leaders
Green Image
Issue No. 04 - April (vol. 39)
ISSN: 0018-9162

Article Summaries (HTML)

pp. 4
Celebrating the Past

Coming of Age (Abstract)

David Alan Grier , The George Washington University
pp. 5-7

32 & 16 Years Ago (HTML)

pp. 8-9

News Briefs (HTML)

pp. 17-19
Cover Features

High-Confidence Medical Device Software and Systems (Abstract)

Insup Lee , University of Pennsylvania
George J. Pappas , University of Pennsylvania
Rance Cleaveland , University of Maryland
John Hatcliff , Kansas State University
Bruce H. Krogh , Carnegie Mellon University
Peter Lee , Carnegie Mellon University
Harvey Rubin , University of Pennsylvania
Lui Sha , University of Illinois at Urbana-Champaign
pp. 33-38

Coping with Defective Software in Medical Devices (Abstract)

Steven R. Rakitin , Software Quality Consulting Inc.
pp. 40-45

IGSTK: An Open Source Software Toolkit for Image-Guided Surgery (Abstract)

Kevin Gary , Arizona State University
Luis Ib?? , Kitware Inc.
Stephen Aylward , Kitware Inc.
David Gobbi , Atamai Inc.
M. Brian Blake , Georgetown University
Keven Cleary , Georgetown University
pp. 46-53

Ensuring Patient Safety in Wireless Medical Device Networks (Abstract)

Vijay Gehlot , Villanova University
Elliot B. Sloane , Villanova University
pp. 54-60

A Formal Methods Approach to Medical Device Review (Abstract)

Raoul Jetley , North Carolina State University
S. Purushothaman Iyer , North Carolina State University
Paul L. Jones , US Food and Drug Administration, Center for Devices and Radiological Health
pp. 61-67

Career Opportunities (PDF)

pp. 68-73
Membership News

Call and Calendar (HTML)

pp. 78-79

Products (HTML)

pp. 83

Bookshelf (HTML)

pp. 84
Entertainment Computing

User Interfaces for Mobile Content (Abstract)

S.R. Subramanya , LGE Mobile Research
Byung K. Yi , LG Electronics
pp. 85-87
How Things Work

Secure Sockets Layer (Abstract)

Alfred C. Weaver , University of Virginia
pp. 88-90

Toward Trustworthy Software Systems (Abstract)

Wilhelm Hasselbring , University of Oldenburg
Ralf Reussner , University of Karlsruhe
pp. 91-92
Software Technology

Verified Software: A Grand Challenge (Abstract)

Cliff Jones , University of Newcastle
Peter O'Hearn , University of London
Jim Woodcock , University of York
pp. 93-95
Invisible Computing

Interacting with Large Displays (Abstract)

Patrick Baudisch , Microsoft Research
pp. 96-97
The Profession

In Praise of Professional Precision (HTML)

Neville Holmes , University of Tasmania
pp. 100, 98-99
90 ms
(Ver 3.3 (11022016))