default search action
IEEE Transactions on Software Engineering (TSE), Volume 30
Volume 30, Number 1, January 2004
- John C. Knight:
Editorial: AE Introduction. 1-2 - Mark Harman
, Lin Hu, Robert M. Hierons
Testability Transformation. 3-16 - Frank Padberg, Thomas Ragg, Ralf Schoknecht:
Using Machine Learning for Estimating the Defect Content After an Inspection. 17-28 - Alexandre Petrenko
Confirming Configurations in EFSM Testing. 29-42 - Giuliano Antoniol, Aniello Cimitile, Giuseppe A. Di Lucca
Assessing Staffing Needs for a Software Maintenance Project through Queuing Simulation. 43-58 - Gwan-Hwan Hwang, Sheng-Jen Chang, Huey-Der Chu:
Technology for Testing Nondeterministic Client/Server Database Applications. 59-77
Volume 30, Number 2, February 2004
- John C. Knight:
Editorial: The State of TSE. 81- - Bruce C. Hungerford, Alan R. Hevner, Rosann W. Collins:
Reviewing Software Diagrams: A Cognitive Study. 82-96 - Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
Timed State Space Analysis of Real-Time Preemptive Systems. 97-111 - Yun-Hong Lee, Albert Mo Kim Cheng
Optimizing Real-Time Equational Rule-Based Systems. 112-125 - Tom Mens
A Survey of Software Refactoring. 126-139 - Dragan Bojic
Addendum to "Locating Features in Source Code'. 140-
Volume 30, Number 3, March 2004
- Toacy Cavalcante de Oliveira
Software Process Representation and Analysis for Framework Instantiation. 145-159 - Henry Muccini
Using Software Architecture for Code Testing. 160-171 - Robyn R. Lutz
Empirical Analysis of Safety-Critical Anomalies During Operations. 172-180 - Christian Kirkegaard, Anders Møller
Static Analysis of XML Transformations in Java. 181-192 - Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song:
A UML-Based Pattern Specification Technique. 193-206
Volume 30, Number 4, April 2004
- Magne Jørgensen:
Realism in Assessment of Effort Estimation Uncertainty: It Matters How You Ask. 209-217 - Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen:
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks. 218-230 - Fubo Zhang, Erik H. D'Hollander:
Using Hammock Graphs to Structure Programs. 231-245 - James W. Paulson, Giancarlo Succi
An Empirical Study of Open-Source and Closed-Source Software Products. 246-256 - Keith Whisnant, Ravishankar K. Iyer, Zbigniew Kalbarczyk, Phillip H. Jones III, David A. Rennels, Raphael R. Some:
The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications. 257-277 - Gwan-Hwan Hwang, Sheng-Jen Chang, Huey-Der Chu:
Correction to 'Technology for Testing Nondeterministic Client/Server Database Applications'. 278-
Volume 30, Number 5, May 2004
- John C. Knight:
Editorial: AE Farewell. 281- - Javier Andrade Garda, Juan Ares Casal
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling. 282-294 - Simonetta Balsamo, Antinisca Di Marco
Model-Based Performance Prediction in Software Development: A Survey. 295-310 - Liangzhao Zeng, Boualem Benatallah, Anne H. H. Ngu, Marlon Dumas
QoS-Aware Middleware for Web Services Composition. 311-327 - Luiz Marcio Cysneiros, Julio César Sampaio do Prado Leite
Nonfunctional Requirements: From Elicitation to Conceptual Models. 328-350
Volume 30, Number 6, June 2004
- Laura K. Dillon, Walter F. Tichy:
Guest Editors' Introduction: 2003 International Conference on Software Engineering. 353-354 - Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer:
Scaling Step-Wise Refinement. 355-371 - Atanas Rountev, Ana L. Milanova, Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software. 372-387 - Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith:
Modular Verification of Software Components in C. 388-402 - Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang:
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. 403-417 - D. Richard Kuhn, Dolores R. Wallace, Albert M. Gallo:
Software Fault Interactions and Implications for Software Testing. 418-421
Volume 30, Number 7, July 2004
- Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
FSM-Based Incremental Conformance Testing Methods. 425-436 - Rik Eshuis
Tool Support for Verifying UML Activity Diagrams. 437-447 - Jeong A. Kang, Albert Mo Kim Cheng
Shortening Matching Time in OPS5 Production Systems. 448-457 - Uwe Glässer, Yuri Gurevich, Margus Veanes:
Abstract Communication Model for Distributed Systems. 458-472 - Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. 473-487
Volume 30, Number 8, August 2004
- John C. Knight:
Editorial: AE Introduction. 489-490 - Erik Arisholm, Lionel C. Briand, Audun Føyen:
Dynamic Coupling Measurement for Object-Oriented Software. 491-506 - Giulio Mori, Fabio Paternò
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions. 507-520 - Erik Arisholm, Dag I. K. Sjøberg:
Evaluating the Effect of a Delegated versus Centralized Control Style on the Maintainability of Object-Oriented Software. 521-534 - Benjamin B. Bederson
Toolkit Design for Interactive Structured Graphics. 535-546 - Christof Fetzer, Pascal Felber
Automatic Detection and Masking of Nonatomic Exception Handling. 547-560
Volume 30, Number 9, September 2004
- Soojung Lee:
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model. 561-573 - Annie T. T. Ying, Gail C. Murphy, Raymond T. Ng, Mark Chu-Carroll:
Predicting Source Code Changes by Mining Change History. 574-586 - Brandon Morel, Perry Alexander:
SPARTACAS Automating Component Reuse and Adaptation. 587-600 - Amir Tomer, Leah Goldin, Tsvi Kuflik
Evaluating Software Reuse Alternatives: A Model and Its Application to an Industrial Case Study. 601-612 - Peng Li, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi:
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. 613-629
Volume 30, Number 10, October 2004
- John Knight:
Editorial: AE Introduction and Farewell. 633-
- Dennis Brylow, Jens Palsberg:
Deadline Analysis of Interrupt-Driven Software. 634-655 - Pao-Ann Hsiung, Shang-Wei Lin
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. 656-674 - Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper
SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. 675-693 - Liguo Yu, Stephen R. Schach, Kai Chen, A. Jefferson Offutt:
Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel. 694-706
- Hewijin Christine Jiau, Chia Hung Kao
Comments on "Software Process Representation and Analysis for Framework Instantiation". 707- - Toacy Cavalcante de Oliveira
Response to Jiau et al.'s Comments. 708-
Volume 30, Number 11, November 2004
- David W. Binkley, Mark Harman
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. 715-735 - Issa Traoré, Demissie B. Aredo:
Enhancing Structured Review with Model-Based Verification. 736-753 - Jeff Tian, Sunita Rudraraju, Zhao Li:
Evaluating Web Software Reliability Based on Workload and Failure Data Extracted from Server Logs. 754-769 - Lionel C. Briand, Massimiliano Di Penta
Assessing and Improving State-Based Class Testing: A Series of Experiments. 770-793 - Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth:
Contract-Checking Wrappers for C++ Classes. 794-810 - James Miller, Zhichao Yin:
A Cognitive-Based Mechanism for Constructing Software Inspection Teams. 811-825 - Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae:
Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables. 826-832
Volume 30, Number 12, December 2004
- Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee
Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages. 841-858 - Nelly Delgado, Ann Q. Gates, Steve Roach:
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. 859-872 - Jeffrey Parsons
Cognitive Heuristics in Software Engineering: Applying and Extending Anchoring and Adjustment to Artifact Reuse. 873-888 - Martin P. Robillard, Wesley Coelho, Gail C. Murphy:
How Effective Developers Investigate Source Code: An Exploratory Study. 889-903 - Marek Vokác:
Defect Frequency and Design Patterns: An Empirical Study of Industrial Code. 904-917 - Eugene Y. C. Wong, Alvin T. S. Chan, Hong Va Leong
Xstream: A Middleware for Streaming XML Contents over Wireless Environments. 918-935 - Luqi, Lin Zhang, Valdis Berzins, Ying Qiao:
Documentation Driven Development for Complex Real-Time Systems. 936-952 - Magne Jørgensen, Gunnar J. Carelius:
An Empirical Study of Software Project Bidding. 953-969 - Sascha Konrad, Betty H. C. Cheng
Object Analysis Patterns for Embedded Systems. 970-992 - Magne Jørgensen, Kjetil Moløkken-Østvold:
Reasons for Software Effort Estimation Error: Impact of Respondent Role, Information Collection Approach, and Data Analysis Method. 993-1007 - Robert Miller, Anand R. Tripathi:
The Guardian Model and Primitives for Exception Handling in Distributed Systems. 1008-1022 - Barbara A. Kitchenham
Software Productivity Measurement Using Multiple Size Measures. 1023-1035 - Ted J. Biggerstaff:
A New Architecture for Transformation-Based Generators. 1036-1054 - Rémi Forax, Étienne Duris, Gilles Roussel:
A Reflective Implementation of Java Multi-Methods. 1055-1071 - Alberto Avritzer, Elaine J. Weyuker:
The Role of Modeling in the Performance Testing of E-Commerce Applications. 1072-1083
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 2024-11-19 20:34 CET 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: