Journal: IEEE Software

Volume 11, Issue 1

4 -- 5Carl K. Chang. Changing Face of Software Engineering
6 -- 0. Mailbox
12 -- 0Mark J. Christensen. Would You Do This to Your Customer?
16 -- 20John C. Knight, Bev Littlewood. Guest Editors Introduction: Critical Task of Writing Dependable Software
21 -- 28Susan L. Gerhart, Dan Craigen, Ted Ralston. Experience with Formal Methods in Critical Systems
30 -- 0Susan L. Gerhart, Dan Craigen, Ted Ralston. Case Study: Darlington Nuclear Generating Station
41 -- 50Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott. Retrofitting Software Safety in an Implantable Medical Device
51 -- 60Lloyd G. Williams. Assessment of Safety-Critical Specifications
61 -- 67Wolfgang A. Halang, Bernd J. Krämer. Safety Assurance in Process Control
69 -- 76Pierre E. Sorel, Mariano G. Fernandez, Sumit Ghosh. A Dynamic Debugger for Asynchronous Distributed Algorithms
77 -- 85Chih-Ping Chu, Doris L. Carver. Parallelizing Subroutines in Sequential Programs
89 -- 91Kate Ehrlich, Mary Beth Butler, Kara Pernice. Getting the Whole Team into Usability Testing
92 -- 0Edward H. Bersoff. Anatomy of a Software Start-Up
96 -- 97George B. Trubow. Confronting Sleaze on the Superhighway
98 -- 100François Coallier. How ISO 9001 Fits Into the Software World
116 -- 0. Bookshelf
123 -- 126Sandra Giger Yin. Toolbox
127 -- 128Sorel Reisman. Multimedia Stars at a Slightly Calmer Comdex