IEEE Transactions on Software Engineering (TSE), Volume 26

Volume 26, Number 1, January 2000

• Chris Sauer, D. Ross Jeffery, Lesley Pek Wee Land, Philip Yetton:
  The Effectiveness of Software Development Technical Reviews: A Behaviorally Motivated Program of Research. 1-14
  
• Nancy G. Leveson:
  Intent Specifications: An Approach to Building Human-Centered Specifications. 15-35
  
• Andrea Bobbio, Antonio Puliafito, Miklós Telek:
  A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs. 36-54
  
• Sergio Antoy, Richard G. Hamlet:
  Automatically Checking an Implementation against Its Formal Specification. 55-69
  
• Nenad Medvidovic, Richard N. Taylor:
  A Classification and Comparison Framework for Software Architecture Description Languages. 70-93
  

Volume 26, Number 2, February 2000

• Richard A. Kemmerer:
  Editorial. 97
  
• Janne Ropponen, Kalle Lyytinen:
  Components of Software Development Risk: How to Address Them? A Project Manager Survey. 98-112
  
• Inhwan Lee, Ravishankar K. Iyer:
  Diagnosing Rediscovered Software Problems Using Symptoms. 113-127
  
• Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca:
  Generation of Execution Sequences for Modular Time Critical Systems. 128-149
  
• Brendan P. Mahony, Jin Song Dong:
  Timed Communicating Object Z. 150-177
  
• Premkumar T. Devanbu, Stuart G. Stubblebine:
  Cryptographic Verification of Test Coverage Claims. 178-192
  

Volume 26, Number 3, March 2000

• Domenico Talia, Pradip K. Srimani, Mehdi Jazayeri:
  Guest Editor's Introduction: Special Issues on Architecture-Independent Languages and Software tools for Parallel Processing. 193-196
  
• Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby:
  ZPL: A Machine Independent Programming Language for Parallel Computers. 197-211
  
• Scott B. Baden, Stephen J. Fink:
  A Programming Methodology for Dual-Tier Multicomputers. 212-226
  
• Thomas Bräunl:
  Parallaxis-III: Architecture-Independent Data Parallel Processing. 227-243
  
• Junjie Gu, Zhiyuan Li:
  Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization. 244-261
  
• Alessandro Marongiu, Paolo Palazzari:
  Automatic Mapping of System of N-Dimensional Affine Precurrence Equations (SARE) onto Distributed Memory Parallel Systems. 262-275
  
• Sergei Gorlatch:
  Toward Formally-Based Design of Message Passing Programs. 276-288
  

Volume 26, Number 4, April 2000

• Domenico Talia, Pradip K. Srimani, Mehdi Jazayeri:
  Guest Editor's Introduction: Special Issues on Architecture-Independent Languages and Software tools for Parallel Processing. 289-292
  
• Lars S. Nyland, Jan Prins, Allen Goldberg, Peter Mills:
  A Design Methodology for Data-Parallel Applications. 293-314
  
• Thomas Rauber, Gudula Rünger:
  A Transformation Approach to Derive Efficient Parallel Implementations. 315-339
  
• Dinesh Kadamuddi, Jeffrey J. P. Tsai:
  Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. 340-361
  
• Ying Chen, Marianne Winslett:
  Automated Tuning of Parallel I/O Systems: An Approach to Portable I/O Performance for Scientific Applications. 362-383
  

Volume 26, Number 5, May 2000

• Sundeep Prakash, Ewa Deelman, Rajive Bagrodia:
  Asynchronous Parallel Simulation of Parallel Programs. 385-400
  
• Miltos D. Grammatikakis, Stefan Liesche:
  Priority Queues and Sorting Methods for Parallel Simulation. 401-422
  

• Premkumar T. Devanbu, Dewayne E. Perry, Jeffrey S. Poulin:
  Guest Editors' Introduction: Next Generation Software Reuse. 423-424
  
• Katsuhisa Maruyama, Kenichi Shima:
  An Automatic Class Generation Mechanism by Using Method Integration. 425-440
  
• Don S. Batory, Gang Chen, Eric Robertson, Tao Wang:
  Design Wizards and Visual Programming Environments for GenVoca Generators. 441-452
  

• Inhye Kang, Insup Lee, Young-Si Kim:
  An Efficient State Space Generation for the Analysis of Real-Time Systems. 453-477
  
• Tim Bergin:
  Editorial: Sloan Research Project. 478
  

Volume 26, Number 6, June 2000

• Anneliese von Mayrhauser:
  Editorial. 481-483
  
• Manoel G. Mendonça, Victor R. Basili:
  Validation on an Approach for Improving Existing Measurement Frameworks. 484-499
  
• Scott A. DeLoach, Thomas C. Hartrum:
  A Theory-Based Representation for Object-Oriented Domain Models. 500-517
  
• Lionel C. Briand, Khaled El Emam, Bernd G. Freimut, Oliver Laitenberger:
  A Comprehensive Evaluation of Capture-Recapture Models for Estimating Software Defect Content. 518-540
  
• Khaled El Emam, Andreas Birk:
  Validating the ISO/IEC 15504 Measure of Software Requirements Analysis Process Capability. 541-566
  
• Miyoung Shin, Amrit L. Goel:
  Empirical Data Modeling in Software Engineering Using Radical Basis Functions. 567-576
  

Volume 26, Number 7, July 2000

• Howard Bowman, John Derrick, Ed Brinksma:
  Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. 577-578
  
• Jeannette M. Wing, John Ockerbloom:
  Respectful Type Converters. 579-593
  
• Tommaso Bolognesi:
  Toward Constraint-Object-Oriented Development. 594-616
  
• Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott:
  A Control-Flow Analysis for a Calculus of Concurrent Objects. 617-634
  
• Didier Buchs, Nicolas Guelfi:
  A Formal Specification Framework for Object-Oriented Distributed Systems. 635-652
  

• Todd L. Graves, Alan F. Karr, J. S. Marron, Harvey P. Siy:
  Predicting Fault Incidence Using Software Change History. 653-661
  
• Raymond T. Boute:
  Supertotal Function Definition in Mathematics and Software Engineering. 662-672
  

Volume 26, Number 8, August 2000

• Jeannette M. Wing, Jim Woodcock:
  Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. 673-674
  
• Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor:
  Is Proof More Cost-Effective Than Testing? 675-686
  
• Anne Elisabeth Haxthausen, Jan Peleska:
  Formal Development and Verification of a Distributed Railway Control System. 687-701
  
• Volkmar Lotz, Volker Kessler, Georg Walter:
  A Formal Security Model for Microprocessor Hardware. 702-712
  
• Ana Cavalcanti, David A. Naumann:
  A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. 713-728
  
• Hervé Marchand, Mazen Samaan:
  Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. 729-741
  

• Mor Peleg, Dov Dori:
  The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. 742-759
  
• Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici:
  Using Patterns to Design Rules in Workflows. 760-785
  
• Michelle Cartwright, Martin J. Shepperd:
  An Empirical Investigation of an Object-Oriented Software System. 786-796
  
• Norman E. Fenton, Niclas Ohlsson:
  Quantitative Analysis of Faults and Failures in a Complex Software System. 797-814
  

Volume 26, Number 9, September 2000

• Dewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi:
  Guest Editors' Introduction-Current Trends in Exception Handling. 817-819
  
• Peter A. Buhr, W. Y. Russell Mok:
  Advanced Exception Handling Mechanisms. 820-836
  
• Phil Koopman, John DeVale:
  The Exception Handling Effectiveness of POSIX Operating Systems. 837-848
  
• Saurabh Sinha, Mary Jean Harrold:
  Analysis and Testing of Programs with Exception Handling Constructs. 849-871
  
• Egon Börger, Wolfram Schulte:
  A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. 872-887
  
• Roy A. Maxion, Robert T. Olszewski:
  Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study. 888-906
  

• Tom Chávez:
  A Decision-Analytic Stopping Rule for Validation of Commercial Software Systems. 907-918
  

Volume 26, Number 10, October 2000

• Dewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi:
  Guest Editors' Introduction - Current Trends in Exception Handling. 921-922
  
• Margaret M. Burnett, Anurag Agrawal, Pieter van Zee:
  Exception Handling in the Spreadsheet Paradigm. 923-942
  
• Claus Hagen, Gustavo Alonso:
  Exception Handling in Workflow Management Systems. 943-958
  
• Takahiro Murata, Alexander Borgida:
  Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes. 959-977
  
• Axel van Lamsweerde, Emmanuel Letier:
  Handling Obstacles in Goal-Oriented Requirements Engineering. 978-1005
  

• José Javier Dolado:
  A Validation of the Component-Based Method for Software Size Estimation. 1006-1021
  

• Bev Littlewood:
  The Use of Proof in Diversity Arguments. 1022-1023
  

Volume 26, Number 11, November 2000

• Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside:
  Guest Editors' Introduction-Workshop on Software and Performance. 1025-1026
  
• Vikram S. Adve, Rajive Bagrodia, James C. Browne, Ewa Deelman, Aditya Dube, Elias N. Houstis, John R. Rice, Rizos Sakellariou, David Sundaram-Stukel, Patricia J. Teller, Mary K. Vernon:
  POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems. 1027-1048
  
• Dorina C. Petriu, Christiane Shousha, Anant Jalnapurkar:
  Architecture-Based Performance Analysis Applied to a Telecommunication System. 1049-1065
  
• Daniel A. Menascé, Hassan Gomaa:
  A Method for Design and Performance Modeling of Client/Server Systems. 1066-1085
  
• Sridhar Ramesh, Harry G. Perros:
  A Multilayer Client-Server Queueing Network Model with Synchronous and Asynchronous Messages. 1086-1100
  

• Forrest Shull, Filippo Lanubile, Victor R. Basili:
  Investigating Reading Techniques for Object-Oriented Framework Learning. 1101-1118
  

Volume 26, Number 12, December 2000

• Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside:
  Guest Editors' Introduction: Workshop on Software and Performance. 1121
  
• Brian A. Nixon:
  Management of Performance Requirements for Information Systems. 1122-1146
  
• Elaine J. Weyuker, Filippos I. Vokolos:
  Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study. 1147-1156
  

• Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane:
  Modeling the Effects of Combining Diverse Software Fault Detection Techniques. 1157-1167
  
• Marin Litoiu, Jerome A. Rolia, Giuseppe Serazzi:
  Designing Process Replication and Activation: A Quantitative Approach. 1168-1178
  
• Chris Drummond, Dan Ionescu, Robert C. Holte:
  A Learning Agent that Assists the Browsing of Software Libraries. 1179-1196
  
• Dahlia Malkhi, Michael K. Reiter:
  Secure Execution of Java Applets Using a Remote Playground. 1197-1209