IEEE Transactions on Software Engineering (TSE), Volume 25

Volume 25, Number 1, January/February 1999

• Christos T. Karamanolis, Jeff Magee:
  Client Access Protocols for Replicated Services. 3-21
  
• Giorgio C. Buttazzo, Marco Caccamo:
  Minimizing Aperiodic Response Times in a Firm Real-Time Environment. 22-32
  
• Fabiano Borges Paulo, Paulo Cesar Masiero, Maria Cristina Ferreira de Oliveira:
  Hypercharts: Extended Statecharts to Support Hypermedia Specification. 33-49
  
• Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov:
  A Development Environment for Complex Distributed Real-Time Applications. 50-74
  

• Rushikesh K. Joshi, D. Janaki Ram:
  Anonymous Remote Computing: A Paradigm for Parallel Programming on Interconnected Workstations. 75-90
  
• Lionel C. Briand, John W. Daly, Jürgen Wüst:
  A Unified Framework for Coupling Measurement in Object-Oriented Systems. 91-121
  
• Curtis E. Hrischuk, C. Murray Woodside, Jerome A. Rolia, Rod Iversen:
  Trace-Based Load Characterization for Gernerating Performance Software Models. 122-135
  

• Nader B. Ebrahimi:
  How to Improve the Calibration of Cost Models. 136-140
  

Volume 25, Number 2, March/April 1999

• Javier Campos, Susanna Donatelli, Manuel Silva:
  Structured Solution of Asynchronously Communicating Stochastic Modules. 147-165
  
• Peter Buchholz:
  Hierarchical Structuring of Superposed GSPNs. 166-181
  
• Peter Kemper:
  Transient Analysis of Superposed GSPNs. 182-193
  
• Armin Heindl, Reinhard German:
  A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs. 194-206
  
• Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi:
  Discrete-Event Simulation of Fluid Stochastic Petri Nets. 207-217
  
• Peter J. Haas:
  Estimation Methods for Nonregenerative Stochastic Petri Nets. 218-236
  
• Alois Ferscha:
  Adaptive Time Warp Simulation of Timed Petri Nets. 237-257
  

• Kentaro Go, Norio Shiratori:
  A Decomposition of a Formal Specification: An Improved Constraint Oriented Method. 258-273
  
• Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal:
  Consistency Issues in Distributed Checkpoints. 274-281
  

• Lesley Pickard, Barbara Kitchenham, Peter Jones:
  Comments on: Evaluating Alternative Software Production Functions. 282-285
  

Volume 25, Number 3, May/June 1999

• David S. Wile, J. Christopher Ramming:
  Guest Editorial: Introduction to the Special Section ``Domain-Specfic Languages (DSL)''. 289-290
  
• Conal Elliott:
  An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation. 291-308
  
• Luca Cardelli, Rowan Davies:
  Service Combinators for Web Computing. 309-316
  
• Satish Chandra, Brad Richards, James R. Larus:
  Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. 317-333
  
• David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox:
  Mawl: A Domain-Specific Language for Form-Based Services. 334-346
  
• Frédéric Bertrand, Michel Augeraud:
  BDL: A Specialized Language for Per-Object Reactive Control. 347-362
  
• Scott Thibault, Renaud Marlet, Charles Consel:
  Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation. 363-377
  
• Nils Klarlund, Michael I. Schwartzbach:
  A Domain-Specific Language for Regular Sets of Strings and Trees. 378-386
  
• Dawson R. Engler:
  Interface Compilation: Steps Toward Compiling Program Interfaces as Languages. 387-400
  

• Theodora A. Varvarigou, Miltiades E. Anagnostou, Sudhir R. Ahuja:
  Reconfiguration Models and Algorithms for Stateful Interactive Processes. 401-415
  
• Paul Caspi, Alain Girault, Daniel Pilaud:
  Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. 416-427
  

• Sheau-Dong Lang:
  An Extended Banker's Algorithm for Deadlock Avoidance. 428-432
  

Volume 25, Number 4, July/August 1999

• Richard A. Kemmerer:
  Editor's Note. 433-434
  

