Journal: IEEE Trans. Software Eng.

Volume 11, Issue 9

832 -- 838Cindy Wilson, Leon J. Osterweil. Omega - A Data Flow Analysis Tool for the C Programming Language
839 -- 849Robert Troy, Ramadan Moawad. Assessment of Software Reliability Models
849 -- 856Stephen S. Yau, James S. Collofello. Design Stability Measures for Software Maintenance
857 -- 864Farokh B. Bastani. On the Uncertainty in the Correctness of Computer Programs
865 -- 885Leszek Lilien, Bharat K. Bhargava. Database Integrity Block Construct: Concepts and Design Issues
886 -- 908C. V. Ramamoorthy, Siyi Terry Dong, Yutaka Usuda. An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol
909 -- 916Harry M. Sneed, András Mérey. Automated Software Quality Assurance
917 -- 921Thomas J. McCabe, G. Gordon Schulmeyer. System Testing Aided by Structured Analysis: A Practical Experience
923 -- 934Benjamin W. Wah, Chee Fen Yu. Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search
934 -- 938Myron S. Karasik. Environmental Testing Techniques for Software Certification
939 -- 945Brian P. McCune, Richard M. Tong, Jeffrey S. Dean, Daniel G. Shapiro. RUBRIC: A System for Rule-Based Information Retrieval
945 -- 953Motoei Azuma, Tetsu Tabata, Yoshihiro Oki, Susumu Kamiya. SPD: A Humanized Documentation Technology
954 -- 959Makoto Yoshida, Kyoko Mizumachi, Atsushi Wakino, Ikuo Oyake, Yutaka Matsushita. Time and Cost Evaluation Schemes of Multiple Copies of Data in Distributet Database Systems
959 -- 965Clement T. Yu, Man-Keung Siu, K. Lam, C.-H. Chen. Adaptive File Allocation in Star Computer Network
966 -- 970C. Robert Carlson, Adarsh K. Arora. Toward the Next Generation of Data Modeling Tools
970 -- 977Carolyn Cline, Howard Jay Siegel. Augmenting Ada for SIMD Parallel Processing
978 -- 985Carl W. Doerflinger, Victor R. Basili. Monitoring Software Development Through Dynamic Variables
986 -- 992David Keirsey, J. Mitchell, B. Bullock, T. Nussmeier, David Y. Tseng. Autonomous Vehicle Control Using Al Techniques

Volume 11, Issue 8

657 -- 670Valdis Berzins, Michael Gray. Analysis and Design in MSG.84: Formalizing Functional Specifications
671 -- 685Uli H. Chi. Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
686 -- 698Leonard J. Bass. An Approach to User Specification of Interactive Display Interfaces
699 -- 713Anthony I. Wasserman. Extending State Transition Diagrams for the Specification of Human-Computer Interaction
714 -- 717Jason Gait. An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows
718 -- 723Farokh B. Bastani. Experiences with a Feedback Version Development Methodology
724 -- 734Shi-Kuo Chang, Wu-Lung Chan. Transformation and Verification of Office Procedures
735 -- 748Ali Mili. Towards a Theory of Forward Error Recovery
749 -- 757David H. Hutchens, Victor R. Basili. System Structure Analysis: Clustering with Data Bindings
758 -- 773Armen Gabrielian, Lawrence McNamee, David J. Trawick. The Qualified Function Approach to Analysis of Program Behavior and Performance
774 -- 783Krithi Ramamritham. Synthesizing Code for Resource Controllers
784 -- 794Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini. Symbolic Semantics and Program Reduction
795 -- 810Clement T. Yu, Chin-Chen Chang, Marjorie Templeton, David Brill, Eric Lund. Query Processing in a Fragmented Relational Distributed System: Mermaid
811 -- 819Shi-Kuo Chang, Erland Jungert, Stefano Levialdi, Genoveffa Tortora, Tadao Ichikawa. An Image Processing Language with Icon-Assisted Navigation
820 -- 821Gene T. J. Wuu, Arthur J. Bernstein. False Deadlock Detection in Distributed Systems
822 -- 0Mohammad G. Khayat, W. S. Breger, M. Freiling, Ted G. Lewis. Correction to A Concurrency Measure
822 -- 0Edward H. Bersoff. Comments on Elements of Software Configuration Management

Volume 11, Issue 7

