default search action
IEEE Transactions on Software Engineering (TSE), Volume 28
Volume 28, Number 1, January 2002
- Jagdish Bansiya, Carl G. Davis:
A Hierarchical Model for Object-Oriented Design Quality Assessment. 4-17 - Hui Wu
, Wei-Ngan Chin, Joxan Jaffar:
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. 18-29 - Binoy Ravindran:
Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware. 30-57 - Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander:
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. 58-78 - André van der Hoek, Antonio Carzaniga, Dennis Heimbigner, Alexander L. Wolf:
A Testbed for Configuration Management Policy Programming. 79-99 - Premkumar T. Devanbu
Stack and Queue Integrity on Hostile Platforms. 100-108
- Kuo-Chung Tai, Yu Lei:
A Test Generation Strategy for Pairwise Testing. 109-111
Volume 28, Number 2, February 2002
- Mary Jean Harrold, Antonia Bertolino
Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis. 113-114 - Stephen F. Siegel, George S. Avrunin:
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. 115-128 - Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations. 129-145 - Dennis K. Peters
Requirements-Based Monitors for Real-Time Systems. 146-158 - Sebastian G. Elbaum, Alexey G. Malishevsky
Test Case Prioritization: A Family of Empirical Studies. 159-182 - Andreas Zeller
Simplifying and Isolating Failure-Inducing Input. 183-200
- Mohamed G. Gouda:
Multiphase Stabilization. 201-208
Volume 28, Number 3, March 2002
- John C. Knight:
AE Introduction. 209
- Wuu Yang:
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior. 210-227 - Kevin L. Mills, Hassan Gomaa:
Knowledge-Based Automation of a Design Method for Concurrent Systems. 228-255 - Stuart G. Stubblebine, Rebecca N. Wright:
An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency. 256-285 - Emilia Rosti, Giuseppe Serazzi, Evgenia Smirni, Mark S. Squillante:
Models of Parallel Applications with Large Computation and I/O Requirements. 286-307 - Ann E. Kelley Sobel, Michael R. Clarkson:
Formal Methods Application: An Empirical Tale of Software Development. 308-320
Volume 28, Number 4, April 2002
- Curtis E. Hrischuk, C. Murray Woodside:
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System. 321-339 - Maurizio Morisio, Michel Ezran, Colin Tully:
Success and Failure Factors in Software Reuse. 340-357 - Jayant Rajgopal
Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model. 358-363 - Gerard J. Holzmann, Margaret H. Smith:
An Automated Verification Method for Distributed Systems Software Based on Model Extraction. 364-377 - Svend Frølund, Rachid Guerraoui
e-Transactions: End-to-End Reliability for Three-Tier Architectures. 378-395 - Stephen G. Eick, Todd L. Graves, Alan F. Karr, Audris Mockus
Visualizing Software Changes. 396-412 - Dragan Milicev:
Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments. 413-430
Volume 28, Number 5, May 2002
- Amy L. Murphy, Gruia-Catalin Roman, George Varghese:
Tracking Mobile Units for Dependable Message Delivery. 433-448 - Tom Mens
A State-of-the-Art Survey on Software Merging. 449-462 - T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo
The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities. 463-477 - Nenad Stankovic, Kang Zhang:
A Distributed Parallel Programming Framework. 478-493 - Khaled El Emam, Saïda Benlarbi, Nishith Goel, Walcélio L. Melo, Hakim Lounis, Shesh N. Rai:
The Optimal Class Size for Object-Oriented Software. 494-509 - David A. Wooff
Bayesian Graphical Models for Software Testing. 510-524
- Lu Zhang, Dan Xie:
Comments on "On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics". 526-527
Volume 28, Number 6, June 2002
- Sherif M. Yacoub, Hany H. Ammar:
A Methodology for Architecture-Level Reliability Risk Analysis. 529-547 - Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena:
A Logical Theory of Interfaces and Objects. 548-575 - Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gregg Rothermel:
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology. 576-594 - Lutz Prechelt, Barbara Unger, Michael Philippsen
Two Controlled Experiments Assessing the Usefulness of Design Pattern Documentation in Program Maintenance. 595-606 - Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai:
Incremental Integration Testing of Concurrent Programs. 607-623
- T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo
Corrections to "The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities". 624
Volume 28, Number 7, July 2002
- David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus
Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor. 625-637 - Liliana Dobrica
A Survey on Software Architecture Analysis Methods. 638-653 - Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue:
CCFinder: A Multilinguistic Token-Based Code Clone Detection System for Large Scale Source Code. 654-670 - Stephanie D. Teasley, Lisa Covi, Mayuram S. Krishnan, Judith S. Olson:
Rapid Software Development through Team Collocation. 671-683 - Vijay S. Mookerjee, I. Robert Chiang:
A Dynamic Coordination Policy for Software System Construction. 684-694 - Dewayne E. Perry, Adam A. Porter, Michael W. Wade, Lawrence G. Votta, James Perpich:
Reducing Inspection Interval in Large-Scale Software Development. 695-705 - Lionel C. Briand, Walcélio L. Melo, Jürgen Wüst:
Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects. 706-720
Volume 28, Number 8, August 2002
- Barbara A. Kitchenham
Preliminary Guidelines for Empirical Research in Software Engineering. 721-734 - Christian S. Collberg, Clark D. Thomborson
Watermarking, Tamper-Proofing, and Obfuscation-Tools for Software Protection. 735-746 - Betty H. C. Cheng
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling. 747-762 - Christopher A. Healy, David B. Whalley:
Automatic Detection and Exploitation of Branch Constraints for Timing Analysis. 763-781 - João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur:
A Formal Model of the Software Test Process. 782-796 - Giulio Mori, Fabio Paternò
CTTE: Support for Developing and Analyzing Task Models for Interactive System Design. 797-813
- Wladyslaw M. Turski:
The Reference Model for Smooth Growth of Software Systems Revisited. 814-815
Volume 28, Number 9, September 2002
- Fabrice Kordon, Luqi:
An Introduction to Rapid System Prototyping. 817-821 - Amer Baghdadi
Combining a Performance Estimation Methodology with a Hardware/Software Codesign Flow Supporting Multiprocessor Systems. 822-831 - Randall S. Janka, Linda M. Wills, Lewis Benton Baumstark Jr.:
Virtual Benchmarking and Model Continuity in Prototyping Embedded Multiprocessor Signal Processing Systems. 832-846 - Francisco Barat
Reconfigurable Instruction Set Processors from a Hardware/Software Perspective. 847-862
- Anandasivam Gopal, Mayuram S. Krishnan, Tridas Mukhopadhyay
Measurement Programs in Software Development: Determinants of Success. 863-875 - Maurizio Morisio, Daniele Romano, Ioannis Stamelos:
Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study. 876-888 - David Harel, Orna Kupferman:
On Object Systems and Behavioral Inheritance. 889-903 - Donald E. Neumann:
An Enhanced Neural Network Technique for Software Risk Analysis. 904-912
Volume 28, Number 10, October 2002
- Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort
Introduction to the Special Section on Petri Nets and Performance Models. 913-914 - Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
Product Form Solution for Generalized Stochastic Petri Nets. 915-932 - András Horváth
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions. 933-943 - Marco Gribaudo
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. 944-955 - Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster:
The Möbius Framework and Its Implementation. 956-969
- Giuliano Antoniol, Gerardo Canfora
Recovering Traceability Links between Code and Documentation. 970-983 - Jeff Tian:
Better Reliability Assessment and Prediction through Data Clustering. 997-1007 - Obituary for Ole-Johan Dahl (1931-2002), Edsger Wybe Dijkstra (1930-2002), and Kristen Nygaard (1926-2002). 1008
Volume 28, Number 11, November 2002
- Jongmoon Baik, Barry W. Boehm, Bert Steece:
Disaggregating and Calibrating the CASE Tool Variable in COCOMO II. 1009-1022 - Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek
Timed Wp-Method: Testing Real-Time Systems. 1023-1038 - Giacomo Cabri
Engineering Mobile Agent Applications via Context-Dependent Coordination. 1039-1055 - Frantisek Plásil
Behavior Protocols for Software Components. 1056-1076 - Loon-Been Chen, I-Chen Wu:
An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates. 1077-1084 - Ahmed Khoumsi:
A Temporal Approach for Testing Distributed Systems. 1085-1103
Volume 28, Number 12, December 2002
- John C. Knight:
Editorial: New AE Introduction/Farewell. 1105
- Lionel C. Briand, Sandro Morasca
An Operational Process for Goal-Driven Definition of Measures. 1106-1125 - Pankaj Jalote, Ashish Saxena:
Optimum Control Limits for Employing Statistical Process Control in Software Process. 1126-1134 - Cynthia K. Riemenschneider
Explaining Software Developer Acceptance of Methodologies: A Comparison of Five Theoretical Models. 1135-1145 - Michael D. Ernst, Greg J. Badros, David Notkin:
An Empirical Analysis of C Preprocessor Use. 1146-1170 - Janice Singer, Norman G. Vinson
Ethical Issues in Empirical Studies of Software Engineering. 1171-1180 - Lars Bratthall, Claes Wohlin
Is it Possible to Decorate Graphical Software Design and Architecture Models with Qualitative Information?-An Experiment. 1181-1193
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-21 20:30 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: