Journal: IEEE Computer

Volume 39, Issue 4

4 -- 0. Article Summaries
5 -- 7David Alan Grier. Coming of Age
8 -- 9. 32 & 16 Years Ago
10 -- 12David Greer. Digital Music Faces Incompatible Formats
13 -- 16Linda Dailey Paulson. TV Comes to the Mobile Phone
17 -- 19Linda Dailey Paulson. News Briefs
20 -- 24Bertrand Meyer. Testable, Reusable Units of Cognition
26 -- 32Richard A. Schrenker. Software Engineering for Future Healthcare and Clinical Systems
33 -- 38Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha. High-Confidence Medical Device Software and Systems
40 -- 45Steven R. Rakitin. Coping with Defective Software in Medical Devices
46 -- 53Kevin Gary, Luis Ibáñez, Stephen R. Aylward, David Gobbi, M. Brian Blake, Kevin Cleary. IGSTK: An Open Source Software Toolkit for Image-Guided Surgery
54 -- 60Vijay Gehlot, Elliot B. Sloane. Ensuring Patient Safety in Wireless Medical Device Networks
61 -- 67Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones. A Formal Methods Approach to Medical Device Review
68 -- 73. Career Opportunities
75 -- 77Bob Ward. Computer Society Seeks Nominations for Technology of the Decade Award
84 -- 0. Bookshelf
85 -- 87S. R. Subramanya, Byung K. Yi. User Interfaces for Mobile Content
88 -- 90Alfred C. Weaver. Secure Sockets Layer
91 -- 92Wilhelm Hasselbring, Ralf Reussner. Toward Trustworthy Software Systems
93 -- 95Cliff B. Jones, Peter W. O Hearn, Jim Woodcock. Verified Software: A Grand Challenge
96 -- 97Patrick Baudisch. Interacting with Large Displays
98 -- 100W. Neville Holmes. In Praise of Professional Precision