IEEE Transactions on Software Engineering (TSE), Volume 18

Volume 18, Number 1, January 1992

• Mahadev Satyanarayanan:
  The Influence of Scale on Distributed File System Design. 1-8
  
• Derek Coleman, Fiona Hayes, Stephen Bear:
  Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. 9-18
  
• Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron:
  Language Design For Program Manipulation. 19-32
  
• Keith W. Miller, Larry J. Morell, Robert E. Noonan, Stephen K. Park, David M. Nicol, Branson W. Murrill, Jeffrey M. Voas:
  Estimating the Probability of Failure When Testing Reveals No Failures. 33-43
  
• Scott D. Carson, Sanjeev Setia:
  Analysis of the Periodic Update Write Policy For Disk Cache. 44-54
  
• Mercedes Granda, José M. Drake, José A. Gregorio:
  Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets. 55-71
  
• Vincenzo Grassi, Lorenzo Donatiello, Salvatore Tucci:
  On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems. 72-77
  
• Ravi Ganesan, Shlomo Weiss:
  Scalar Memory References in Pipelined Multiprocessors: A Performance Study. 78-86
  

Volume 18, Number 2, February 1992

• Jack W. Davidson, Anne M. Holler:
  Subprogram Inlining: A Study of its Effects on Program Execution Time. 89-102
  
• Carl A. Waldspurger, Tad Hogg, Bernardo A. Huberman, Jeffrey O. Kephart, W. Scott Stornetta:
  Spawn: A Distributed Computational Economy. 103-117
  
• Philip S. Yu, Daniel M. Dias:
  Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment. 118-129
  
• Jean-Claude Laprie, Karama Kanoun:
  X-Ware Reliability and Availability Modeling. 130-147
  
• Hwa-Chun Lin, C. S. Raghavendra:
  A Dynamic Load-Balancing Policy With a Central Job Dispatcher (LBC). 148-158
  
• Geppino Pucci:
  A New Approach to the Modeling of Recovery Block Structures. 159-167
  
• Bernd-Jürgen Falkowski:
  Comments on an Optimal Set of Indices For a Relational Database. 168-171
  

Volume 18, Number 3, March 1992

• Dan Paulson, Yair Wand:
  An Automated Approach to Information Systems Decomposition. 174-189
  
• Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum:
  Orca: A Language For Parallel Programming of Distributed Systems. 190-205
  
• Richard N. Taylor, David L. Levine, Cheryl D. Kelly:
  Structural Testing of Concurrent Programs. 206-215
  
• Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, Luanne M. Burns, Key-Sun Choi:
  Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language. 216-224
  
• Hamish Taylor:
  A Lingua Franca For Concurrent Logic Programming. 225-236
  
• Zahira Ammarguellat:
  A Control-Flow Normalization Algorithm and Its Complexity. 237-251
  
• Yiannis E. Papelis, Thomas L. Casavant:
  Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions. 252-261
  

Volume 18, Number 4, April 1992

• June M. Verner, Graham Tate:
  A Software Size Model. 265-278
  
• Robert E. Fields, Morten Elvang-Gøransson:
  A VDM Case Study in mural. 279-295
  
• M. Ferhan Pekergin:
  Parallel Computing Optimization in the Apollo Domain Network. 296-304
  
• G. A. Venkatesh, Charles N. Fischer:
  SPARE: A Development Environment For Program Analysis Algorithms. 304-318
  
• Matt W. Mutka:
  Estimating Capacity For Sharing in a Privately Owned Workstation Environment. 319-328
  
• Robert B. France:
  Semantically Extended Data Flow Diagrams: A Formal Specification Tool. 329-346
  
• Philip S. Yu, Ming-Syan Chen, Hans-Ulrich Heiss, Sukho Lee:
  On Workload Characterization of Relational Database Environments. 347-355
  

Volume 18, Number 5, May 1992

• Eric Steegmans, Johan Lewi, Ivo Van Horebeek:
  Generation of Interactive Parsers With Error Handling. 357-367
  
• Atish P. Sinha, Iris Vessey:
  Cognitive Fit: An Empirical Study of Recursion and Iteration. 368-379
  
• Nazim H. Madhavji:
  Environment Evolution: The Prism Model of Changes. 380-392
  
• Qian Cui, John D. Gannon:
  Data-Oriented Exception Handling. 393-401
  
• Kathryn C. Kinsley, Charles E. Hughes:
  Analysis of a Virtual Memory Model For Maintaining Database Views. 402-409
  
• Norman F. Schneidewind:
  Methodology For Validating Software Metrics. 410-422
  
• John C. Munson, Taghi M. Khoshgoftaar:
  The Detection of Fault-Prone Programs. 423-433
  
• Leonard Kleinrock, Jau-Hsiung Huang:
  On Parallel Processing Systems: Amdahl's Law Generalized and Some Results on Optimal Design. 434-447
  

Volume 18, Number 6, June 1992

• Alexander Borgida, Matthias Jarke:
  Knowledge Representation and Reasoning in Software Engineering. 449-450
  
• Charles Rich, Yishai A. Feldman:
  Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. 451-469
  
• Stephen Fickas, B. Robert Helm:
  Knowledge Representation and Reasoning in the Design of Composite Systems. 470-482
  
• John Mylopoulos, Lawrence Chung, Brian A. Nixon:
  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. 483-497
  
• Balasubramaniam Ramesh, Vasant Dhar:
  Supporting Systems Development by Capturing Deliberations During Requirements Engineering. 498-510
  
• Gerhard Fischer, Andreas Girgensohn, Kumiyo Nakakoji, David F. Redmiles:
  Supporting Software Designers with Integrated Domain-Oriented Design Environments. 511-522
  
• Dorothy E. Setliff, Rob A. Rutenbar:
  Knowledge Representation and Reasoning in a Software Synthesis Architecture. 523-533
  
• Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi:
  Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment. 534-546
  

Volume 18, Number 7, July 1992

• Erol Gelenbe:
  Guest Editor's Introduction to the Special Issue on Neural Network Software and Systems. 549-550
  
• Gregory L. Heileman, Michael Georgiopoulos, William D. Roome:
  A General Framework for Concurrent Simulation of Neural Network Models. 551-562
  
• Nachimuthu Karunanithi, Darrell Whitley, Yashwant K. Malaiya:
  Prediction of Software Reliability Using Connectionist Models. 563-574
  
• Edmond Mesrobian, Josef Skrzypek:
  A Software Environment For Studying Computational Neural Systems. 575-589
  
• Andreas Stafylopatis, Aristidis Likas:
  Pictorial Information Retrieval Using the Random Neural Network. 590-600
  
• Leslie S. Smith:
  A Framework for Neural Net Specification. 601-612
  
• S. T. Kim, K. Suwunboriruksa, S. Herath, Anura P. Jayasumana, Jayantha A. Herath:
  Algorithmic Transformations for Neural Computing and Performance of Supervised Learning on a Dataflow Machine. 613-623
  
• Mehmet Sahinoglu:
  Compound-Poisson Software Reliability Model. 624-630
  
• Kazuhiko Kato, Takashi Masuda:
  Persistent Caching: An Implementation Technique for Complex Objects with Object Identity. 631-645
  
• Gordon S. Novak, Fredrick N. Hill, Man-Lee Wan, Brian G. Sayrs:
  Negotiated Interfaces for Software Reuse. 646-653
  

Volume 18, Number 8, August 1992

• J. Eliot B. Moss:
  Working with Persistent Objects: To Swizzle or Not to Swizzle. 657-673
  
• Zohar Manna, Richard J. Waldinger:
  Fundamentals of Deductive Program Synthesis. 674-704
  
• Giancarlo Nota, Giuliano Pacini:
  Querying of Executable Software Specifications. 705-716
  
• Jeffrey M. Voas:
  PIE: A Dynamic Failure-Based Technique. 717-727
  
• Dongming Wang, Bernd Schürmann:
  Computer Aided Analysis and Derivation for Artificial Neural Systems. 728-735
  
• Karsten Schwan, Hongyi Zhou:
  Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads. 736-748
  
• Robyn R. Lutz, Johnny S. Wong:
  Detecting Unsafe Error Recovery Schedules. 749-760
  

Volume 18, Number 9, September 1992

• Richard A. Kemmerer, Carlo Ghezzi:
  Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. 766-767
  
• Richard Gerber, Insup Lee:
  A Layered Approach to Automating the Verification of Real-Time Systems. 768-784
  
• Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel:
  Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. 785-793
  
• Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
  Compiling Real-Time Specifications into Extended Automata. 794-804
  
• Alan C. Shaw:
  Communicating Real-Time State Machines. 805-816
  
• Brendan P. Mahony, Ian J. Hayes:
  A Case-Study in Timed Refinement: A Mine Pump. 817-826
  
• Irene Greif, Robert Seliger, William E. Weihl:
  A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. 827-839
  
• Leo Mark, Roberta Cochrane:
  Grammars and Relations. 840-849
  

Volume 18, Number 10, October 1992

• W. Lewis Johnson, Martin S. Feather, David R. Harris:
  Representation and Presentation of Requirements Knowledge. 853-869
  
• William S. Mark, Sherman Tyler, James McGuire, Jon Schlossberg:
  Commitment-Based Software Development. 870-885
  
• Markku Oivo, Victor R. Basili:
  Representing Software Engineering Models: The TAME Goal Oriented Approach. 886-898
  
• Bruno Ciciani, Daniel M. Dias, Philip S. Yu:
  Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality. 899-914
  
• Tridas Mukhopadhyay, Sunder Kekre:
  Software Effort Models for Early Estimation of Process Control Applications. 915-924
  

Volume 18, Number 11, November 1992

• Richard W. Selby, Koji Torii:
  Guest Editorial Introduction: Special Issue on Software Measurement Principles, Techniques, and Environment. 929-930
  
• Lionel C. Briand, Victor R. Basili, William M. Thomas:
  A Pattern Recognition Approach for Software Engineering Data Analysis. 931-942
  
• Ram Chillarege, Inderpal S. Bhandari, Jarir K. Chaar, Michael J. Halliday, Diane S. Moebus, Bonnie K. Ray, Man-Yuen Wong:
  Orthogonal Defect Classification - A Concept for In-Process Measurements. 943-956
  
• Stephen G. Eick, Joseph L. Steffen, Eric E. Sumner Jr.:
  Seesoft-A Tool For Visualizing Line Oriented Software Statistics. 957-968
  
• Yingsha Liao, Donald Cohen:
  A Specificational Approach to High Level Program Monitoring and Measuring. 969-979
  
• Taghi M. Khoshgoftaar, John C. Munson, Bibhuti B. Bhattacharya, Gary D. Richardson:
  Predictive Modeling Techniques of Software Quality from Software Measures. 979-987
  
• William W. Agresti, William M. Evanco:
  Projecting Software Defects From Analyzing Ada Designs. 988-997
  
• Michael Daskalantonakis:
  A Practical View of Software Measurement and Implementation Experiences Within Motorola. 998-1010
  
• Chris F. Kemerer, Benjamin S. Porter:
  Improving the Reliability of Function Point Measurement: An Empirical Study. 1011-1024
  
• Warren Harrison:
  An Entropy-Based Measure of Software Complexity. 1025-1034
  

Volume 18, Number 12, December 1992

• Vaclav Rajlich:
  Guest Editor's Introduction: Special Issue on Software Maintenance. 1037
  
• Norman Wilde, Ross Huitt:
  Maintenance Support for Object-Oriented Programs. 1038-1044
  
• Moises Lejter, Scott Meyers, Steven P. Reiss:
  Support for Maintaining Object-Oriented Programs. 1045-1052
  
• Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
  A Logic-Based Approach to Reverse Engineering Tools Production. 1053-1064
  
• Wojtek Kozaczynski, Jim Q. Ning, Andre Engberts:
  Program Concept Recognition and Transformation. 1965-1075
  
• Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang:
  A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. 1076-1100
  

Last update Fri May 24 18:15:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page