Volume 11,
Number 1,
January 1994
From the Editor
Mailbox
Insider
Theme Articles
- John C. Knight, Bev Littlewood:
Guest Editors' Introduction: Critical Task of Writing Dependable Software.
16-20
Electronic Edition (IEEE Computer Society DL) BibTeX
- Susan L. Gerhart, Dan Craigen, Ted Ralston:
Experience with Formal Methods in Critical Systems.
21-28
Electronic Edition (IEEE Computer Society DL) BibTeX
- Susan L. Gerhart, Dan Craigen, Ted Ralston:
Case Study: Darlington Nuclear Generating Station.
30-39, 28
Electronic Edition (IEEE Computer Society DL) BibTeX
- Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott:
Retrofitting Software Safety in an Implantable Medical Device.
41-50
Electronic Edition (IEEE Computer Society DL) BibTeX
- Lloyd G. Williams:
Assessment of Safety-Critical Specifications.
51-60
Electronic Edition (IEEE Computer Society DL) BibTeX
- Wolfgang A. Halang, Bernd J. Krämer:
Safety Assurance in Process Control.
61-67
Electronic Edition (IEEE Computer Society DL) BibTeX
Special Features
Interface
Manager
Law Review
Quality Time
In the News
Proceedings
Bookshelf
Toolbox
End User
Volume 11,
Number 2,
March 1994
From the Editor
Mailbox
Insider
Theme Articles
- Alan M. Davis, Pei Hsia:
Guest Editors' Introduction: Giving Voice to Requirements Engineering.
12-16
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jawed I. A. Siddiqi:
Challenging Universal Truths of Requirements Engineering.
18-19
Electronic Edition (IEEE Computer Society DL) BibTeX
- Colin Potts, Kenji Takahashi, Annie I. Antón:
Inquiry-Based Requirements Analysis.
21-32
Electronic Edition (IEEE Computer Society DL) BibTeX
- Pei Hsia, Jayarajan Samuel, Jerry Gao, David Chenho Kung, Yasufumi Toyoshima, Cris Chen:
Formal Approach to Scenario Analysis.
33-41
Electronic Edition (IEEE Computer Society DL) BibTeX
- Odd Ivar Lindland, Guttorm Sindre, Arne Sølvberg:
Understanding Quality in Conceptual Modeling.
42-49
Electronic Edition (IEEE Computer Society DL) BibTeX
Special Features
Interface
Manager
Law Review
Quality Time
In the News
Proceedings
Bookshelf
Toolbox
End User
Volume 11,
Number 3,
May 1994
Mailbox
Theme Articles
- Clement T. Yu, Weiyi Meng:
Confronting Database Complexities.
6-10
Electronic Edition (IEEE Computer Society DL) BibTeX
- Clement T. Yu, Weiyi Meng:
Progress in Database Search Strategies.
11-19
Electronic Edition (IEEE Computer Society DL) BibTeX
- Andreas Meier, Rolf Dippold, Jacky Mercerat, Alex Muriset, Jean-Claude Untersinger, Robert Eckerlin, Flavio Ferrara:
Hierarchical to Relational Database Migration.
21-27
Electronic Edition (IEEE Computer Society DL) BibTeX
- Michael R. Blaha, William J. Premerlani, Hwa Shen:
Converting OO Models Into RDBMS Schema.
28-39
Electronic Edition (IEEE Computer Society DL) BibTeX
- Oscar Díaz, Norman W. Paton:
Extending ODBMSs Using Metaclasses.
40-47
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jason Gait:
Optimizing Unix Database File Operations.
48-56
Electronic Edition (IEEE Computer Society DL) BibTeX
Special Features
Interface
Manager
Law Review
Quality Time
In the News
Proceedings
Bookshelf
Toolbox
End User
Volume 11,
Number 4,
July 1994
Mailbox
Insider
Theme Articles
- Shari Lawrence Pfleeger, H. Dieter Rombach:
Measurement Based Process Improvement.
8-11
Electronic Edition (IEEE Computer Society DL) BibTeX
- Martyn Thomas, Frank E. McGarry:
Top-Down vs. Bottom-Up Process Improvement.
12-13
Electronic Edition (IEEE Computer Society DL) BibTeX
- Michael Daskalantonakis:
Achieving Higher SEI Levels.
17-24
Electronic Edition (IEEE Computer Society DL) BibTeX
- Volkmar H. Haase, Günter R. Koch, Hans-Jürgen Kugler, Paul Decrinis:
Bootstrap: Fine-Tuning Process Assessment.
25-35
Electronic Edition (IEEE Computer Society DL) BibTeX
- Dewayne E. Perry, Nancy A. Staudenmayer, Lawrence G. Votta:
People, Organizations, and Process Improvement.
36-45
Electronic Edition (IEEE Computer Society DL) BibTeX
- Robert B. Grady, Tom Van Slack:
Key Lessons in Achieving Widespread Inspection Use.
46-57
Electronic Edition (IEEE Computer Society DL) BibTeX
- Victor R. Basili, Scott Green:
Software Process Evolution at the SEL.
58-66
Electronic Edition (IEEE Computer Society DL) BibTeX
- Joel E. Henry, Sallie M. Henry, Dennis G. Kafura, Lance Matheson:
Improving Software Maintenance at Martin Marietta.
67-75
Electronic Edition (IEEE Computer Society DL) BibTeX
- Giuseppe Visaggio:
Process Improvement Through Data Reuse.
76-85
Electronic Edition (IEEE Computer Society DL) BibTeX
Special Feature
Interface
Manager
Law Review
Quality Time
In the News
Proceedings
Bookshelf
Toolbox
End User
Volume 11,
Number 5,
September 1994
Editor's Message
Mailbox
Insider
Theme Articles
- William B. Frakes, Sadahiro Isoda:
Success Factors of Systematic Reuse.
14-19
Electronic Edition (IEEE Computer Society DL) BibTeX
- Wayne C. Lim:
Effects of Reuse on Quality, Productivity, and Economics.
23-30
Electronic Edition (IEEE Computer Society DL) BibTeX
- Danielle Fafchamps:
Organizational Factors and Reuse.
31-41
Electronic Edition (IEEE Computer Society DL) BibTeX
- Rebecca Joos:
Software Reuse at Motorola.
42-47
Electronic Edition (IEEE Computer Society DL) BibTeX
- Scott Henninger:
Using Iterative Refinement to Find Reusable Software.
48-59
Electronic Edition (IEEE Computer Society DL) BibTeX
- Werner Staringer:
Constructing Applications from Reusable Components.
61-68
Electronic Edition (IEEE Computer Society DL) BibTeX
- James P. O'Connor, Catharine Mansour, Jerri Turner-Harris, Grady H. Campbell Jr.:
Reuse in Command-and-Control Systems.
70-79
Electronic Edition (IEEE Computer Society DL) BibTeX
- Bruce W. Weide, William F. Ogden, Murali Sitaraman:
Recasting Algorithms to Encourage Reuse.
80-88
Electronic Edition (IEEE Computer Society DL) BibTeX
- Don S. Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart J. Geraci, Marty Sirkin:
The GenVoca Model of Software-System Generators.
89-94
Electronic Edition (IEEE Computer Society DL) BibTeX
- Ernesto Guerrieri:
Case Study: Digital's Application Generator.
95-96
Electronic Edition (IEEE Computer Society DL) BibTeX
Special Feature
Interface
Manager
Law Review
Quality Time
In the News
Proceedings
Bookshelf
Toolbox
End User
Volume 11,
Number 6,
November 1994
From the Editor
Mailbox
Theme Articles
Special Features
Interface
Manager
Law Review
Quality Time
In the News
Proceedings
Bookshelf
Toolbox
End User
Copyright © Sun May 17 00:22:16 2009
by Michael Ley (ley@uni-trier.de)