• D. Ross Jeffery, Lawrence G. Votta:
  Guest Editors' Special Section Introduction - Empirical Software Engineering. 435-437
  
• Gail C. Murphy, Robert J. Walker, Elisa L. A. Baniassad:
  Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming. 438-455
  
• Victor R. Basili, Forrest Shull, Filippo Lanubile:
  Building Knowledge through Families of Experiments. 456-473
  
• Koji Torii, Ken-ichi Matsumoto, Kumiyo Nakakoji, Yoshihiro Takada, Shingo Takada, Kazuyuki Shima:
  Ginger2: An Environment for Computer-Aided Empirical Software Engineering. 474-492
  
• Chris F. Kemerer, Sandra Slaughter:
  An Empirical Approach to Studying Software Evolution. 493-509
  
• Ingunn Myrtveit, Erik Stensrud:
  A Controlled Experiment to Assess the Benefits of Estimating with Analogy and Regression Models. 510-525
  
• Anneliese von Mayrhauser, Stephen Lang:
  A Coding Scheme to Support Systematic Analysis of Software Comprehension. 526-540
  
• Ritu Agarwal, Prabuddha De, Atish P. Sinha:
  Comprehending Object and Process Models: An Empirical Study. 541-556
  
• Carolyn B. Seaman:
  Qualitative Methods in Empirical Studies of Software Engineering. 557-572
  
• Sunita Chulani, Barry W. Boehm, Bert Steece:
  Bayesian Analysis of Empirical Software Engineering Cost Models. 573-583
  

• Kevin J. Sullivan, Mark Marchukov, John Socha:
  Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model. 584-599
  

Volume 25, Number 5, September/October 1999

• Catherine Meadows, William H. Sanders:
  Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). 601-602
  
• Christof Fetzer, Flaviu Cristian:
  A Highly Available Local Leader Election Service. 603-618
  
• Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao:
  Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation. 619-632
  
• Rodolphe Ortalo, Yves Deswarte, Mohamed Kaâniche:
  Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security. 633-650
  
• John M. Rushby:
  Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. 651-660
  

• Walter J. Gutjahr:
  Partition Testing vs. Random Testing: The Influence of Uncertainty. 661-674
  
• Norman E. Fenton, Martin Neil:
  A Critique of Software Defect Prediction Models. 675-689
  
• Ing-Ray Chen, Sayed Atef Banawan:
  Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization. 690-700
  
• Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyen, Grace Tsai:
  Statically Safe Speculative Execution for Real-Time Systems. 701-721
  
• Lionel C. Briand, Sandro Morasca, Victor R. Basili:
  Defining and Validating Measures for Object-Based High-Level Design. 722-743
  

Volume 25, Number 6, November/December 1999

• Richard A. Kemmerer:
  Editorial. 745-746
  

• Mary Jean Harrold, Hausi A. Müller:
  Guest Editorial: Introduction to the Special Section - International Conference on Software Maintenance (ICSM'97). 747-748
  
• Michael Siff, Thomas W. Reps:
  Identifying Modules via Concept Analysis. 749-768
  
• Norman F. Schneidewind:
  Measuring and Evaluating Maintenance Process Using Reliability, Risk, and Test Metrics. 769-781
  

• Carlo Ghezzi, Bashar Nuseibeh:
  Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development. 782-783
  
• Ian Sommerville, Peter Sawyer, Stephen Viller:
  Managing Process Inconsistency Using Viewpoints. 784-799
  
• Mayuram S. Krishnan, Marc I. Kellner:
  Measuring Process Consistency: Implications for Reducing Software Defects. 800-815
  
• William N. Robinson, Suzanne D. Pawlowski:
  Managing Requirements Inconsistency with Development Goal Monitors. 816-835
  
• Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens:
  Managing Standards Compliance. 826-851
  
• Emil Lupu, Morris Sloman:
  Conflicts in Policy-Based Distributed Systems Management. 852-869
  

• David J. Simpson, F. Warren Burton:
  Space Efficient Execution of Deterministic Parallel Programs. 870-882