default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 29
Volume 29, Number 1, January 2003
- 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
- Philip J. Boland, Harshinder Singh, Bojan Cukic:
Comparing Partition and Random Testing via Majorization and Schur Functions. 88-94
Volume 29, Number 2, February 2003
- Mary Jean Harrold, Wilhelm Schäfer:
Guest Editors' Introduction. 97-98 - Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Synthesis of Behavioral Models from Scenarios. 99-115 - Alexander Egyed:
A Scenario-Driven Approach to Trace Dependency Analysis. 116-132 - Laura K. Dillon, Kurt Stirewalt:
Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components. 133-150 - Annie I. Antón, Colin Potts:
Functional Paleontology: The Evolution of User-Visible System Services. 151-166
- Padmal Vitharana, Keshavamurthy 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
- Gerardo Canfora, Anneliese Amschler Andrews:
Guest Editors' Introduction: 2001 International Conference on Software Maintenance. 193-194 - James A. Jones, Mary Jean Harrold:
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage. 195-209 - Thomas Eisenbarth, Rainer Koschke, Daniel Simon:
Locating Features in Source Code. 210-224 - Alessandro Bianchi, Danilo Caivano, Vittorio Marengo, Giuseppe Visaggio:
Iterative Reengineering of Legacy Systems. 225-241
- Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo:
Adding Roles to CORBA Objects. 242-260 - Chin-Yu Huang, Michael R. Lyu, Sy-Yen Kuo:
A Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation. 261-269 - Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale:
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. 270-287
- Chia Hung Kao:
Comments on "Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study". 288
Volume 29, Number 4, April 2003
- John C. Knight:
Editorial: AE Introduction. 289
- Robert Grover Little Jr., Michael L. Gibson:
Perceived Influences on Implementing Data Warehousing. 290-296 - Ramanath Subramanyam, Mayuram S. Krishnan:
Empirical Analysis of CK Metrics for Object-Oriented Design Complexity: Implications for Software Defects. 297-310 - David B. Stewart, Gaurav Arora:
A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System. 311-326 - Sun-Jen Huang, Richard Lai:
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. 327-344 - Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball:
Estimating Bounds on the Reliability of Diverse Systems. 345-359 - Songwen Xu, Yam San Chee:
Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems. 360-384
Volume 29, Number 5, May 2003
- Stefan Biffl, Michael Halling:
Investigating the Defect Detection Effectiveness and Cost Benefit of Nominal Inspection Teams. 385-397 - Erik Stensrud, Ingunn Myrtveit:
Identifying High Performance ERP Projects. 398-416 - Stacy J. Prowell, Jesse H. Poore:
Foundations of Sequence-Based Software Specification. 417-429 - João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur:
Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process. 430-443 - Alan T. Sherman, David A. McGrew:
Key Establishment in Large Dynamic Groups Using One-Way Function Trees. 444-458 - Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel:
Formalization of the Whole-Part Relationship in the Unified Modeling Language. 459-470
- Min Xie, Bo Yang:
A Study of the Effect of Imperfect Debugging on Software Development Cost. 471-473 - Tim Menzies, Justin S. Di Stefano:
More Success and Failure Factors in Software Reuse. 474-477 - Maurizio Morisio, Michel Ezran, Colin Tully:
Comments on "More Success and Failure Factors in Software Reuse". 478-479
Volume 29, Number 6, June 2003
- James D. Herbsleb, Audris Mockus:
An Empirical Study of Speed and Communication in Globally Distributed Software Development. 481-494 - Paolo Tonella:
Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis. 495-509 - Antonella Santone:
Heuristic Search + Local Model Checking in Selective mu-Calculus. 510-523 - Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model-Checking Algorithms for Continuous-Time Markov Chains. 524-541 - Barbara A. Kitchenham, Lesley Pickard, Stephen G. Linkman, Peter W. Jones:
Modeling Software Bidding Risks. 542-554 - Brad Long, Daniel Hoffman, Paul A. Strooper:
Tool Support for Testing Concurrent Java Components. 555-566
- Daniel M. Berry, Walter F. Tichy:
Comments on "Formal Methods Application: An Empirical Tale of Software Development". 567-571 - Ann E. Kelley Sobel, Michael R. Clarkson:
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". 572-575 - Jinghong Cox Chen, Hewijin Christine Jiau:
Comments on "On Object Systems and Behavior Inheritance". 576 - Orna Kupferman, David Harel:
Response to "Comments on 'On Object Systems and Behavior Inheritance'". 576
Volume 29, Number 7, July 2003
- 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
- José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu:
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension. 665-670 - William M. Evanco:
Comments on "The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics". 670-672
Volume 29, Number 8, August 2003
- John C. Knight:
Editorial: AE Farewell. 673
- David Lorge Parnas, Mark Lawford:
The Role of Inspection in Software Quality Assurance. 674-676 - Alastair Dunsmore, Marc Roper, Murray Wood:
The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection. 677-686 - Thomas Thelin, Per Runeson, Claes Wohlin:
An Experimental Comparison of Usage-Based and Checklist-Based Reading. 687-704 - Jia Xu:
On Inspection and Verification of Software with Timing Requirements. 705-720 - Paul Anderson, Thomas W. Reps, Tim Teitelbaum:
Design and Implementation of a Fine-Grained Software Inspection Tool. 721-733
- Tei-Wei Kuo, Li-Pin Chang, Yu-Hua Liu, Kwei-Jay Lin:
Efficient Online Schedulability Tests for Real-Time Systems. 734-751 - Daniel Mossé, Rami G. Melhem, Sunondo Ghosh:
A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation. 752-767
Volume 29, Number 9, September 2003
- 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 S. 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
- William G. Griswold:
Guest Editor's Introduction: 2002 Conference on the Foundations of Software Engineering. 865 - Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Template Semantics for Model-Based Notations. 866-882 - Glenn Bruns, Satish Chandra:
Searching for Points-To Analysis. 883-897 - Arie Gurfinkel, Marsha Chechik, Benet Devereux:
Temporal Logic Query Checking: A Tool for Model Exploration. 898-914 - Yichen Xie, Dawson R. Engler:
Using Redundancies to Find Errors. 915-928 - Licia Capra, Wolfgang Emmerich, Cecilia Mascolo:
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. 929-945
- Katerina Goseva-Popstojanova, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Diaa Eldin M. Nassar, Hany H. Ammar, Ali Mili:
Architectural-Level Risk Analysis Using UML. 946-960
Volume 29, Number 11, November 2003
- John C. Knight:
New AEIC Introduction and AE Farewell. 961
- 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 A. 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 R. Alshayeb, Wei Li:
An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes. 1043-1049
- Alexander Chatzigeorgiou:
Mathematical Assessment of Object-Oriented Design Quality. 1050-1053 - Hee Beng Kuan Tan, Lun Hao, Yong Yang:
On Formalization of the Whole-Part Relationship in the Unified Modeling Language. 1054-1055
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 Münch, Gino Palladino:
Toward a Reference Process for Developing Wireless Internet Services. 1122-1134
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-29 23:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
