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