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