IEEE Transactions on Software Engineering (TSE), Volume 10

Volume 10, Number 1, January 1984

• Richard H. Thayer, Arthur B. Pyster: Guest Editorial: Software Engineering Project Management. 2-3
• Barry W. Boehm:
  Software Engineering Economics. 4-21
  
• Jack Cooper:
  Software Development Management Planning. 22-26
  
• Norman R. Howes:
  Managing Software Development Projects for Maximum Productivity. 27-35
  
• Fletcher J. Buckley, Robert M. Poston:
  Software Quality Assurance. 36-41
  
• James P. McGill:
  The Software Engineering Shortage: A Third Choice. 42-49
  
• Walt Scacchi:
  Managing Software Engineering Projects: A Social Analysis. 49-59
  
• William Bryan, Stanley Siegel:
  Making Software Visible, Operational, and Maintainable in a Small Project Environment. 59-67
  
• Gerald M. Weinberg, Daniel P. Freedman:
  Reviews, Walkthroughs, and Inspections. 68-72
  
• Martha A. Branstad, Patricia B. Powell:
  Software Engineering Project Standards. 73-78
  
• Edward H. Bersoff:
  Elements of Software Configuration Management. 79-87
  

• Chin-Chen Chang, M. W. Du, Richard C. T. Lee:
  Performance Analyses of Cartesian Product Files and Random Files. 88-99
  
• Farokh B. Bastani:
  Performance Improvement of Abstractions Through Context Dependent Transformations. 100-116
  
• Jun-Ichi Aoe, Yoneo Yamamoto, Ryosaku Shimada:
  A Method for Improving String Pattern Matching Machine. 116-120
  

Volume 10, Number 2, March 1984

• Carroll Morgan, Bernard Sufrin:
  Specification of the UNIX Filing System. 128-142
  
• Ian D. Cottam:
  The Rigorous Development of a System Version Control Program. 143-154
  
• Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch:
  SLAN-4 - A Software Specification and Design Language. 155-162
  
• Flaviu Cristian:
  Correct and Robust Programs. 163-174
  
• Wladyslaw M. Turski:
  On Programming by Iterations. 175-178
  
• Abraham Silberschatz:
  Cell: A Distributed Computing Modularization Concept. 178-185
  
• Meng-Lih Wu, Tai-Yang Hwang:
  Access Control with Single-Key-Lock. 185-191
  
• Randy H. Katz, Tobin J. Lehman:
  Database Support for Versions and Alternatives of Large Design Files. 191-200
  
• Stavros Christodoulakis, Christos Faloutsos:
  Design Considerations for a Message File Server. 201-210
  
• Hector Garcia-Molina, Frank Germano Jr., Walter H. Kohler:
  Debugging a Distributed Computing System. 210-219
  

Volume 10, Number 3, May 1984

• Richard J. LeBlanc, Charles N. Fischer:
  A Simple Separate Compilation Mechanism for Block-Structured Languages. 221-227
  
• Martin S. McKendry, Roy H. Campbell:
  Implementing Language Support in High-Level Languages. 227-236
  
• Michael J. Ferguson:
  Multiaccess in a Nonqueueing Mailbox Environment. 237-243
  
• Arthur E. Oldehoeft, Steven F. Jennings:
  Dataflow Resource Managers and Their Synthesis from Open Path Expressions. 244-257
  
• Liba Svobodova:
  Resilient Distributed Computing. 257-268
  
• Curtis Abbott:
  Intervention Schedules for Real-Time Programming. 268-274
  
• Douglas D. Dunlop, Victor R. Basili:
  A Heuristic for Deriving Loop Functions. 275-285
  
• Nicholas C. K. Phillips:
  Safe Data Type Specifications. 285-290
  
• Barry W. Boehm, Terence E. Gray, Thomas Seewaldt:
  Prototyping Versus Specifying: A Multiproject Experiment. 290-303
  
• Daniel L. Weller, Bryant W. York:
  A Relational Representation of an Abstract Type System. 303-309
  
• David L. Spooner, Ehud Gudes:
  A Unifying Approach to the Design of a Secure Database Operating System. 310-319
  
• Virgil D. Gligor:
  A Note on Denial-of-Service in Operating Systems. 320-324
  

Volume 10, Number 4, July 1984

• Simon S. Lam, A. Udaya Shankar:
  Protocol Verification via Projections. 325-342
  
• Narain H. Gehani:
  Broadcasting Sequential Processes (BSP). 343-351
  
• Mark Weiser:
  Program Slicing. 352-357
  
• Andreas Reuter, Horst Kinzinger:
  Automatic Design of the Internal Schema for a CODASYL Database System. 358-375
  
• Willa Kay Wiener-Ehrlich, James R. Hamrick, Vincent F. Rupolo:
  Modeling Software Behavior in Terms of a Formal Life Cycle Curve: Implications for Software Maintenance. 376-383
  
• H. G. Stuebing:
  A Software Engineering Environment (SEE) for Weapon System Software. 384-397
  
• Iris Vessey, Ron Weber:
  Research on Structured Programming: An Empiricist's Evaluation. 397-407
  
• Terry C. Snow:
  Use of Software Engineering Practices at a Small MIS Shop. 408-413
  
• William J. Stewart, Wayne P. Stohs:
  Some Equivalence Results for Load-Independent Exponential Queueing Networks. 414-422
  
• Timo O. Alanko, Hannu Erkiö, Ilkka J. Haikala:
  Virtual Memory Behavior of Some Sorting Algorithms. 422-431
  
• Jacek Jachner, Vinod K. Agarwal:
  Data Flow Anomaly Detection. 432-437
  
• Joe W. Duran, Simeon C. Ntafos:
  An Evaluation of Random Testing. 438-444
  
• Clement H. C. Leung, Qui Hoon Choo:
  On the Execution of Large Batch Programs in Unreliable Computing Systems. 444-450
  
• Ramon F. Sarraga:
  Static Data Flow Analysis of PL/I Programs with the PROBE System. 451-459
  
• John E. Gaffney Jr.:
  Estimating the Number of Faults in Code. 459-465, (Comments/Corrections: IEEE Trans. Software Eng. 12(4): 584-585(1986))
  
• William Perrizo:
  A Method for Processing Distributed Database Queries. 466-471
  

Volume 10, Number 5, September 1984

• Ellis Horowitz, John B. Munson:
  An Expansive View of Reusable Software. 477-487
  
• T. Capers Jones:
  Reusability in Programming: A Survey of the State of the Art. 488-494
  
• Thomas A. Standish:
  An Essay on Software Reuse. 494-497
  
• Robert G. Lanergan, Charles A. Grasso:
  Software Engineering with Reusable Designs and Code. 498-501
  
• Yoshihiro Matsumoto:
  Some Experiences in Promoting Reusabel Software: Presentation in Higher Abstract Levels. 502-513
  
• Brian W. Kernighan:
  The Unix System and Software Reusability. 513-518
  
• Gael A. Curry, Robert M. Ayers:
  Experience with Traits in the Xerox Star Workstation. 519-527
  
• Joseph A. Goguen:
  Parameterized Programming. 528-544
  
• Steven D. Litvintchouk, Allen S. Matsumoto:
  Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification. 544-551
  
• Thomas T. Cheng, Evan D. Lock, Noah S. Prywes:
  Use of Very High Level Languages and Program Generation by Management Professionals. 552-563
  
• James M. Neighbors:
  The Draco Approach to Constructing Software from Reusable Components. 564-574
  
• James M. Boyle, Monagur N. Muralidharan:
  Program Reusability through Program Transformation. 574-588
  
• Thomas E. Cheatham Jr.:
  Reusability Through Program Transformations. 589-594
  
• Elliot Soloway, Kate Ehrlich:
  Empirical Studies of Programming Knowledge. 595-609
  

Volume 10, Number 6, November 1984

• Sushil Jajodia, Peter A. Ng:
  Representative Instances and gamma-Acyclic Relational Schemes. 614-618
  
• Daniel R. Dolk, Benn R. Konsynski:
  Knowledge Representation for Model Management Systems. 619-628
  
• Umeshwar Dayal, Hai-Yann Hwang:
  View Definition and Generalization for Database Integration in a Multidatabase System. 628-645
  
• Rony Attar, Philip A. Bernstein, Nathan Goodman:
  Site Initialization, Recovery, and Backup in a Distributed Database System. 645-650
  
• Carlo Batini, Maurizio Lenzerini:
  A Methodology for Data Schema Integration in the Entity Relationship Model. 650-664
  
• Leszek Lilien, Bharat K. Bhargava:
  A Scheme for Batch Verification of Integrity Assertions in a Database System. 664-680
  
• Michael Hatzopoulos, John G. Kollias:
  On the Optimal Selection of Multilist Database Structures. 681-687
  
• Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood:
  Criteria for Software Reliability Model Comparisons. 687-691
  
• Kang G. Shin, Yann-Hang Lee:
  Evaluation of Error Recovery Blocks Used for Cooperating Processes. 692-700
  
• Jean-Claude Laprie:
  Dependability Evaluation of Software Systems in Operation. 701-714
  
• Carolyn Wong:
  A Successful Software Development. 714-727
  
• Victor R. Basili, David M. Weiss:
  A Methodology for Collecting Valid Software Engineering Data. 728-738
  
• Neil B. Corrigan, J. Denbigh Starkey:
  A Concurrent General Purpose Operator Interface. 738-748
  
• Amram Ben-David, Moshe I. Ben-Porat, Jonah Z. Loeb (Lavi), Michael Rich:
  An Industrial Software Engineering Retraining Course: Development Considerations and Lessons Learned. 748-755
  
• Bernhard Plattner:
  Real-Time Execution Monitoring. 756-764
  
• Steven M. German:
  Monitoring for Deadlock and Blocking in Ada Tasking. 764-777
  
• Udi Manber:
  Concurrent Maintenance of Binary Search Trees. 777-784
  
• David B. Benson:
  Counting Paths: Nondeterminism as Linear Algebra. 785-794
  
• Simeon C. Ntafos:
  On Required Element Testing. 795-803
  
• Mohammad G. Khayat:
  A Concurrency Measure. 804-810, (Correction: IEEE Trans. Software Eng. 11(8): 822(1985))
  
• Dennis W. Leinbaugh:
  Selectors: High-Level Resource Schedulers. 810-825
  
• Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami:
  An Algebraic Specification of HDLC Procedures and Its Verification. 825-836
  
• Giuseppe Serazzi, Maria Calzarossa:
  Adaptive Optimization of a System's Load. 837-845
  
• Mohamed G. Gouda:
  Closed Covers: To Verify Progress for Communicating Finite State Machines. 846-855
  
• Hisao Kameda:
  A Property of Normalization Constants for Closed Queueing Networks. 856-857
  

Last update Thu May 23 19:42:26 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page