IEEE Transactions on Software ngineering (TSE), Volume 6

Volume 6, Number 1, January 1980

• Kathryn L. Heninger:
  Specifying Software Requirements for Complex Systems: New Techniques and Their Application. 2-13
  
• John V. Guttag:
  Notes on Type Abstraction (Version 2). 13-23
  
• David R. Musser:
  Abstract Data Type Specification in the AFFIRM System. 24-32
  
• Sanat K. Basu:
  A Note on Synthesis of Inductive Assertions. 32-39
  
• Moshe Tamir:
  ADI: Automatic Derivation of Invariants. 40-48
  

• Anders P. Ravn:
  Device Monitors. 49-53
  
• Hideyuki Takahashi:
  An Automatic-Controller Description Language. 53-64
  

• Peter J. Denning:
  Working Sets Past and Present. 64-84
  
• Dennis W. Leinbaugh:
  Guaranteed Response Times in a Hard-Real-Time Environment. 85-91
  
• Jayanta Banerjee, David K. Hsiao, Fred K. Ng:
  Database Transformation, Query Translation, and Performance Analysis of a New Database Computer in Supporting Hierarchical Database Management. 91-109
  

Volume 6, Number 2, March 1980

• Roger C. Cheung:
  A User-Oriented Software Reliability Model. 118-125
  
• Stephen S. Yau, Fu-Chung Chen:
  An Approach to Concurrent Control Flow Checking. 126-137
  
• Taylor L. Booth, Cheryl A. Wiecek:
  Performance Abstract Data Types as a Tool in Software Performance Analysis and Design. 138-151
  
• Leland L. Beck:
  A Generalized Implementation Method for Relational Data Sublanguages. 152-162
  
• William E. Howden:
  Functional Program Testing. 162-169
  
• Sanat K. Basu:
  On Development of Iterative Programs from Function Specifications. 170-182
  
• David L. Russell:
  State Restoration in Systems of Communicating Processes. 183-194
  
• T. William Mao, Raymond T. Yeh:
  Communication Port: A Language Concept for Concurrent Programming. 194-204
  
• Shi-Kuo Chang, Wu-Haung Cheng:
  A Methodology for Structured Database Decomposition. 205-218
  
• Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen:
  A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm. 219-225
  
• Pei Hsia, Frederick E. Petry:
  A Framework for Discipline in Programming. 226-232
  

Volume 6, Number 3, May 1980

• B. Chandrasekaran:
  Guest Editorial: Special Collection on Program Testing. 233-235
  
• Elaine J. Weyuker, Thomas J. Ostrand:
  Theories of Program Testing and the the Application of Revealing Subdomains. 236-246
  
• Lee J. White, Edward I. Cohen:
  A Domain Strategy for Computer Program Testing. 247-257
  
• Kenneth A. Foster:
  Error Sensitive Test Cases Analysis (ESTCA). 258-264
  
• Richard N. Taylor, Leon J. Osterweil:
  Anomaly Detection in Concurrent Software by Static Data Flow Analysis. 265-278
  
• Martin R. Woodward, David Hedley, Michael A. Hennell:
  Experience with Path Analysis and Testing of Programs. 278-286
  
• Udo Voges, Lothar Gmeiner, Anneliese von Mayrhauser:
  SADAT - An Automated Testing Tool. 286-290
  
• F. N. Parr:
  An Alternative to the Rayleigh Curve Model for Software Development Effort. 291-296
  
• David B. Lomet:
  Subsystems of Processes with Deadlock Avoidance. 297-304
  
• Bernhard Walke, W. Rosenbohm:
  Deadline-Oriented Servicing: Waiting-Time Distributions. 304-312
  

Volume 6, Number 4, July 1980

• Charles N. Fischer, Richard J. LeBlanc:
  The Implementation of Run-Time Diagnostics in Pascal. 313-319
  
• Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli:
  Separate Compilation and Partial Specification in Pascal. 320-328
  
• Michael A. Hennell, J. Alan Prudom:
  A Static Analysis of the NAG Library. 329-333
  
• Karel R. Tavernier, Paul H. Notredame:
  Macro-Based Cross Assemblers. 334-340
  
• Tzay Y. Young, Philip S. Liu:
  Overhead Storage Considerations and a Multilinear Method for Data File Compression. 340-347
  
• Andreas Reuter:
  A Fast Transaction-Oriented Logging Scheme for UNDO Recovery. 348-356
  
• W. Terry Hardgrave:
  Ambiguity in Processing Boolean Queries on TDMS Tree Structures: A Study of Four Different Philosophies. 357-372
  
• Jacques Labetoulle, Guy Pujolle:
  Isolation Method in a Network of Queues. 373-381
  
• Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen:
  Incorporating System Overhead in Queuing Network Models. 381-390
  
• James E. Allchin:
  Modula and a Question of Time. 390-391
  
• Anthony C. Davies:
  The Analogy Between Electrical Networks and Flowcharts. 391-394
  
• Paul Bourret, Patrice Cros:
  Presentation and Correction of Errors in Operating System Measurements. 395-398
  

Volume 6, Number 5, September 1980

• Yair M. Babad, Jeffrey A. Hoffer:
  Data Element Security and Its Effects on File Segmentation. 402-410
  
• Ehud Gudes:
  The Design of a Cryptopgraphy Based Secure File System. 411-420
  
• Leon J. Mekly, Stephen S. Yau:
  Software Design Representation Using Abstract Process Networks. 420-435
  
• Virgil D. Gligor, Susan H. Shattuck:
  On Deadlock Detection in Distributed Systems. 435-440
  
• C. V. Ramamoorthy, Gary S. Ho:
  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets. 440-449
  
• Andrew Birrell, Roger M. Needham:
  A Universal File Server. 450-453
  
• Victor R. Basili, Robert E. Noonan:
  A Comparison of the Axiomatic and Functional Models of Structured Programming. 454-465
  
• James C. King:
  Program Correctness: On Inductive Assertion Methods. 465-479
  
• J. C. Huang:
  A New Verification Rule and Its Applications. 480-484
  
• Wu Hon Leung, C. V. Ramamoorthy:
  An Approach to Formal Specification of Control Modules. 485-489
  
• Bev Littlewood:
  Theories of Software Reliability: How Good Are They and How Can They Be Improved? 489-500
  
• Amrit L. Goel:
  A Summary of the Discussion on ``An Analysis of Competing Software Reliability Models''. 501-502
  

Volume 6, Number 6, November 1980

• Albert L. Baker, Stuart H. Zweben:
  A Comparison of Measures of Control Flow Complexity. 506-512
  
• R. Neil Faiman Jr., Alan A. Kortesoja:
  An Optimizing Pascal Compiler. 512-519
  
• Ning-San Chang, King-sun Fu:
  Query-by-Pictorial-Example. 519-524
  
• Tadao Murata:
  Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance. 525-530
  
• Kuo-Chung Tai:
  Program Testing Complexity and Test Criteria. 531-538
  
• Klaus Voss:
  Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems. 539-544
  
• Stephen S. Yau, James S. Collofello:
  Some Stability Measures for Software Maintenance. 545-552
  
• Ronald F. Brender:
  Generation of BLISSes. 553-563
  
• Robert P. Cook:
  *MOD - A Language for Distributed Programming. 563-571
  
• Jon Louis Bentley, Mary Shaw:
  An Alphard Specification of a Correct and Efficient Transformation on Data Structures. 572-584
  
• David J. Taylor, David E. Morgan, James P. Black:
  Redundancy in Data Structures: Improving Software Fault Tolerance. 585-594
  
• David J. Taylor, David E. Morgan, James P. Black:
  Redundancy in Data Structures: Some Theoretical Result. 595-604
  

Last update Tue Feb 14 04:23:55 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page