Volume 29,
Number 1,
January 2003
Papers
- Fan Zhang, To-Yat Cheung:
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines.
1-14
Electronic Edition (IEEE Computer Society DL) BibTeX
- Haiping Xu, Sol M. Shatz:
A Framework for Model-Based Design of Agent-Oriented Software.
15-30
Electronic Edition (IEEE Computer Society DL) BibTeX
- Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding:
A Formal Architectural Model for Logical Agent Mobility.
31-45
Electronic Edition (IEEE Computer Society DL) BibTeX
- Richard Lai, Sun-Jen Huang:
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.
46-62
Electronic Edition (IEEE Computer Society DL) BibTeX
- Ping-Yu Hsu, Yuan-Bin Chang, Yen-Liang Chen:
STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects.
63-76
Electronic Edition (IEEE Computer Society DL) BibTeX
- Rajendra K. Bandi, Vijay K. Vaishnavi, Daniel E. Turk:
Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics.
77-87
Electronic Edition (IEEE Computer Society DL) BibTeX
Short Papers
Volume 29,
Number 2,
February 2003
Special Section on the 2001 International Conference on Software Engineering
Regular Papers
Volume 29,
Number 3,
March 2003
Special Section on the International Conference on Software Maintenance
Regular Papers
Short Papers
Volume 29,
Number 4,
April 2003
Editorial
Regular Papers
Volume 29,
Number 5,
May 2003
Papers
Short Papers
Volume 29,
Number 6,
June 2003
Papers
Short Papers
Volume 29,
Number 7,
July 2003
Papers
- Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse:
A Choice Relation Framework for Supporting Category-Partition Test Case Generation.
577-593
Electronic Edition (link) BibTeX
- Lionel C. Briand, Yvan Labiche, Yihong Wang:
An Investigation of Graph-Based Class Integration Test Order Strategies.
594-607
Electronic Edition (link) BibTeX
- Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, Alberto Córdoba:
A Safe Algorithm for Resolving OR Deadlocks.
608-622
Electronic Edition (link) BibTeX
- Rajeev Alur, Kousha Etessami, Mihalis Yannakakis:
Inference of Message Sequence Charts.
623-633
Electronic Edition (link) BibTeX
- James H. Andrews, Yingjun Zhang:
General Test Result Checking with Log File Analysis.
634-648
Electronic Edition (link) BibTeX
- Padmal Vitharana, Fatemeh Zahedi, Hemant K. Jain:
Knowledge-Based Repository Scheme for Storing and Retrieving Business Components: A Theoretical Design and an Empirical Analysis.
649-664
Electronic Edition (link) BibTeX
Short Papers
Volume 29,
Number 8,
August 2003
Editorial
Special Section on Software Inspection
Regular Papers
Volume 29,
Number 9,
September 2003
Regular Papers
- Tomas Berling, Per Runeson:
Efficient Evaluation of Multifactor Dependent System Performance Using Fractional Factorial Design.
769-781
Electronic Edition (link) BibTeX
- Michele Lanza, Stéphane Ducasse:
Polymetric Views - A Lightweight Visual Approach to Reverse Engineering.
782-795
Electronic Edition (link) BibTeX
- Jane Cleland-Huang, Carl K. Chang, Mark J. Christensen:
Event-Based Traceability for Managing Evolutionary Change.
796-810
Electronic Edition (link) BibTeX
- Ming Li, Carol Smidts:
A Ranking of Software Engineering Measures Based on Expert Opinion.
811-824
Electronic Edition (link) BibTeX
- Marcus A. Rothenberger, Kevin J. Dooley, Uday R. Kulkarni, Nader Nada:
Strategies for Software Reuse: A Principal Component Analysis of Reuse Practices.
825-837
Electronic Edition (link) BibTeX
- Carolyn B. Seaman, Manoel G. Mendonça, Victor R. Basili, Yong-Mi Kim:
User Interface Evaluation and Empirically-Based Evolution of a Prototype Experience Management Tool.
838-850
Electronic Edition (link) BibTeX
- Simon C. Shaw, Michael Goldstein, Malcolm Munro, Elizabeth Burd:
Moral Dominance Relations for Program Comprehension.
851-863
Electronic Edition (link) BibTeX
Volume 29,
Number 10,
October 2003
Special Section on the International Conference on the Foundations of Software Engineering
Regular Papers
Volume 29,
Number 11,
November 2003
Editorial
Regular Papers
- Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro:
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities.
962-973
Electronic Edition (link) BibTeX
- Martina Marré, Antonia Bertolino:
Using Spanning Sets for Coverage Testing.
974-984
Electronic Edition (link) BibTeX
- Tron Foss, Erik Stensrud, Barbara Kitchenham, Ingunn Myrtveit:
A Simulation Study of the Model Evaluation Criterion MMRE.
985-995
Electronic Edition (link) BibTeX
- Skylar Lei, Michael R. Smith:
Evaluation of Several Nonparametric Bootstrap Methods to Estimate Confidence Intervals for Software Metrics.
996-1004
Electronic Edition (link) BibTeX
- Amie L. Souter, Lori L. Pollock:
The Construction of Contextual Def-Use Associations for Object-Oriented Systems.
1005-1018
Electronic Edition (link) BibTeX
- Diomidis Spinellis:
Global Analysis and Transformations in Preprocessed Languages.
1019-1030
Electronic Edition (link) BibTeX
- Mark W. Bailey, Jack W. Davidson:
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.
1031-1042
Electronic Edition (link) BibTeX
- Mohammad Alshayeb, Wei Li:
An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes.
1043-1049
Electronic Edition (link) BibTeX
Short Papers
Volume 29,
Number 12,
December 2003
- Maurizio Morisio, Markku Oivo:
Guest Editors' Introduction: Software Engineering for the Wireless Internet.
1057-1058
Electronic Edition (link) BibTeX
- Mauro Caporuscio, Antonio Carzaniga, Alexander L. Wolf:
Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications.
1059-1071
Electronic Edition (link) BibTeX
- Alvin T. S. Chan, Siu Nam Chuang:
MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing.
1072-1085
Electronic Edition (link) BibTeX
- Paolo Bellavista, Antonio Corradi, Rebecca Montanari, Cesare Stefanelli:
Context-Aware Middleware for Resource Management in the Wireless Internet.
1086-1099
Electronic Edition (link) BibTeX
- Wai Yip Lum, Francis C. M. Lau:
User-Centric Content Negotiation for Effective Adaptation Service in Mobile Computing.
1100-1111
Electronic Edition (link) BibTeX
- Ichiro Satoh:
A Testing Framework for Mobile Computing Software.
1112-1121
Electronic Edition (link) BibTeX
- Alexis Ocampo, Daniela Boggio, Jörgen Muünch, Gino Palladino:
Toward a Reference Process for Developing Wireless Internet Services.
1122-1134
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:30:44 2009
by Michael Ley (ley@uni-trier.de)