Journal: IEEE Trans. Software Eng.

Volume 12, Issue 9

879 -- 889Brent Auernheimer, Richard A. Kemmerer. RT-ASLAN: A Specification Language for Real-Time Systems
890 -- 904Farnam Jahanian, Aloysius K. Mok. Safety Analysis of Timing Properties in Real-Time Systems
905 -- 920Peter G. Neumann. On Hierarchical Design of Computer Systems for Critical Applications
921 -- 928Andrew M. Tyrrell, David J. Holding. Design of Reliable Software in Distributed Systems Using the Conversation Scheme
929 -- 940Peter G. Bishop, David G. Esp, Mel Barnes, Peter Humphreys, Gustav Dahll, Jaakko Lahti. PODS - A Project on Diverse Software
941 -- 949Eugene Kligerman, Alexander D. Stoyenko. Real-Time Euclid: A Language for Reliable Real-Time Systems
950 -- 967Abdallah A. Abdel-Ghaly, P. Y. Chan 0002, Bev Littlewood. Evaluation of Competing Software Reliability Predictions
968 -- 978Robert Troy, Yves Romain. A Statistical Methodology for the Study of the Software Failure Process and Its Application to the ARGOS Center
979 -- 987Thomas Downs. Extensions to an Approach to the Modeling of Software Testing with Some Performance Comparisons
988 -- 993Robin E. Bloomfield, Peter K. D. Froome. The Application of Formal Methods to the Assessment of High Integrity Software

Volume 12, Issue 8

801 -- 810Tak-Sun Yuen, David Hung-Chang Du. Dynamic File Structure for Partial Match Retrieval Based on Overflow Bucket Sharing
811 -- 826Roy H. Campbell, Brian Randell. Error Recovery in Asynchronous Systems
827 -- 843Thomas P. Blumer, Deepinder P. Sidhu. Mechanical Verification and Automatic Implementation of Communication Protocols
844 -- 848C. Murray Woodside, Satish K. Tripathi. Optimal Allocation of File Servers in a Local Network Environment
849 -- 859Ellis Horowitz, Ronald Williamson. SODOS: A Software Documentation Support Environment - Its Definition
860 -- 865Branislav Meandzija. A Formal Method for Composing a Network Command Language
866 -- 874Robert P. Trueblood, A. Sengupta. Dynamic Analysis of the Effects Access Rule Modifications Have Upon Security
870 -- 874Kuo-Chung Tai, Alan L. Tharp. A Comparison of Computed Chaining to Predictors
874 -- 0David Lorge Parnas, Paul C. Clements. Correction to A Rational Design Process: How and Why to Fake It

Volume 12, Issue 7

726 -- 732Herbert A. Simon. Whether Software Engineering Needs to Be Artificially Intelligent
733 -- 743Victor R. Basili, Richard W. Selby, David H. Hutchens. Experimentation in Software Engineering
744 -- 751Michael E. Fagan. Advances in Software Inspections
752 -- 768Allen T. Goldberg. Knowledge-Based Programming: A Survey of Program Design and Construction Techniques
769 -- 783C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash. Programming in the Large
784 -- 798Herbert Weber, Hartmut Ehrig. Specification of Modular Systems

Volume 12, Issue 6

678 -- 683Domenico Ferrari. Considerations in the Insularity of Performance Evaluation
693 -- 704Edith W. Martin, Richard A. DeMillo. Operational Survivability in Gracefully Degrading Distributed Processing Systems
705 -- 712Robert F. Mathis. The Last 10 Percent
713 -- 721Stephen S. Yau, Jeffrey J. P. Tsai. A Survey of Software Design Techniques

Volume 12, Issue 5

590 -- 599Daniel M. Yellin, Eva-Maria M. Mueckstein. The Automatic Inversion of Attribute Grammars
600 -- 607T. V. Lakshman, Ashok K. Agrawala. Efficient Decentralized Consensus Protocols
608 -- 623William E. Hall III, Stuart H. Zweben. The Cloze Procedure and Software Comprehensibility Measurement
624 -- 634Tadao Ichikawa, Masahito Hirakawa. ARES: A Relational Database with the Capability of Performing Flexible Interpretation of Queries
635 -- 648Krithi Ramamritham, David W. Stemple, David A. Briggs, Stephen Vinter. Privilege Transfer and Revocation in a Port-Based System
649 -- 661Boumediene Belkhouche, Joseph E. Urban. Direct Implementation of Abstract Data Types from Abstract Specifications
662 -- 675Derek L. Eager, Edward D. Lazowska, John Zahorjan. Adaptive Load Sharing in Homogeneous Distributed Systems

