Volume 28,
Number 1,
January 2002
Papers
- Jagdish Bansiya, Carl G. Davis:
A Hierarchical Model for Object-Oriented Design Quality Assessment.
4-17
- Hui Wu, Wei-Ngan Chin, Joxan Jaffar:
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model.
18-29
- Binoy Ravindran:
Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware.
30-57
- Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander:
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.
58-78
- André van der Hoek, Antonio Carzaniga, Dennis Heimbigner, Alexander L. Wolf:
A Testbed for Configuration Management Policy Programming.
79-99
- Premkumar T. Devanbu, Stuart G. Stubblebine:
Stack and Queue Integrity on Hostile Platforms.
100-108
Short Papers
Volume 28,
Number 2,
February 2002
Special Section on the 2000 International Symposium on Software Testing and Analysis
- Mary Jean Harrold, Antonia Bertolino:
Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis.
113-114
- Stephen F. Siegel, George S. Avrunin:
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.
115-128
- Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations.
129-145
- Dennis K. Peters, David Lorge Parnas:
Requirements-Based Monitors for Real-Time Systems.
146-158
- Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel:
Test Case Prioritization: A Family of Empirical Studies.
159-182
- Andreas Zeller, Ralf Hildebrandt:
Simplifying and Isolating Failure-Inducing Input.
183-200
Regular Papers
Volume 28,
Number 3,
March 2002
AE Introduction
Papers
Volume 28,
Number 4,
April 2002
- Curtis E. Hrischuk, C. Murray Woodside:
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System.
321-339
- Maurizio Morisio, Michel Ezran, Colin Tully:
Success and Failure Factors in Software Reuse.
340-357
- Jayant Rajgopal, Mainak Mazumdar:
Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model.
358-363
- Gerard J. Holzmann, Margaret H. Smith:
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
364-377
- Svend Frølund, Rachid Guerraoui:
e-Transactions: End-to-End Reliability for Three-Tier Architectures.
378-395
- Stephen G. Eick, Todd L. Graves, Alan F. Karr, Audris Mockus, Paul Schuster:
Visualizing Software Changes.
396-412
- Dragan Milicev:
Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments.
413-430
Volume 28,
Number 5,
May 2002
Regular Papers
- Amy L. Murphy, Gruia-Catalin Roman, George Varghese:
Tracking Mobile Units for Dependable Message Delivery.
433-448
- Tom Mens:
A State-of-the-Art Survey on Software Merging.
449-462
- T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo:
The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities.
463-477
- Nenad Stankovic, Kang Zhang:
A Distributed Parallel Programming Framework.
478-493
- Khaled El Emam, Saïda Benlarbi, Nishith Goel, Walcélio L. Melo, Hakim Lounis, Shesh N. Rai:
The Optimal Class Size for Object-Oriented Software.
494-509
- David A. Wooff, Michael Goldstein, Frank P. A. Cohen:
Bayesian Graphical Models for Software Testing.
510-524
Short Papers
- Lu Zhang, Dan Xie:
Comments on "On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics".
526-527
Volume 28,
Number 6,
June 2002
Papers
- Sherif M. Yacoub, Hany H. Ammar:
A Methodology for Architecture-Level Reliability Risk Analysis.
529-547
- Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena:
A Logical Theory of Interfaces and Objects.
548-575
- Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gregg Rothermel:
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology.
576-594
- Lutz Prechelt, Barbara Unger-Lamprecht, Michael Philippsen, Walter F. Tichy:
Two Controlled Experiments Assessing the Usefulness of Design Pattern Documentation in Program Maintenance.
595-606
- Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai:
Incremental Integration Testing of Concurrent Programs.
607-623
Erratum
Volume 28,
Number 7,
July 2002
Papers
- David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus:
Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor.
625-637
- Liliana Dobrica, Eila Niemelä:
A Survey on Software Architecture Analysis Methods.
638-653
- Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue:
CCFinder: A Multilinguistic Token-Based Code Clone Detection System for Large Scale Source Code.
654-670
- Stephanie Teasley, Lisa Covi, Mayuram S. Krishnan, Judith S. Olson:
Rapid Software Development through Team Collocation.
671-683
- Vijay S. Mookerjee, I. Robert Chiang:
A Dynamic Coordination Policy for Software System Construction.
684-694
- Dewayne E. Perry, Adam A. Porter, Michael W. Wade, Lawrence G. Votta, James Perpich:
Reducing Inspection Interval in Large-Scale Software Development.
695-705
- Lionel C. Briand, Walcélio L. Melo, Jürgen Wüst:
Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects.
706-720
Volume 28,
Number 8,
August 2002
Papers
- Barbara Kitchenham, Shari Lawrence Pfleeger, Lesley Pickard, Peter Jones, David C. Hoaglin, Khaled El Emam, Jarrett Rosenberg:
Preliminary Guidelines for Empirical Research in Software Engineering.
721-734
- Christian S. Collberg, Clark D. Thomborson:
Watermarking, Tamper-Proofing, and Obfuscation-Tools for Software Protection.
735-746
- Betty H. C. Cheng, Enoch Y. Wang:
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.
747-762
- Christopher A. Healy, David B. Whalley:
Automatic Detection and Exploitation of Branch Constraints for Timing Analysis.
763-781
- João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur:
A Formal Model of the Software Test Process.
782-796
- Giulio Mori, Fabio Paternò, Carmen Santoro:
CTTE: Support for Developing and Analyzing Task Models for Interactive System Design.
797-813
Short Papers
- Wladyslaw M. Turski:
The Reference Model for Smooth Growth of Software Systems Revisited.
814-815
Volume 28,
Number 9,
September 2002
Special Section on Rapid System Prototyping
Regular Papers
Volume 28,
Number 10,
October 2002
Special Section on Petri Nets and Performance Models
- Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort:
Introduction to the Special Section on Petri Nets and Performance Models.
913-914
- Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
Product Form Solution for Generalized Stochastic Petri Nets.
915-932
- András Horváth, Miklós Telek:
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions.
933-943
- Marco Gribaudo, András Horváth:
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique.
944-955
- Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster:
The Möbius Framework and Its Implementation.
956-969
Regular Papers
Volume 28,
Number 11,
November 2002
Volume 28,
Number 12,
December 2002
Editorial
Papers
Copyright © Tue Nov 24 20:53:50 2009
by Michael Ley (ley@uni-trier.de)
