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: New EIC Introduction. 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

Architecture-Independent Languages and Software Tools for Parallel Processing

• 
  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

Architecture-Independent Languages and Software Tools for Parallel Processing

• 
  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 F. 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

Architecture-Independent Languages and Software Tools for Parallel Processing

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

Fifth International Conference on Software Reuse

• 
  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

Regular Papers

• 
  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

Formal Methods for Object Systems

• 
  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

Regular Papers

• 
  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

Special Section on the 1999 Formal Methods Conference (FM '99)

• 
  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 E. 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

Regular Papers

• 
  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

Current Trends in Exception Handling

• 
  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

Regular Papers

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

Volume 26, Number 10, October 2000

Current Trends in Exception Handling (Part II)

• 
  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

Regular Papers

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

Correspondence Papers

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

Volume 26, Number 11, November 2000

Workshop on Software and Performance - Part I

• 
  Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside:
  Guest Editors' Introduction-Workshop on Software and Performance. 1025-1026
• 
  Vikram S. Adve, Rajive L. 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

Regular Papers

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

Volume 26, Number 12, December 2000

Workshop on Software and Performance - Part II

• 
  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

Regular Papers

• 
  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