Volume 12, Issue 4

505 -- 510Gurdeep S. Hura, Harpreet Singh, N. K. Nanda. Some Design Aspects of Databases Through Petri Net Modeling
511 -- 520Masahiro Tsuchiya, Michael P. Mariani, James D. Brom. Distributed Database Management Model and Validation
521 -- 530Anna Hac. A Decomposition Solution to a Queueing Network Model of a Distributed File System with Dynamic Locking
531 -- 537N. Natarajan. A Distributed Scheme for Detecting Communication Deadlocks
538 -- 546Carlo Batini, Enrico Nardelli, Roberto Tamassia. A Layout Algorithm for Data Flow Diagrams
547 -- 553Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini. Development of a Debugger for a Concurrent Language
554 -- 560Lalit M. Patnaik, Kailasam Visvanathan Iyer. Load-Leveling in Fault-Tolerant Distributed Computing Systems
561 -- 576Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta. Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking Phenomena
577 -- 583Bruce Hillyer, David Elliot Shaw, Anil Nigam. NON-VON s Performance on Certain Database Benchmarks
584 -- 0Martin Trachtenberg. Validating Halstead s Theory with System 3 Data
584 -- 585Myron Lipow. Comments on "Estimating the Number of Faults in Code" and Two Corrections to Published Data

Volume 12, Issue 3

377 -- 384Shmuel Rotenstreich, William E. Howden. Two-Dimensional Program Design
385 -- 401Karsten Schwan, Anita K. Jones. Flexible Software Development for Multiple Computer Systems
402 -- 416Franz-Josef Polster. Reuse of Software Through Generation of Partial Systems
417 -- 435Gary D. Kimura. A Structure Editor for Abstract Document Objects
436 -- 441Clement H. C. Leung. Dynamic Storage Fragmentation and File Deterioration
442 -- 449Abha Moitra, S. Sitharama Iyengar. Derivation of a Parallel Algorithm for Balancing Binary Trees
450 -- 461Harry G. Perros, Tayfur Altiok. Approximate Analysis of Open Networks of Queues with Blocking: Tandem Configurations
462 -- 476Mukul K. Sinha. Commutable Transactions and the Time_pad Synchronization Mechanism for Distributed Systems
477 -- 482Kenneth J. Perry, Sam Toueg. Distributed Agreement in the Presence of Processor and Communication Faults
483 -- 495Bipin Indurkhya, Harold S. Stone, Lu Xi-Cheng. Optimal Partitioning of Randomly Generated Distributed Programs
496 -- 499John E. Gaffney Jr.. The Impact on Software Development Costs of Using HOL s
500 -- 0Lionel M. Ni, Kai Hwang. Correction to Optimal Load Balancing in a Multiple Processor System with Many Job Classes

Volume 12, Issue 2

185 -- 191G. D. Bergland, Pamela Zave. Guest Editor s Prologue Special Issue on Software Design Methods
192 -- 197Harlan D. Mills, Richard C. Linger. Data Structured Programming: Program Design without Arrays and Pointers
198 -- 210Paul T. Ward. The Transformation Schema: An Extension of te Data Flow Diagram to Represent Control and Timing
211 -- 221Grady Booch. Object-Oriented Development
222 -- 240John R. Cameron. An Overview of JSD
241 -- 250Peter B. Henderson. Functional Programming, Formal Specification, and Rapid Prototyping
251 -- 257David Lorge Parnas, Paul C. Clements. A Rational Design Process: How and Why to Fake it
258 -- 263H. Jack Barnard, Robert F. Metz, Arthur L. Price. A Recommended Practice for Describing Software Designs: IEEE Standards Project 1016
264 -- 271David N. Card, Victor E. Church, William W. Agresti. An Empirical Study of Software Design Practices
272 -- 277Leon S. Levy. A Metaprogramming Method and Its Economic Justification
278 -- 292George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle. Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems
293 -- 311Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, Mary K. Vernon. SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems
312 -- 325Pamela Zave, William Schell. Salient Features of an Executable Specification Language and Its Environment
326 -- 345Anthony I. Wasserman, Peter A. Pircher, David T. Shewmake, Martin L. Kersten. Developing Interactive Information Systems with the User Software Engineering Methodology
346 -- 357Giorgio Bruno, Giuseppe Marchetto. Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems
358 -- 373Jine S. Tseng, Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes. Real-Time Software Life Cycle with the Model System

