IEEE Transactions on Software Engineering (TSE), Volume 27

Volume 27, Number 1, January 2001

• Stephen G. Eick, Todd L. Graves, Alan F. Karr, J. S. Marron, Audris Mockus:
  Does Code Decay? Assessing the Evidence from Change Management Data. 1-12
  
• Dwight J. Makaroff, Gerald W. Neufeld, Norman C. Hutchinson:
  Design and Implementation of a VBR Continuous Media File Server. 13-28
  
• Rachid Guerraoui, André Schiper:
  The Generic Consensus Service. 29-41
  
• Manfred Broy:
  Toward a Mathematical Foundation of Software Engineering Methods. 42-57
  
• Balasubramaniam Ramesh, Matthias Jarke:
  Toward Reference Models of Requirements Traceability. 58-93
  

Volume 27, Number 2, February 2001

• Jeff Kramer, David Garlan, David S. Rosenblum:
  Guest Editors' Introduction: 1999 International Conference on Software Engineering. 97-98
  
• Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin:
  Dynamically Discovering Likely Program Invariants to Support Program Evolution. 99-123
  
• Robert DeLine:
  Avoiding Packaging Mismatch with Flexible Packaging. 124-143
  
• Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
  Hierarchical GUI Test Case Generation Using Automated Planning. 144-155
  
• Daniel Jackson, Allison Waingold:
  Lightweight Extraction of Object Models from Bytecode. 156-169
  
• William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner:
  Optimizing Symbolic Model Checking for Statecharts. 170-190
  

Volume 27, Number 3, March 2001

• I-Ling Yen, Farokh B. Bastani, David J. Taylor:
  Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. 193-207
  
• Riccardo Mattolini, Paolo Nesi:
  An Interval Logic for Real-Time System Specification. 208-227
  
• Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur:
  Interface Mutation: An Approach for Integration Testing. 228-247
  
• Mary Jean Harrold, David S. Rosenblum, Gregg Rothermel, Elaine J. Weyuker:
  Empirical Studies of a Prediction Model for Regression Test Selection. 248-263
  
• Randy K. Smith, Joanne E. Hale, Allen S. Parrish:
  An Empirical Study Using Task Assignment Patterns to Improve the Accuracy of Software Effort Estimation. 264-271
  
• L. Jean Camp:
  An Atomicity-Generating Protocol for Anonymous Currencies. 272-278
  

• Surya B. Yadav, Neal G. Shaw, Linda Webb, Canan Sutcu:
  Comments on 'Factors that Impact Implementing a System Development Methodology'. 279-281
  
• Tom L. Roberts Jr., Michael L. Gibson, R. Kelly Rainer Jr., Kent T. Fields:
  Response to 'Comments on Factors that Impact the Implementation of a Systems Development Methodology'. 282-286
  

Volume 27, Number 4, April 2001

• Kang Zhang, Da-Qian Zhang, Jiannong Cao:
  Design, Construction, and Application of a Generic Visual Language Generation Environment. 289-307
  
• Özalp Babaoglu, Renzo Davoli, Alberto Montresor:
  Group Communication in Partitionable Systems: Specification and Algorithms. 308-336
  
• T. E. Hastings, A. S. M. Sajeev:
  A Vector-Based Approach to Software Size Measurement and Effort Estimation. 337-350
  
• Paolo Tonella:
  Concept Analysis for Module Restructuring. 351-363
  
• Gail C. Murphy, David Notkin, Kevin J. Sullivan:
  Software Reflexion Models: Bridging the Gap between Design and Implementation. 364-380
  

• Gursaran, Gurdev Roy:
  On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics. 381-384
  

Volume 27, Number 5, May 2001

• Anneliese Amschler Andrews:
  Editorial. 385-386
  

• Oliver Laitenberger, Khaled El Emam, Thomas G. Harbich:
  An Internally Replicated Quasi-Experimental Comparison of Checklist and Perspective-Based Reading of Code Documents. 387-421
  
• Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou:
  Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. 422-448
  
• Stephen Gilmore, Jane Hillston, Marina Ribaudo:
  An Efficient Algorithm for Aggregating PEPA Models. 449-464
  
• Lutz Prechelt, Barbara Unger:
  An Experiment Measuring the Effects of Personal Software Process (PSP) Training. 465-472
  

• Giancarlo Succi, Luigi Benedicenti, Tullio Vernazza:
  Analysis of the Effects of Software Reuse on Customer Satisfaction in an RPG Environment. 473-479
  

Volume 27, Number 6, June 2001

• Ramkrishna Chatterjee, Barbara G. Ryder, William Landi:
  Complexity of Points-To Analysis of Java in the Presence of Exceptions. 481-512
  
• Lionel C. Briand, Christian Bunse, John W. Daly:
  A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs. 513-530
  
• Dilma Da Silva, Karsten Schwan, Greg Eisenhauer:
  CTK: Configurable Object Abstractions for Multiprocessors. 531-549
  
• Paloma Díaz, Ignacio Aedo, Fivos Panetsos:
  Modeling the Dynamic Behavior of Hypermedia Applications. 550-572
  

• Ki-Seok Bang, Jin-Young Choi, Chuck Yoo:
  Comments on 'The Model Checker SPIN'. 573-576
  

