IEEE Transactions on Software Engineering (TSE), Volume 25

Volume 25, Number 1, January/February 1999

Special Section: Third International Conference on Engineering Complex Computer Systems (ICECCS'97)

• 
  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 César 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

Regular Papers

• 
  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

Correspondence

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

Volume 25, Number 2, March/April 1999

Special Section: Seventh International Workshop on Petri Nets and Performance Models (PNPM'97)

• 
  Javier Campos, Susanna Donatelli, Manuel Silva Suárez:
  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

Regular Papers

• 
  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

Correspondence

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

Volume 25, Number 3, May/June 1999

Domain-Specfic Languages (DSL)

• 
  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

Regular Papers

• 
  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

Correspondence

• 
  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

Empirical Software Engineering

• 
  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

Regular Papers

• 
  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

Dependable Computing for Critical Applications (DCCA-6)

• 
  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

Regular Papers

• 
  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

International Conference on Software Maintenance (ICSM'97)

• 
  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

Managing Inconsistency in Software Development

• 
  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

Regular Paper

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