574 -- 583Richard P. Brägger, Andreas Dudler, Jürg Rebsamen, Carl August Zehnder. Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints, and Transactions
583 -- 591David Farmer, Roger King, David Myers. The Semantic Database Constructor
591 -- 598Sakti P. Ghosh. An Application of Statistical Databases in Manufacturing Testing
598 -- 605Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick. Utilizing an Executable Specification Language for an Information System
606 -- 619Benjamin W. Wah, Yao-Nan Lien. Design of Distributed Databases on Local Computer Systems with a Multiaccess Network
620 -- 633Arthur M. Keller, Marianne Winslett. On the Use of an Extended Relational Model to Handle Changing Incomplete Information
634 -- 643Christine Parent, Stefano Spaccapietra. An Algebra for a General Entity-Relation1hip Model
644 -- 652David Maier, David Rozenshtein, Jacob Stein. Representing Roles in Universal Scheme Interfaces

Volume 11, Issue 6

497 -- 501Virgil D. Gligor, Peter A. Ng. Foreword
502 -- 508Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi. Implementing Fault-Tolerant Distributed Objects
509 -- 519Martin S. McKendry. Ordering Actions for Visibility
520 -- 530Alfred Z. Spector, Jacob Butcher, Dean S. Daniels, Daniel J. Duchamp, Jeffrey L. Eppinger, Charles E. Fineman, Abdelsalam Heddaya, Peter M. Schwarz. Support for Distributed Transactions in the TABS Prototype
531 -- 539Benny Chor, Brian A. Coan. A Simple and Efficient Randomized Byzantine Agreement Algorithm
539 -- 546Kenneth J. Perry. Randomized Byzantine Agreement
546 -- 554Özalp Babaoglu, Rogério Drummond. Streets of Byzantium: Network Architectures for Fast Reliable Broadcasts
555 -- 563Richard D. Schlichting. A Technique for Estimating Performance of Fault-Tolerant Programs
564 -- 572Nancy D. Griffeth, John A. Miller. Performance Modeling of Database Recovery Protocols

Volume 11, Issue 5

446 -- 454Arthur J. Bernstein. A Loosely Coupled Distributed System for Reliably Storing Data
454 -- 461David B. MacQueen, Donald Sannella. Completeness of Proof Systems for Equational Specifications
461 -- 471Mukul K. Sinha. Atomic Actions and Resource Coordination Problems Having Nonunique Solutions
471 -- 478Ronald H. Perrott, Danny Crookes, Peter Milligan, W. R. Martin Purdy. A Compiler for an Array and Vector Processing Language
479 -- 483Sheldon M. Ross. Statistical Estimation of Software Reliability
483 -- 491Giancarlo Martella, Barbara Pernici, Fabio A. Schreiber. An Availability Model for Distributed Transaction Systems
491 -- 496Lionel M. Ni, Kai Hwang. Optimal Load Balancing in a Multiple Processor System with Many Job Classes

Volume 11, Issue 4

317 -- 324Vincent Yun Shen, Tze-Jie Yu, Stephen M. Thebaut, Lorri R. Paulsen. Identifying Error-Prone Software - An Empirical Study
324 -- 345Stefano Ceri, Georg Gottlob. Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries
346 -- 355Alexander Thomasian. Performance Evaluation of Centralized Databases with Static Locking
355 -- 366Nick Roussopoulos, Raymond T. Yeh. SEES - A Software Testing Environment Support System
367 -- 375Sandra Rapps, Elaine J. Weyuker. Selecting Software Test Data Using Data Flow Information
375 -- 386Thomas Downs. An Approach to the Modeling of Software Testing with Some Applications
387 -- 396Douglas Comer, Narain H. Gehani. Flex: A High-Level Language for Specifying Customized Microprocessors
396 -- 416N. Natarajan. Communication and Synchronization Primitives for Distributed Programs
417 -- 423Michael K. Molloy. Discrete Time Stochastic Petri Nets
424 -- 436Jeff Kramer, Jeff Magee. Dynamic Configuration for Distributed Systems
437 -- 439Ching-Chy Wang, Mary Lou Soffa. Eager Reclamation
439 -- 441Fabrizio Luccio. Variations on a Method for Representing Data Items of Unlimited Length

Volume 11, Issue 3

242 -- 252Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho. Exception Handling: Formal Specification and Systematic Program Construction
252 -- 258Stephen W. Draper, Donald A. Norman. Software Engineering for User Interfaces
259 -- 266David Lorge Parnas, Paul C. Clements, David M. Weiss. The Modular Structure of Complex Systems
267 -- 275W. Lewis Johnson, Elliot Soloway. PROUST: Knowledge-Based Program Understanding
276 -- 285Steven P. Reiss. PECAN: Program Development Systems that Support Multiple Views
285 -- 302Warren Teitelman. A Tour Through Cedar
302 -- 310Richard N. Taylor, Thomas A. Standish. Steps to an Advanced Ada^1 Programming Environment