• Robert DeLine:
  Corrections to 'Avoiding Packaging Mismatch with Flexible Packaging'. 576
  

Voume 27, Number 7, July 2001

• Ryszard Janicki, Emil Sekerinski:
  Foundations of the Trace Assertion Method of Module Interface Specification. 577-598
  
• Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian:
  Simulation-Verification: Biting at the State Explosion Problem. 599-617
  
• Hyeonsang Eom, Jeffrey K. Hollingsworth:
  A Tool to Help Tune where Computation Is Performed. 618-629
  
• Khaled El Emam, Saïda Benlarbi, Nishith Goel, Shesh N. Rai:
  The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics. 630-650
  
• Marsha Chechik, John D. Gannon:
  Automatic Analysis of Consistency between Requirements and Designs. 651-672
  

Volume 27, Number 8, August 2001

• Lamia Labed Jilani, Jules Desharnais, Ali Mili:
  Defining and Applying Measures of Distance Between Specifications. 673-703
  
• Sridhar Alagar, Subbarayan Venkatesan:
  Techniques to Tackle State Explosion in Global Predicate Detection. 704-714
  
• Shyh-Kwei Chen, W. Kent Fuchs, Jen-Yao Chung:
  Reversible Debugging Using Program Instrumentation. 715-727
  
• Enrico Vicario:
  Static Analysis and Dynamic Steering of Time-Dependent Systems. 728-748
  
• Klaus Havelund, Michael R. Lowry, John Penix:
  Formal Analysis of a Space-Craft Controller Using SPIN. 749-765
  

• Paloma Díaz, Ignacio Aedo, Fivos Panetsos:
  Erratum Corrections to 'Modeling the Dynamic Behavior of Hypermedia Applications'. 766-767
  

Volume 27, Number 9, September 2001

• Israel Ben-Shaul, Ophir Holder, Boris Lavva:
  Dynamic Adaptation and Deployment of Distributed Components In Hadas. 769-787
  
• Barbara Kitchenham, Robert T. Hughes, Stephen G. Linkman:
  Modeling Software Measurement Data. 788-804
  
• Chang-Gun Lee, Kwangpo Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim:
  Bounding Cache-Related Preemption Delay for Real-Time Systems. 805-826
  
• Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta:
  The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS. 827-850
  
• Khaled El Emam, Oliver Laitenberger:
  Evaluating Capture-Recapture Models with Two Inspectors. 851-864
  

Volume 27, Number 10, October 2001

• Anneliese Amschler Andrews:
  Editorial. 865-866
  
• Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
  Performance Evaluation of Mobile Processes via Abstract Machines. 867-889
  
• Kevin Strike, Khaled El Emam, Nazim H. Madhavji:
  Software Cost Estimation with Incomplete Data. 890-908
  
• Khawar M. Zuberi, Kang G. Shin:
  EMERALDS: A Small-Memory Real-Time Microkernel. 909-928
  
• Gregg Rothermel, Roland H. Untch, Chengyun Chu, Mary Jean Harrold:
  Prioritizing Test Cases For Regression Testing. 929-948
  
• Simeon C. Ntafos:
  On Comparisons of Random, Partition, and Proportional Partition Testing. 949-960
  

Volume 27, Number 11, November 2001

• Claes Wohlin:
  Guest Editor's Introduction: Seventh International Software Metrics Symposium. 961-962
  
• Lionel C. Briand, Jürgen Wüst:
  Modeling Development Effort in Object-Oriented Systems Using Design Properties. 963-986
  
• Martin J. Shepperd, Michelle Cartwright:
  Predicting with Sparse Data. 987-998
  
• Ingunn Myrtveit, Erik Stensrud, Ulf H. Olsson:
  Analyzing Data Sets with Missing Data: An Empirical Evaluation of Imputation Methods and Likelihood-Based Methods. 999-1013
  
• Martin J. Shepperd, Gada F. Kadoda:
  Comparing Software Prediction Techniques Using Simulation. 1014-1022
  
• Chaitanya Kallepalli, Jeff Tian:
  Measuring and Modeling Usage and Reliability for Statistical Web Testing. 1023-1036
  

• Sridhar Iyer, S. Ramesh:
  Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs. 1037-1056
  

Volume 27, Number 12, December 2001

• Nancy E. Rallis, Zachary F. Lansdowne:
  Reliability Estimation for a Software System with Sequential Independent Reviews. 1057-1061
  
• Fabrizio Fioravanti, Paolo Nesi:
  Estimation and Prediction Metrics for Adaptive Maintenance Effort of Object-Oriented Systems. 1062-1084
  
• Christoph C. Michael, Gary McGraw, Michael Schatz:
  Generating Software Test Data by Evolution. 1085-1110
  
• Bernhard Westfechtel, Bjørn P. Munch, Reidar Conradi:
  A Layered Architecture for Uniform Version Management. 1111-1133
  
• Lutz Prechelt, Barbara Unger, Walter F. Tichy, Peter Brössler, Lawrence G. Votta:
  A Controlled Experiment in Maintenance Comparing Design Patterns to Simpler Solutions. 1134-1144
  

Last update Fri May 25 09:48:39 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page