Volume 28,
Number 1,
January 2002
Papers
- Jagdish Bansiya, Carl G. Davis:
A Hierarchical Model for Object-Oriented Design Quality Assessment.
4-17
Electronic Edition (IEEE Computer Society DL) BibTeX
- Hui Wu, Wei-Ngan Chin, Joxan Jaffar:
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model.
18-29
Electronic Edition (IEEE Computer Society DL) BibTeX
- Binoy Ravindran:
Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware.
30-57
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- André van der Hoek, Antonio Carzaniga, Dennis Heimbigner, Alexander L. Wolf:
A Testbed for Configuration Management Policy Programming.
79-99
Electronic Edition (IEEE Computer Society DL) BibTeX
- Premkumar T. Devanbu, Stuart G. Stubblebine:
Stack and Queue Integrity on Hostile Platforms.
100-108
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Stephen F. Siegel, George S. Avrunin:
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.
115-128
Electronic Edition (IEEE Computer Society DL) BibTeX
- Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations.
129-145
Electronic Edition (IEEE Computer Society DL) BibTeX
- Dennis K. Peters, David Lorge Parnas:
Requirements-Based Monitors for Real-Time Systems.
146-158
Electronic Edition (IEEE Computer Society DL) BibTeX
- Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel:
Test Case Prioritization: A Family of Empirical Studies.
159-182
Electronic Edition (IEEE Computer Society DL) BibTeX
- Andreas Zeller, Ralf Hildebrandt:
Simplifying and Isolating Failure-Inducing Input.
183-200
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Maurizio Morisio, Michel Ezran, Colin Tully:
Success and Failure Factors in Software Reuse.
340-357
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jayant Rajgopal, Mainak Mazumdar:
Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model.
358-363
Electronic Edition (IEEE Computer Society DL) BibTeX
- Gerard J. Holzmann, Margaret H. Smith:
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
364-377
Electronic Edition (IEEE Computer Society DL) BibTeX
- Svend Frølund, Rachid Guerraoui:
e-Transactions: End-to-End Reliability for Three-Tier Architectures.
378-395
Electronic Edition (IEEE Computer Society DL) BibTeX
- Stephen G. Eick, Todd L. Graves, Alan F. Karr, Audris Mockus, Paul Schuster:
Visualizing Software Changes.
396-412
Electronic Edition (IEEE Computer Society DL) BibTeX
- Dragan Milicev:
Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments.
413-430
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Tom Mens:
A State-of-the-Art Survey on Software Merging.
449-462
Electronic Edition (IEEE Computer Society DL) BibTeX
- T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo:
The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities.
463-477
Electronic Edition (IEEE Computer Society DL) BibTeX
- Nenad Stankovic, Kang Zhang:
A Distributed Parallel Programming Framework.
478-493
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- David A. Wooff, Michael Goldstein, Frank P. A. Cohen:
Bayesian Graphical Models for Software Testing.
510-524
Electronic Edition (IEEE Computer Society DL) BibTeX
Short Papers
Volume 28,
Number 6,
June 2002
Papers
- Sherif M. Yacoub, Hany H. Ammar:
A Methodology for Architecture-Level Reliability Risk Analysis.
529-547
Electronic Edition (IEEE Computer Society DL) BibTeX
- Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena:
A Logical Theory of Interfaces and Objects.
548-575
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai:
Incremental Integration Testing of Concurrent Programs.
607-623
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Liliana Dobrica, Eila Niemelä:
A Survey on Software Architecture Analysis Methods.
638-653
Electronic Edition (IEEE Computer Society DL) BibTeX
- Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue:
CCFinder: A Multilinguistic Token-Based Code Clone Detection System for Large Scale Source Code.
654-670
Electronic Edition (IEEE Computer Society DL) BibTeX
- Stephanie Teasley, Lisa Covi, Mayuram S. Krishnan, Judith S. Olson:
Rapid Software Development through Team Collocation.
671-683
Electronic Edition (IEEE Computer Society DL) BibTeX
- Vijay S. Mookerjee, I. Robert Chiang:
A Dynamic Coordination Policy for Software System Construction.
684-694
Electronic Edition (IEEE Computer Society DL) BibTeX
- Dewayne E. Perry, Adam A. Porter, Michael W. Wade, Lawrence G. Votta, James Perpich:
Reducing Inspection Interval in Large-Scale Software Development.
695-705
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Christian S. Collberg, Clark D. Thomborson:
Watermarking, Tamper-Proofing, and Obfuscation-Tools for Software Protection.
735-746
Electronic Edition (IEEE Computer Society DL) BibTeX
- Betty H. C. Cheng, Enoch Y. Wang:
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.
747-762
Electronic Edition (IEEE Computer Society DL) BibTeX
- Christopher A. Healy, David B. Whalley:
Automatic Detection and Exploitation of Branch Constraints for Timing Analysis.
763-781
Electronic Edition (IEEE Computer Society DL) BibTeX
- João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur:
A Formal Model of the Software Test Process.
782-796
Electronic Edition (IEEE Computer Society DL) BibTeX
- Giulio Mori, Fabio Paternò, Carmen Santoro:
CTTE: Support for Developing and Analyzing Task Models for Interactive System Design.
797-813
Electronic Edition (IEEE Computer Society DL) BibTeX
Short Papers
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
Electronic Edition (link) BibTeX
- Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
Product Form Solution for Generalized Stochastic Petri Nets.
915-932
Electronic Edition (IEEE Computer Society DL) BibTeX
- András Horváth, Miklós Telek:
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions.
933-943
Electronic Edition (IEEE Computer Society DL) BibTeX
- Marco Gribaudo, András Horváth:
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique.
944-955
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
Regular Papers
Volume 28,
Number 11,
November 2002
Volume 28,
Number 12,
December 2002
Editorial
Papers
Copyright © Sun May 17 00:30:44 2009
by Michael Ley (ley@uni-trier.de)
