Journal: IEEE Trans. Software Eng.

Volume 29, Issue 9

769 -- 781Tomas Berling, Per Runeson. Efficient Evaluation of Multifactor Dependent System Performance Using Fractional Factorial Design
782 -- 795Michele Lanza, Stéphane Ducasse. Polymetric Views - A Lightweight Visual Approach to Reverse Engineering
796 -- 810Jane Cleland-Huang, Carl K. Chang, Mark J. Christensen. Event-Based Traceability for Managing Evolutionary Change
811 -- 824Ming Li, Carol Smidts. A Ranking of Software Engineering Measures Based on Expert Opinion
825 -- 837Marcus A. Rothenberger, Kevin J. Dooley, Uday R. Kulkarni, Nader Nada. Strategies for Software Reuse: A Principal Component Analysis of Reuse Practices
838 -- 850Carolyn 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
851 -- 863Simon C. Shaw, Michael Goldstein, Malcolm Munro, Elizabeth Burd. Moral Dominance Relations for Program Comprehension

Volume 29, Issue 8

673 -- 0John C. Knight. AE Farewell
674 -- 676David Lorge Parnas, Mark Lawford. The Role of Inspection in Software Quality Assurance
677 -- 686Alastair Dunsmore, Marc Roper, Murray Wood. The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection
687 -- 704Thomas Thelin, Per Runeson, Claes Wohlin. An Experimental Comparison of Usage-Based and Checklist-Based Reading
705 -- 720Jia Xu. On Inspection and Verification of Software with Timing Requirements
721 -- 733Paul Anderson, Thomas W. Reps, Tim Teitelbaum. Design and Implementation of a Fine-Grained Software Inspection Tool
734 -- 751Tei-Wei Kuo, Li-Pin Chang, Yu-Hua Liu, Kwei-Jay Lin. Efficient Online Schedulability Tests for Real-Time Systems
752 -- 767Daniel Mossé, Rami G. Melhem, Sunondo Ghosh. A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation

Volume 29, Issue 7

577 -- 593Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse. A Choice Relation Framework for Supporting Category-Partition Test Case Generation
594 -- 607Lionel C. Briand, Yvan Labiche, Yihong Wang. An Investigation of Graph-Based Class Integration Test Order Strategies
608 -- 622Jesú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
623 -- 633Rajeev Alur, Kousha Etessami, Mihalis Yannakakis. Inference of Message Sequence Charts
634 -- 648James H. Andrews, Yingjun Zhang. General Test Result Checking with Log File Analysis
649 -- 664Padmal Vitharana, Fatemeh Zahedi, Hemant K. Jain. Knowledge-Based Repository Scheme for Storing and Retrieving Business Components: A Theoretical Design and an Empirical Analysis
665 -- 670José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu. An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension
670 -- 672William M. Evanco. Comments on The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics

Volume 29, Issue 6

481 -- 494James D. Herbsleb, Audris Mockus. An Empirical Study of Speed and Communication in Globally Distributed Software Development
495 -- 509. Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis
510 -- 523Antonella Santone. Heuristic Search + Local Model Checking in Selective mu-Calculus
524 -- 541Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model-Checking Algorithms for Continuous-Time Markov Chains
542 -- 554Barbara A. Kitchenham, Lesley Pickard, Stephen G. Linkman, Peter Jones. Modeling Software Bidding Risks
555 -- 566Brad Long, Daniel Hoffman, Paul A. Strooper. Tool Support for Testing Concurrent Java Components
567 -- 571Daniel M. Berry, Walter F. Tichy. Comments on Formal Methods Application: An Empirical Tale of Software Development
572 -- 575Ann E. Kelley Sobel, Michael R. Clarkson. Response to Comments on Formal Methods Application: An Empirical Tale of Software Development
576 -- 0Jinghong Cox Chen, Hewijin Christine Jiau. Comments on On Object Systems and Behavior Inheritance
576 -- 0Orna Kupferman, David Harel. Response to Comments on On Object Systems and Behavior Inheritance

Volume 29, Issue 5

385 -- 397Stefan Biffl, Michael Halling. Investigating the Defect Detection Effectiveness and Cost Benefit of Nominal Inspection Teams
398 -- 416Erik Stensrud, Ingunn Myrtveit. Identifying High Performance ERP Projects
417 -- 429Stacy J. Prowell, Jesse H. Poore. Foundations of Sequence-Based Software Specification
430 -- 443João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur. Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process
444 -- 458Alan T. Sherman, David A. McGrew. Key Establishment in Large Dynamic Groups Using One-Way Function Trees
459 -- 470Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel. Formalization of the Whole-Part Relationship in the Unified Modeling Language
471 -- 473Min Xie, Bo Yang. A Study of the Effect of Imperfect Debugging on Software Development Cost
474 -- 477Tim Menzies, Justin S. Di Stefano. More Success and Failure Factors in Software Reuse
478 -- 479Maurizio Morisio, Michel Ezran, Colin Tully. Comments on More Success and Failure Factors in Software Reuse

Volume 29, Issue 4

289 -- 0John C. Knight. Editorial: AE Introduction
290 -- 296Robert Grover Little Jr., Michael L. Gibson. Perceived Influences on Implementing Data Warehousing
297 -- 310Ramanath Subramanyam, Mayuram S. Krishnan. Empirical Analysis of CK Metrics for Object-Oriented Design Complexity: Implications for Software Defects
311 -- 326David B. Stewart, Gaurav Arora. A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System
327 -- 344Sun-Jen Huang, Richard Lai. Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification
345 -- 359Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball. Estimating Bounds on the Reliability of Diverse Systems
360 -- 384Songwen Xu, Yam San Chee. Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems

Volume 29, Issue 3

193 -- 194Gerardo Canfora, Anneliese Amschler Andrews. Guest Editors Introduction: 2001 International Conference on Software Maintenance
195 -- 209James A. Jones, Mary Jean Harrold. Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
210 -- 224Thomas Eisenbarth, Rainer Koschke, Daniel Simon. Locating Features in Source Code
225 -- 241Alessandro Bianchi, Danilo Caivano, Vittorio Marengo, Giuseppe Visaggio. Iterative Reengineering of Legacy Systems
242 -- 260Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo. Adding Roles to CORBA Objects
261 -- 269Chin-Yu Huang, Michael R. Lyu, Sy-Yen Kuo. A Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation
270 -- 287Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale. Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics
288 -- 0Chia Hung Kao. Comments on Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study

Volume 29, Issue 2

97 -- 98Mary Jean Harrold, Wilhelm Schäfer. Guest Editors Introduction
99 -- 115Sebastián Uchitel, Jeff Kramer, Jeff Magee. Synthesis of Behavioral Models from Scenarios
116 -- 132Alexander Egyed. A Scenario-Driven Approach to Trace Dependency Analysis
133 -- 150Laura K. Dillon, Kurt Stirewalt. Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components
151 -- 166Annie I. Antón, Colin Potts. Functional Paleontology: The Evolution of User-Visible System Services
167 -- 180Padmal Vitharana, K. Ramamurthy. Computer-Mediated Group Support, Anonymity, and the Software Inspection Process: An Empirical Investigation
181 -- 192Lisandra V. Manzoni, Roberto Tom Price. Identifying Extensions Required by RUP (Rational Unified Process) to Comply with CMM (Capability Maturity Model) Levels 2 and 3

Volume 29, Issue 12

1057 -- 1058Maurizio Morisio, Markku Oivo. Guest Editors Introduction: Software Engineering for the Wireless Internet
1059 -- 1071Mauro Caporuscio, Antonio Carzaniga, Alexander L. Wolf. Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications
1072 -- 1085Alvin T. S. Chan, Siu Nam Chuang. MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing
1086 -- 1099Paolo Bellavista, Antonio Corradi, Rebecca Montanari, Cesare Stefanelli. Context-Aware Middleware for Resource Management in the Wireless Internet
1100 -- 1111Wai Yip Lum, Francis C. M. Lau. User-Centric Content Negotiation for Effective Adaptation Service in Mobile Computing
1112 -- 1121Ichiro Satoh. A Testing Framework for Mobile Computing Software
1122 -- 1134Alexis Ocampo, Daniela Boggio, Jörgen Muünch, Gino Palladino. Toward a Reference Process for Developing Wireless Internet Services

Volume 29, Issue 11

961 -- 0John C. Knight. New AEIC Introduction and AE Farewell
962 -- 973Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro. Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
974 -- 984Martina Marré, Antonia Bertolino. Using Spanning Sets for Coverage Testing
985 -- 995Tron Foss, Erik Stensrud, Barbara A. Kitchenham, Ingunn Myrtveit. A Simulation Study of the Model Evaluation Criterion MMRE
996 -- 1004Skylar Lei, Michael R. Smith. Evaluation of Several Nonparametric Bootstrap Methods to Estimate Confidence Intervals for Software Metrics
1005 -- 1018Amie L. Souter, Lori L. Pollock. The Construction of Contextual Def-Use Associations for Object-Oriented Systems
1019 -- 1030Diomidis Spinellis. Global Analysis and Transformations in Preprocessed Languages
1031 -- 1042Mark W. Bailey, Jack W. Davidson. Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
1043 -- 1049Mohammad Alshayeb, Wei Li. An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes
1050 -- 1053Alexander Chatzigeorgiou. Mathematical Assessment of Object-Oriented Design Quality
1054 -- 1055Hee Beng Kuan Tan, Lun Hao, Yong Yang. On Formalization of the Whole-Part Relationship in the Unified Modeling Language

Volume 29, Issue 10

865 -- 0William G. Griswold. Guest Editor s Introduction: 2002 Conference on the Foundations of Software Engineering
866 -- 882Jianwei Niu, Joanne M. Atlee, Nancy A. Day. Template Semantics for Model-Based Notations
883 -- 897Glenn Bruns, Satish Chandra. Searching for Points-To Analysis
898 -- 914Arie Gurfinkel, Marsha Chechik, Benet Devereux. Temporal Logic Query Checking: A Tool for Model Exploration
915 -- 928Yichen Xie, Dawson R. Engler. Using Redundancies to Find Errors
929 -- 945Licia Capra, Wolfgang Emmerich, Cecilia Mascolo. CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications
946 -- 960Katerina Goseva-Popstojanova, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Diaa Eldin M. Nassar, Hany H. Ammar, Ali Mili. Architectural-Level Risk Analysis Using UML

Volume 29, Issue 1

1 -- 14Fan Zhang, To-Yat Cheung. Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines
15 -- 30Haiping Xu, Sol M. Shatz. A Framework for Model-Based Design of Agent-Oriented Software
31 -- 45Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding. A Formal Architectural Model for Logical Agent Mobility
46 -- 62Richard Lai, Sun-Jen Huang. A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation
63 -- 76Ping-Yu Hsu, Yuan-Bin Chang, Yen-Liang Chen. STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects
77 -- 87Rajendra K. Bandi, Vijay K. Vaishnavi, Daniel E. Turk. Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics
88 -- 94Philip J. Boland, Harshinder Singh, Bojan Cukic. Comparing Partition and Random Testing via Majorization and Schur Functions