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
- Haiping Xu, Sol M. Shatz:
A Framework for Model-Based Design of Agent-Oriented Software.
15-30
- Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding:
A Formal Architectural Model for Logical Agent Mobility.
31-45
- Richard Lai, Sun-Jen Huang:
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.
46-62
- 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
- Rajendra K. Bandi, Vijay K. Vaishnavi, Daniel E. Turk:
Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics.
77-87
Short Papers
Volume 29,
Number 2,
February 2003
Special Section on the 2001 International Conference on Software Engineering
Regular Papers
- Padmal Vitharana, K. Ramamurthy:
Computer-Mediated Group Support, Anonymity, and the Software Inspection Process: An Empirical Investigation.
167-180
- Lisandra V. Manzoni, Roberto Tom Price:
Identifying Extensions Required by RUP (Rational Unified Process) to Comply with CMM (Capability Maturity Model) Levels 2 and 3.
181-192
Volume 29,
Number 3,
March 2003
Special Section on the International Conference on Software Maintenance
Regular Papers
Short Papers
- Chia Hung Kao:
Comments on "Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study".
288
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
- Lionel C. Briand, Yvan Labiche, Yihong Wang:
An Investigation of Graph-Based Class Integration Test Order Strategies.
594-607
- 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
- Rajeev Alur, Kousha Etessami, Mihalis Yannakakis:
Inference of Message Sequence Charts.
623-633
- James H. Andrews, Yingjun Zhang:
General Test Result Checking with Log File Analysis.
634-648
- 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
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
- Michele Lanza, Stéphane Ducasse:
Polymetric Views - A Lightweight Visual Approach to Reverse Engineering.
782-795
- Jane Cleland-Huang, Carl K. Chang, Mark J. Christensen:
Event-Based Traceability for Managing Evolutionary Change.
796-810
- Ming Li, Carol Smidts:
A Ranking of Software Engineering Measures Based on Expert Opinion.
811-824
- Marcus A. Rothenberger, Kevin J. Dooley, Uday R. Kulkarni, Nader Nada:
Strategies for Software Reuse: A Principal Component Analysis of Reuse Practices.
825-837
- 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
- Simon C. Shaw, Michael Goldstein, Malcolm Munro, Elizabeth Burd:
Moral Dominance Relations for Program Comprehension.
851-863
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
- Martina Marré, Antonia Bertolino:
Using Spanning Sets for Coverage Testing.
974-984
- Tron Foss, Erik Stensrud, Barbara Kitchenham, Ingunn Myrtveit:
A Simulation Study of the Model Evaluation Criterion MMRE.
985-995
- Skylar Lei, Michael R. Smith:
Evaluation of Several Nonparametric Bootstrap Methods to Estimate Confidence Intervals for Software Metrics.
996-1004
- Amie L. Souter, Lori L. Pollock:
The Construction of Contextual Def-Use Associations for Object-Oriented Systems.
1005-1018
- Diomidis Spinellis:
Global Analysis and Transformations in Preprocessed Languages.
1019-1030
- Mark W. Bailey, Jack W. Davidson:
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.
1031-1042
- Mohammad Alshayeb, Wei Li:
An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes.
1043-1049
Short Papers
Volume 29,
Number 12,
December 2003
- Maurizio Morisio, Markku Oivo:
Guest Editors' Introduction: Software Engineering for the Wireless Internet.
1057-1058
- Mauro Caporuscio, Antonio Carzaniga, Alexander L. Wolf:
Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications.
1059-1071
- Alvin T. S. Chan, Siu Nam Chuang:
MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing.
1072-1085
- Paolo Bellavista, Antonio Corradi, Rebecca Montanari, Cesare Stefanelli:
Context-Aware Middleware for Resource Management in the Wireless Internet.
1086-1099
- Wai Yip Lum, Francis C. M. Lau:
User-Centric Content Negotiation for Effective Adaptation Service in Mobile Computing.
1100-1111
- Ichiro Satoh:
A Testing Framework for Mobile Computing Software.
1112-1121
- Alexis Ocampo, Daniela Boggio, Jörgen Muünch, Gino Palladino:
Toward a Reference Process for Developing Wireless Internet Services.
1122-1134
Copyright © Sun Nov 8 03:53:49 2009
by Michael Ley (ley@uni-trier.de)