Volume 11, Issue 2

145 -- 157David Lee Tuomenoksa, Howard Jay Siegel. Task Scheduling on the PASM Parallel Processing System
157 -- 168David M. Weiss, Victor R. Basili. Evaluating Software Development by Analysis of Changes: Some Data from the Software Engineering Laboratory
169 -- 178Ian J. Hayes. Applying Formal Specification to Software Development in Industry
179 -- 187Taiichi Yuasa, Reiji Nakajima. IOTA: A Modular Programming System
188 -- 193Judith B. Peachey, Richard B. Bunt, Charles J. Colbourn. Some Empirical Observations on Program Behavior with Applications to Program Restructuring
194 -- 199Simonetta Balsamo, Giuseppe Iazeolla. Product-Form Synthesis of Queueing Networks
199 -- 205Shojiro Muro, Toshihide Ibaraki, Hidehiro Miyajima, Toshiharu Hasegawa. Evaluation of the File Redundancy in Distributed Database Systems
205 -- 212Arvola Chan, Robert Gray. Implementing Distributed Read-Only Transactions
213 -- 222Hung-Chang Du. On the File Design Problem for Partial Match Retrieval
223 -- 231Ravishankar K. Iyer, Paola Velardi. Hardware-Related Software Errors: Measurement and Analysis
231 -- 234Howard A. Jensen, K. Vairavan. An Experimental Study of Software Metrics for Real-Time Software
235 -- 239Edward G. Coffman Jr., T. T. Kadota, Larry A. Shepp. On the Asymptotic Optimality of First-Fit Storage Allocation

Volume 11, Issue 12

1409 -- 1410Amrit L. Goel, Farokh B. Bastani. Foreword Software Reliability
1411 -- 1423Amrit L. Goel. Software Reliability Models: Assumptions, Limitations, and Applicability
1424 -- 1430Kazuhira Okumoto. A Statistical Method for Software Quality Control
1431 -- 1437Shigeru Yamada, Shunji Osaki. Software Reliability Growth Modeling: Models and Applications
1438 -- 1448Ravishankar K. Iyer, David J. Rossetti. Effect of System Workload on Operating System Reliability: A Study on IBM 3081
1449 -- 1455Joseph P. Cavano. Toward High Confidence Software
1456 -- 1464Nozer D. Singpurwalla, Refik Soyer. Assessing (Software) Reliability Growth Using a Random Coefficient Autoregressive Process and Its Ramifications
1465 -- 1471William S. Jewell. Bayesian Extensions to a Basic Model of Software Reliability
1472 -- 1476Sheldon M. Ross. Software Reliability: The Stopping Rule Problem
1477 -- 1490Debra J. Richardson, Lori A. Clarke. Partition Analysis: A Method Combining Testing and Verification
1491 -- 1501Algirdas Avizienis. The N-Version Approach to Fault-Tolerant Software
1502 -- 1510Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding. Software Fault Tolerance: An Evaluation
1511 -- 1517Dave E. Eckhardt, Larry D. Lee. A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

Volume 11, Issue 11

1253 -- 1256Jack Mostow. Foreword What is AI? And what Does It Have to Do with Software Engineering?
1257 -- 1268Robert Balzer. A 15 Year Perspective on Automatic Programming
1268 -- 1277Stephen Fickas. Automating the Transformational Development of Software
1278 -- 1295Douglas R. Smith, Gordon Kotik, Stephen J. Westfold. Research on Knowledge-Based Software Environments at Kestrel Institute
1296 -- 1320Richard C. Waters. The Programmer s Apprentice: A Session with KBEmacs
1321 -- 1336David R. Barstow. Domain-Specific Automatic Programming
1337 -- 1351Robert Neches, William R. Swartout, Johanna D. Moore. Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development
1351 -- 1360Beth Adelson, Elliot Soloway. The Role of Domain Experience in Software Design
1361 -- 1374Elaine Kant. Understanding and Automating Algorithm Design
1375 -- 1386David M. Steier, Elaine Kant. The Roles of Execution and Analysis in Algorithm Design
1386 -- 1390Jon Doyle. Expert Systems and the Myth of Symbolic Reasoning
1391 -- 1400P. A. Subrahmanyam. The Software Engineering of Expert Systems: Is Prolog Appropriate?
1401 -- 1408Daniel G. Bobrow. If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms

Volume 11, Issue 10

994 -- 1000Aaron H. Konstam, Donald E. Wood. Software Science Applied to APL
1001 -- 1016Clyde P. Kruskal, Alan Weiss. Allocating Independent Subtasks on Parallel Processors
1016 -- 1032Fabio Panzieri, Brian Randell. Interfacing UNIX to Data Communications Networks
1033 -- 1037Ray Ford, Keith W. Miller. Abstract Data Type Development and Implementation: An Example
1040 -- 1047Arie Shoshani, Harry K. T. Wong. Statistical and Scientific Database Issues
1047 -- 1058Mostafa A. Bassiouni. Data Compression in Scientific and Statistical Databases
1058 -- 1070Setrag Khoshafian, Douglas M. Bates, David J. DeWitt. Efficient Support of Statistical Operations
1071 -- 1081Gultekin Özsoyoglu, Z. Meral Özsoyoglu. Statistical Database Query Languages
1081 -- 1091Neil C. Rowe. Antisampling for Estimation: An Overview
1092 -- 1096Stephen F. Lundstrom, Earl E. Swartzlander Jr.. Foreword: Advances in Distributed Computing Systems
1097 -- 1107Arbee L. P. Chen, Victor O. K. Li. An Optimal Algorithm for Processing Distributed Star Queries
1107 -- 1112Donald M. Topkis. Concurrent Broadcast for Information Dissemination
1113 -- 1126James P. Huang. Modeling of Software Partition for Distributed Real-Time Applications
1126 -- 1135Kwei-Jay Lin, John D. Gannon. Atomic Remote Procedure Call
1136 -- 1140Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes. Synchronized Distributed Termination
1141 -- 1152John A. Stankovic. Stability and Distributed Scheduling Algorithms
1153 -- 1161Lionel M. Ni, Chong-Wei Xu, Thomas B. Gendreau. A Distributed Drafting Algorithm for Load Balancing
1162 -- 1174Keith A. Lantz, William I. Nowicki, Marvin Theimer. An Empirical Study of Distributed Application Performance
1174 -- 1184Amit P. Sheth, Anoop Singhal, Ming T. Liu. An Analysis of the Effect of Network Parameters on the Performance of Distributed Database Systems
1184 -- 1193Cauligi S. Raghavendra, Salim Hariri. Reliability Optimization in The Design of Distributed Systems
1193 -- 1202Sol M. Shatz. Post-Failure Reconfiguration of CSP Programs
1203 -- 1216Alexander Thomasian, Paul F. Bay. Integrated Performance Models for Distributed Processing in Computer Communication Networks
1216 -- 1225Kumkum Garg. An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets
1225 -- 1240M. Tamer Özsu. Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism
1240 -- 1251Mohamed G. Gouda, Hui-Seng Lee. Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines

Volume 11, Issue 1

3 -- 14Billy G. Claybrook, Anne-Marie Claybrook, James Williams. Defining Database Views as Data Abstractions
15 -- 22C. Mohan, Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz. Lock Conversion in Non-Two-Phase Locking Protocols
23 -- 31Flaviu Cristian. A Rigorous Approach to Fault-Tolerant Programming
32 -- 43Richard A. Kemmerer. Testing Formal Specifications to Detect Design Errors
43 -- 59Guy T. Almes, Andrew P. Black, Edward D. Lazowska, Jerre D. Noe. The Eden System: A Technical Review
59 -- 67Mustaque Ahamad, Arthur J. Bernstein. An Application of Name Based Addressing to Low Level Distributed Algorithms
67 -- 80Mukul K. Sinha, N. Natarajan. A Priority Based Distributed Deadlock Detection Algorithm
80 -- 86B. Dasarathy. Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
87 -- 96David B. Lomet. Making Pointers Safe in System Programming Languages
97 -- 114Matthias Jarke, Jon A. Turner, Edward A. Stohr, Yannis Vassiliou, Norman H. White, Ken Michielsen. A Field Evaluation of Natural Language for Data Retrieval
114 -- 124Jacques Cohen, Stuart Kolodner. Estimating the Speedup in Parallel Parsing
125 -- 129Michael O. Fryer. Risk Assessment of Computer Controlled Systems
130 -- 136Gilbert Harrus. A Model for the Basic Block Protocol of the Cambridge Ring
136 -- 141Ariel Pashtan. Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations