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

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

News Briefs (HTML)

pp. 17-19
Perspectives
Cover Features

High-Confidence Medical Device Software and Systems (Abstract)

Bruce H. Krogh , Carnegie Mellon University
Insup Lee , University of Pennsylvania
Harvey Rubin , University of Pennsylvania
Rance Cleaveland , University of Maryland
George J. Pappas , University of Pennsylvania
John Hatcliff , Kansas State University
Peter Lee , Carnegie Mellon University
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
David Gobbi , Atamai Inc.
M. Brian Blake , Georgetown University
Keven Cleary , Georgetown University
Luis Ib?? , Kitware Inc.
Stephen Aylward , Kitware Inc.
pp. 46-53

Ensuring Patient Safety in Wireless Medical Device Networks (Abstract)

Elliot B. Sloane , Villanova University
Vijay Gehlot , 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
Departments

Career Opportunities (PDF)

pp. 68-73
Membership News

Call and Calendar (HTML)

pp. 78-79
Departments

Products (HTML)

pp. 83

Bookshelf (HTML)

pp. 84
Entertainment Computing

User Interfaces for Mobile Content (Abstract)

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

Secure Sockets Layer (Abstract)

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

Toward Trustworthy Software Systems (Abstract)

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

Verified Software: A Grand Challenge (Abstract)

Jim Woodcock , University of York
Cliff Jones , University of Newcastle
Peter O'Hearn , University of London
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
96 ms
(Ver 3.1 (10032016))