Volume 12,
Number 1,
January 1986
- P. Allen Currit, Michael G. Dyer, Harlan D. Mills:
Certifying the Reliability of Software.
3-11
- Douglas R. Miller:
Exponential Order Statistic Models of Software Reliability Growth.
12-24
- F.-W. Scholz:
Software Reliability Modeling and Analysis.
25-31
- Ushio Sumita, Yasushi Masuda:
Analysis of Software Availability/Reliability Under the Influence of Hardware Failures.
32-41
- Viktor K. Prasanna, Salim Hariri, Cauligi S. Raghavendra:
Distributed Program Reliability Analysis.
42-50
- Herbert Hecht, Myron Hecht:
Software Reliability in the System Context.
51-58
- Pankaj Jalote, Roy H. Campbell:
Atomic Actions for Fault-Tolerance Using CSP.
59-68
- David J. Taylor:
Concurrency and Forward Recovery in Atomic Actions.
69-78
- Luigi V. Mancini:
Modular Redundancy in a Message Passing System.
79-86
- Shambhu J. Upadhyaya, Kewal K. Saluja:
A Wachtdog Processor Based General Rollback Technique with Multiple Retries.
87-95
- John C. Knight, Nancy G. Leveson:
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming.
96-109
- Janet R. Dunham:
Experiments in Software Reliability: Life-Critical Applications.
110-123
- Ian J. Hayes:
Specification Directed Module Testing.
124-133
- Hideaki Tsubotani, Noriaki Monden, Minoru Tanaka, Tadao Ichikawa:
A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs.
134-146
- Anthony I. Wasserman, Peter A. Pircher, David T. Shewmake:
Building Reliable Interactive Information Systems.
147-156
- Robert E. Strom, Shaula Yemini:
Typestate: A Programming Language Concept for Enhancing Software Reliability.
157-171
- Zavid L. Lichtman:
Generation and Consistency Checking of Design and Program Structures.
172-181
Volume 12,
Number 2,
February 1986
- G. D. Bergland, Pamela Zave:
Guest Editor's Prologue Special Issue on Software Design Methods.
185-191
- Harlan D. Mills, Richard C. Linger:
Data Structured Programming: Program Design without Arrays and Pointers.
192-197
- Paul T. Ward:
The Transformation Schema: An Extension of te Data Flow Diagram to Represent Control and Timing.
198-210
- Grady Booch:
Object-Oriented Development.
211-221
- John R. Cameron:
An Overview of JSD.
222-240
- Peter B. Henderson:
Functional Programming, Formal Specification, and Rapid Prototyping.
241-250
- David Lorge Parnas, Paul C. Clements:
A Rational Design Process: How and Why to Fake it.
251-257 ,
Correction:
IEEE Trans. Software Eng. 12(8): 874(1986)
- H. Jack Barnard, Robert F. Metz, Arthur L. Price:
A Recommended Practice for Describing Software Designs: IEEE Standards Project 1016.
258-263
- David N. Card, Victor E. Church, William W. Agresti:
An Empirical Study of Software Design Practices.
264-271
- Leon S. Levy:
A Metaprogramming Method and Its Economic Justification.
272-277
- George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle:
Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.
278-292
- Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, Mary K. Vernon:
SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems.
293-311
- Pamela Zave, William Schell:
Salient Features of an Executable Specification Language and Its Environment.
312-325
- Anthony I. Wasserman, Peter A. Pircher, David T. Shewmake, Martin L. Kersten:
Developing Interactive Information Systems with the User Software Engineering Methodology.
326-345
- Giorgio Bruno, Giuseppe Marchetto:
Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems.
346-357
- Jine S. Tseng, Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes:
Real-Time Software Life Cycle with the Model System.
358-373
Volume 12,
Number 3,
March 1986
Volume 12,
Number 4,
April 1986
- Gurdeep S. Hura, Harpreet Singh, N. K. Nanda:
Some Design Aspects of Databases Through Petri Net Modeling.
505-510
- Masahiro Tsuchiya, Michael P. Mariani, James D. Brom:
Distributed Database Management Model and Validation.
511-520
- Anna Hac:
A Decomposition Solution to a Queueing Network Model of a Distributed File System with Dynamic Locking.
521-530
- N. Natarajan:
A Distributed Scheme for Detecting Communication Deadlocks.
531-537
- Carlo Batini, Enrico Nardelli, Roberto Tamassia:
A Layout Algorithm for Data Flow Diagrams.
538-546
- Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini:
Development of a Debugger for a Concurrent Language.
547-553
- Lalit M. Patnaik, Kailasam Visvanathan Iyer:
Load-Leveling in Fault-Tolerant Distributed Computing Systems.
554-560
- Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta:
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking Phenomena.
561-576
- Bruce Hillyer, David Elliot Shaw, Anil Nigam:
NON-VON's Performance on Certain Database Benchmarks.
577-583
- Martin Trachtenberg:
Validating Halstead's Theory with System 3 Data.
584
- Myron Lipow:
Comments on "Estimating the Number of Faults in Code" and Two Corrections to Published Data.
584-585 ,
->IEEE Trans. Software Eng. 10(4): 459-465(1984)
Volume 12,
Number 5,
May 1986
- Daniel M. Yellin, Eva-Maria M. Mueckstein:
The Automatic Inversion of Attribute Grammars.
590-599
- T. V. Lakshman, Ashok K. Agrawala:
Efficient Decentralized Consensus Protocols.
600-607
- William E. Hall III, Stuart H. Zweben:
The Cloze Procedure and Software Comprehensibility Measurement.
608-623
- Tadao Ichikawa, Masahito Hirakawa:
ARES: A Relational Database with the Capability of Performing Flexible Interpretation of Queries.
624-634
- Krithi Ramamritham, David W. Stemple, David A. Briggs, Stephen Vinter:
Privilege Transfer and Revocation in a Port-Based System.
635-648
- Boumediene Belkhouche, Joseph E. Urban:
Direct Implementation of Abstract Data Types from Abstract Specifications.
649-661
- Derek L. Eager, Edward D. Lazowska, John Zahorjan:
Adaptive Load Sharing in Homogeneous Distributed Systems.
662-675
Volume 12,
Number 6,
June 1986
Volume 12,
Number 7,
July 1986
Volume 12,
Number 8,
August 1986
Volume 12,
Number 9,
September 1986
- Brent Auernheimer, Richard A. Kemmerer:
RT-ASLAN: A Specification Language for Real-Time Systems.
879-889
- Farnam Jahanian, Aloysius K. Mok:
Safety Analysis of Timing Properties in Real-Time Systems.
890-904
- Peter G. Neumann:
On Hierarchical Design of Computer Systems for Critical Applications.
905-920
- Andrew M. Tyrrell, David J. Holding:
Design of Reliable Software in Distributed Systems Using the Conversation Scheme.
921-928
- Peter G. Bishop, David G. Esp, Mel Barnes, Peter Humphreys, Gustav Dahll, Jaakko Lahti:
PODS - A Project on Diverse Software.
929-940
- Eugene Kligerman, Alexander D. Stoyenko:
Real-Time Euclid: A Language for Reliable Real-Time Systems.
941-949
- Abdallah A. Abdel-Ghaly, P. Y. Chan, Bev Littlewood:
Evaluation of Competing Software Reliability Predictions.
950-967
- Robert Troy, Yves Romain:
A Statistical Methodology for the Study of the Software Failure Process and Its Application to the ARGOS Center.
968-978
- Thomas Downs:
Extensions to an Approach to the Modeling of Software Testing with Some Performance Comparisons.
979-987
- Robin E. Bloomfield, Peter K. D. Froome:
The Application of Formal Methods to the Assessment of High Integrity Software.
988-993
Volume 12,
Number 10,
October 1986
Volume 12,
Number 11,
November 1986
Volume 12,
Number 12,
December 1986
Copyright © Fri Mar 12 17:34:07 2010
by Michael Ley (ley@uni-trier.de)