Volume 12, Issue 12

1106 -- 1116Sakti P. Ghosh. Statistical Relational Tables for Statistical Database Management
1117 -- 1127A. Nico Habermann, David Notkin. Gandalf: Software Development Environments
1128 -- 1138Elaine J. Weyuker. Axiomatizing Software Test Data Adequacy
1139 -- 1144Dennis W. Leinbaugh, Mohamad-Reza Yamini. Guaranteed Response Times in a Distributed Hard-Real-Time Environment
1145 -- 0Franz Stetter. Comments on Number of Faults per Line of Code

Volume 12, Issue 11

1049 -- 1055Hisao Kameda. The Gains from Computer Communication
1056 -- 1066David W. Stemple, Stephen Vinter, Krithi Ramamritham. Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers
1067 -- 1075Alan B. Sheltzer, Gerald J. Popek. Internet Locus: Extending Transparency to an Internet Environment
1076 -- 1087Ellis Horowitz, Ronald Williamson. SODOS: A Software Documentation Support Environment - Its Use
1088 -- 1095To-Yat Cheung. On the Projection Method for Protocol Verification
1096 -- 1101Sukhamay Kundu. The Call-Return Tree and Its Application to Program Performance Analysis

Volume 12, Issue 10

997 -- 1005William E. Howden. A Functional Approach to Program Testing and Analysis
1006 -- 1017Douglas W. Cornell, Daniel M. Dias, Philip S. Yu. On Multisystem Coupling Through Function Request Shipping
1018 -- 1024Donald F. Towsley. Allocating Programs Containing Branches and Loops Within a Multiple Processor System
1024 -- 1040Adrian E. Conway, Nicolas D. Georganas. Decomposition and Aggregation by Class in Closed Queueing Networks
1041 -- 1048C. Murray Woodside. Controllability of Computer Performance Tradeoffs Obtained Using Controlled-Share Queue Schedulers

Volume 12, Issue 1

3 -- 11P. Allen Currit, Michael G. Dyer, Harlan D. Mills. Certifying the Reliability of Software
12 -- 24Douglas R. Miller. Exponential Order Statistic Models of Software Reliability Growth
25 -- 31F.-W. Scholz. Software Reliability Modeling and Analysis
32 -- 41Ushio Sumita, Yasushi Masuda. Analysis of Software Availability/Reliability Under the Influence of Hardware Failures
42 -- 50Viktor K. Prasanna, Salim Hariri, Cauligi S. Raghavendra. Distributed Program Reliability Analysis
51 -- 58Herbert Hecht, Myron Hecht. Software Reliability in the System Context
59 -- 68Pankaj Jalote, Roy H. Campbell. Atomic Actions for Fault-Tolerance Using CSP
69 -- 78David J. Taylor. Concurrency and Forward Recovery in Atomic Actions
79 -- 86Luigi V. Mancini. Modular Redundancy in a Message Passing System
87 -- 95Shambhu J. Upadhyaya, Kewal K. Saluja. A Wachtdog Processor Based General Rollback Technique with Multiple Retries
96 -- 109John C. Knight, Nancy G. Leveson. An Experimental Evaluation of the Assumption of Independence in Multiversion Programming
110 -- 123Janet R. Dunham. Experiments in Software Reliability: Life-Critical Applications
124 -- 133Ian J. Hayes. Specification Directed Module Testing
134 -- 146Hideaki Tsubotani, Noriaki Monden, Minoru Tanaka, Tadao Ichikawa. A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs
147 -- 156Anthony I. Wasserman, Peter A. Pircher, David T. Shewmake. Building Reliable Interactive Information Systems
157 -- 171Robert E. Strom, Shaula Yemini. Typestate: A Programming Language Concept for Enhancing Software Reliability
172 -- 181Zavid L. Lichtman. Generation and Consistency Checking of Design and Program Structures