Search dblp for Publications

export results for "toc:db/journals/tse/tse26.bht:"

 download as .bib file

@article{DBLP:journals/tse/AdveBBDDHRSSTV00,
  author    = {Vikram S. Adve and
               Rajive L. Bagrodia and
               James C. Browne and
               Ewa Deelman and
               Aditya Dube and
               Elias N. Houstis and
               John R. Rice and
               Rizos Sakellariou and
               David Sundaram{-}Stukel and
               Patricia J. Teller and
               Mary K. Vernon},
  title     = {{POEMS:} End-to-End Performance Design of Large Parallel Adaptive
               Computational Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {11},
  pages     = {1027--1048},
  year      = {2000}
}
@article{DBLP:journals/tse/AntoyH00,
  author    = {Sergio Antoy and
               Richard G. Hamlet},
  title     = {Automatically Checking an Implementation against Its Formal Specification},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {1},
  pages     = {55--69},
  year      = {2000}
}
@article{DBLP:journals/tse/BadenF00,
  author    = {Scott B. Baden and
               Stephen J. Fink},
  title     = {A Programming Methodology for Dual-Tier Multicomputers},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {3},
  pages     = {212--226},
  year      = {2000}
}
@article{DBLP:journals/tse/BatoryCRW00,
  author    = {Don S. Batory and
               Gang Chen and
               Eric Robertson and
               Tao Wang},
  title     = {Design Wizards and Visual Programming Environments for GenVoca Generators},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {5},
  pages     = {441--452},
  year      = {2000}
}
@article{DBLP:journals/tse/Bergin00,
  author    = {Tim Bergin},
  title     = {Editorial: Sloan Research Project},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {5},
  pages     = {478},
  year      = {2000}
}
@article{DBLP:journals/tse/BlasioFT00,
  author    = {Paolo Di Blasio and
               Kathleen Fisher and
               Carolyn L. Talcott},
  title     = {A Control-Flow Analysis for a Calculus of Concurrent Objects},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {7},
  pages     = {617--634},
  year      = {2000}
}
@article{DBLP:journals/tse/BobbioPT00,
  author    = {Andrea Bobbio and
               Antonio Puliafito and
               Mikl{\'{o}}s Telek},
  title     = {A Modeling Framework to Implement Preemption Policies in Non-Markovian
               SPNs},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {1},
  pages     = {36--54},
  year      = {2000}
}
@article{DBLP:journals/tse/Bolognesi00,
  author    = {Tommaso Bolognesi},
  title     = {Toward Constraint-Object-Oriented Development},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {7},
  pages     = {594--616},
  year      = {2000}
}
@article{DBLP:journals/tse/BorgerS00,
  author    = {Egon B{\"{o}}rger and
               Wolfram Schulte},
  title     = {A Practical Method for Specification and Analysis of Exception Handling
               - {A} Java/JVM Case Study},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {9},
  pages     = {872--887},
  year      = {2000}
}
@article{DBLP:journals/tse/Boute00,
  author    = {Raymond T. Boute},
  title     = {Supertotal Function Definition in Mathematics and Software Engineering},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {7},
  pages     = {662--672},
  year      = {2000}
}
@article{DBLP:journals/tse/BowmanDB00,
  author    = {Howard Bowman and
               John Derrick and
               Ed Brinksma},
  title     = {Guest Editors' Introduction: Formal Methods for Object Oriented Distributed
               Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {7},
  pages     = {577--578},
  year      = {2000}
}
@article{DBLP:journals/tse/Braunl00,
  author    = {Thomas Br{\"{a}}unl},
  title     = {Parallaxis-III: Architecture-Independent Data Parallel Processing},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {3},
  pages     = {227--243},
  year      = {2000}
}
@article{DBLP:journals/tse/BriandEFL00,
  author    = {Lionel C. Briand and
               Khaled El Emam and
               Bernd G. Freimut and
               Oliver Laitenberger},
  title     = {A Comprehensive Evaluation of Capture-Recapture Models for Estimating
               Software Defect Content},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {6},
  pages     = {518--540},
  year      = {2000}
}
@article{DBLP:journals/tse/BuchsG00,
  author    = {Didier Buchs and
               Nicolas Guelfi},
  title     = {A Formal Specification Framework for Object-Oriented Distributed Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {7},
  pages     = {635--652},
  year      = {2000}
}
@article{DBLP:journals/tse/BuhrM00,
  author    = {Peter A. Buhr and
               W. Y. Russell Mok},
  title     = {Advanced Exception Handling Mechanisms},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {9},
  pages     = {820--836},
  year      = {2000}
}
@article{DBLP:journals/tse/BurnettAZ00,
  author    = {Margaret M. Burnett and
               Anurag Agrawal and
               Pieter van Zee},
  title     = {Exception Handling in the Spreadsheet Paradigm},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {10},
  pages     = {923--942},
  year      = {2000}
}
@article{DBLP:journals/tse/CartwrightS00,
  author    = {Michelle Cartwright and
               Martin J. Shepperd},
  title     = {An Empirical Investigation of an Object-Oriented Software System},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {786--796},
  year      = {2000}
}
@article{DBLP:journals/tse/CasatiCFMP00,
  author    = {Fabio Casati and
               Silvana Castano and
               Maria Grazia Fugini and
               Isabelle Mirbel and
               Barbara Pernici},
  title     = {Using Patterns to Design Rules in Workflows},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {760--785},
  year      = {2000}
}
@article{DBLP:journals/tse/CavalcantiN00,
  author    = {Ana Cavalcanti and
               David A. Naumann},
  title     = {A Weakest Precondition Semantics for Refinement of Object-Oriented
               Programs},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {713--728},
  year      = {2000}
}
@article{DBLP:journals/tse/ChamberlainCLLSW00,
  author    = {Bradford L. Chamberlain and
               Sung{-}Eun Choi and
               E. Christopher Lewis and
               Calvin Lin and
               Lawrence Snyder and
               Derrick Weathersby},
  title     = {{ZPL:} {A} Machine Independent Programming Language for Parallel Computers},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {3},
  pages     = {197--211},
  year      = {2000}
}
@article{DBLP:journals/tse/Chavez00,
  author    = {Tom Ch{\'{a}}vez},
  title     = {A Decision-Analytic Stopping Rule for Validation of Commercial Software
               Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {9},
  pages     = {907--918},
  year      = {2000}
}
@article{DBLP:journals/tse/ChenW00,
  author    = {Ying Chen and
               Marianne Winslett},
  title     = {Automated Tuning of Parallel {I/O} Systems: An Approach to Portable
               {I/O} Performance for Scientific Applications},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {4},
  pages     = {362--383},
  year      = {2000}
}
@article{DBLP:journals/tse/ChengCW00,
  author    = {Albert Mo Kim Cheng and
               Paul C. Clements and
               C. Murray Woodside},
  title     = {Guest Editors' Introduction-Workshop on Software and Performance},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {11},
  pages     = {1025--1026},
  year      = {2000}
}
@article{DBLP:journals/tse/ChengCW00a,
  author    = {Albert Mo Kim Cheng and
               Paul C. Clements and
               C. Murray Woodside},
  title     = {Guest Editors' Introduction: Workshop on Software and Performance},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {12},
  pages     = {1121},
  year      = {2000}
}
@article{DBLP:journals/tse/DeLoachH00,
  author    = {Scott A. DeLoach and
               Thomas C. Hartrum},
  title     = {A Theory-Based Representation for Object-Oriented Domain Models},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {6},
  pages     = {500--517},
  year      = {2000}
}
@article{DBLP:journals/tse/DevanbuPP00,
  author    = {Premkumar T. Devanbu and
               Dewayne E. Perry and
               Jeffrey S. Poulin},
  title     = {Guest Editors' Introduction: Next Generation Software Reuse},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {5},
  pages     = {423--424},
  year      = {2000}
}
@article{DBLP:journals/tse/DevanbuS00,
  author    = {Premkumar T. Devanbu and
               Stuart G. Stubblebine},
  title     = {Cryptographic Verification of Test Coverage Claims},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {2},
  pages     = {178--192},
  year      = {2000}
}
@article{DBLP:journals/tse/Dolado00,
  author    = {Jos{\'{e}} Javier Dolado},
  title     = {A Validation of the Component-Based Method for Software Size Estimation},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {10},
  pages     = {1006--1021},
  year      = {2000}
}
@article{DBLP:journals/tse/DrummondIH00,
  author    = {Chris Drummond and
               Dan Ionescu and
               Robert C. Holte},
  title     = {A Learning Agent that Assists the Browsing of Software Libraries},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {12},
  pages     = {1179--1196},
  year      = {2000}
}
@article{DBLP:journals/tse/EmamB00,
  author    = {Khaled El Emam and
               Andreas Birk},
  title     = {Validating the {ISO/IEC} 15504 Measure of Software Requirements Analysis
               Process Capability},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {6},
  pages     = {541--566},
  year      = {2000}
}
@article{DBLP:journals/tse/FentonO00,
  author    = {Norman E. Fenton and
               Niclas Ohlsson},
  title     = {Quantitative Analysis of Faults and Failures in a Complex Software
               System},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {797--814},
  year      = {2000}
}
@article{DBLP:journals/tse/Gorlatch00,
  author    = {Sergei Gorlatch},
  title     = {Toward Formally-Based Design of Message Passing Programs},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {3},
  pages     = {276--288},
  year      = {2000}
}
@article{DBLP:journals/tse/GrammatikakisL00,
  author    = {Miltos D. Grammatikakis and
               Stefan Liesche},
  title     = {Priority Queues and Sorting Methods for Parallel Simulation},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {5},
  pages     = {401--422},
  year      = {2000}
}
@article{DBLP:journals/tse/GravesKMS00,
  author    = {Todd L. Graves and
               Alan F. Karr and
               J. S. Marron and
               Harvey P. Siy},
  title     = {Predicting Fault Incidence Using Software Change History},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {7},
  pages     = {653--661},
  year      = {2000}
}
@article{DBLP:journals/tse/GuL00,
  author    = {Junjie Gu and
               Zhiyuan Li},
  title     = {Efficient Interprocedural Array Data-Flow Analysis for Automatic Program
               Parallelization},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {3},
  pages     = {244--261},
  year      = {2000}
}
@article{DBLP:journals/tse/HagenA00,
  author    = {Claus Hagen and
               Gustavo Alonso},
  title     = {Exception Handling in Workflow Management Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {10},
  pages     = {943--958},
  year      = {2000}
}
@article{DBLP:journals/tse/HaxthausenP00,
  author    = {Anne Elisabeth Haxthausen and
               Jan Peleska},
  title     = {Formal Development and Verification of a Distributed Railway Control
               System},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {687--701},
  year      = {2000}
}
@article{DBLP:journals/tse/KadamuddiT00,
  author    = {Dinesh Kadamuddi and
               Jeffrey J. P. Tsai},
  title     = {Clustering Algorithm for Parallelizing Software Systems in Multiprocessors
               Environment},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {4},
  pages     = {340--361},
  year      = {2000}
}
@article{DBLP:journals/tse/KangLK00,
  author    = {Inhye Kang and
               Insup Lee and
               Young{-}Si Kim},
  title     = {An Efficient State Space Generation for the Analysis of Real-Time
               Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {5},
  pages     = {453--477},
  year      = {2000}
}
@article{DBLP:journals/tse/Kemmerer00,
  author    = {Richard A. Kemmerer},
  title     = {Editorial: New {EIC} Introduction},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {2},
  pages     = {97},
  year      = {2000}
}
@article{DBLP:journals/tse/KingHCP00,
  author    = {Steve King and
               Jonathan Hammond and
               Roderick Chapman and
               Andy Pryor},
  title     = {Is Proof More Cost-Effective Than Testing?},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {675--686},
  year      = {2000}
}
@article{DBLP:journals/tse/KoopmanD00,
  author    = {Phil Koopman and
               John DeVale},
  title     = {The Exception Handling Effectiveness of {POSIX} Operating Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {9},
  pages     = {837--848},
  year      = {2000}
}
@article{DBLP:journals/tse/LamsweerdeL00,
  author    = {Axel van Lamsweerde and
               Emmanuel Letier},
  title     = {Handling Obstacles in Goal-Oriented Requirements Engineering},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {10},
  pages     = {978--1005},
  year      = {2000}
}
@article{DBLP:journals/tse/LeeI00,
  author    = {Inhwan Lee and
               Ravishankar K. Iyer},
  title     = {Diagnosing Rediscovered Software Problems Using Symptoms},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {2},
  pages     = {113--127},
  year      = {2000}
}
@article{DBLP:journals/tse/Leveson00,
  author    = {Nancy G. Leveson},
  title     = {Intent Specifications: An Approach to Building Human-Centered Specifications},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {1},
  pages     = {15--35},
  year      = {2000}
}
@article{DBLP:journals/tse/LitoiuRS00,
  author    = {Marin Litoiu and
               Jerome A. Rolia and
               Giuseppe Serazzi},
  title     = {Designing Process Replication and Activation: {A} Quantitative Approach},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {12},
  pages     = {1168--1178},
  year      = {2000}
}
@article{DBLP:journals/tse/Littlewood00,
  author    = {Bev Littlewood},
  title     = {The Use of Proof in Diversity Arguments},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {10},
  pages     = {1022--1023},
  year      = {2000}
}
@article{DBLP:journals/tse/LittlewoodPSS00,
  author    = {Bev Littlewood and
               Peter T. Popov and
               Lorenzo Strigini and
               Nick Shryane},
  title     = {Modeling the Effects of Combining Diverse Software Fault Detection
               Techniques},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {12},
  pages     = {1157--1167},
  year      = {2000}
}
@article{DBLP:journals/tse/LotzKW00,
  author    = {Volkmar Lotz and
               Volker Kessler and
               Georg Walter},
  title     = {A Formal Security Model for Microprocessor Hardware},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {702--712},
  year      = {2000}
}
@article{DBLP:journals/tse/MahonyD00,
  author    = {Brendan P. Mahony and
               Jin Song Dong},
  title     = {Timed Communicating Object {Z}},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {2},
  pages     = {150--177},
  year      = {2000}
}
@article{DBLP:journals/tse/MalkhiR00,
  author    = {Dahlia Malkhi and
               Michael K. Reiter},
  title     = {Secure Execution of Java Applets Using a Remote Playground},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {12},
  pages     = {1197--1209},
  year      = {2000}
}
@article{DBLP:journals/tse/MarchandS00,
  author    = {Herv{\'{e}} Marchand and
               Mazen Samaan},
  title     = {Incremental Design of a Power Transformer Station Controller Using
               a Controller Synthesis Methodology},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {729--741},
  year      = {2000}
}
@article{DBLP:journals/tse/MarongiuP00,
  author    = {Alessandro Marongiu and
               Paolo Palazzari},
  title     = {Automatic Mapping of System of N-Dimensional Affine Precurrence Equations
               {(SARE)} onto Distributed Memory Parallel Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {3},
  pages     = {262--275},
  year      = {2000}
}
@article{DBLP:journals/tse/MaruyamaS00,
  author    = {Katsuhisa Maruyama and
               Kenichi Shima},
  title     = {An Automatic Class Generation Mechanism by Using Method Integration},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {5},
  pages     = {425--440},
  year      = {2000}
}
@article{DBLP:journals/tse/MaxionO00,
  author    = {Roy A. Maxion and
               Robert T. Olszewski},
  title     = {Eliminating Exception Handling Errors with Dependability Cases: {A}
               Comparative, Empirical Study},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {9},
  pages     = {888--906},
  year      = {2000}
}
@article{DBLP:journals/tse/Mayrhauser00,
  author    = {Anneliese von Mayrhauser},
  title     = {Editorial},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {6},
  pages     = {481--483},
  year      = {2000}
}
@article{DBLP:journals/tse/MedvidovicT00,
  author    = {Nenad Medvidovic and
               Richard N. Taylor},
  title     = {A Classification and Comparison Framework for Software Architecture
               Description Languages},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {1},
  pages     = {70--93},
  year      = {2000}
}
@article{DBLP:journals/tse/MenasceG00,
  author    = {Daniel A. Menasc{\'{e}} and
               Hassan Gomaa},
  title     = {A Method for Design and Performance Modeling of Client/Server Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {11},
  pages     = {1066--1085},
  year      = {2000}
}
@article{DBLP:journals/tse/MendoncaB00,
  author    = {Manoel G. Mendon{\c{c}}a and
               Victor R. Basili},
  title     = {Validation on an Approach for Improving Existing Measurement Frameworks},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {6},
  pages     = {484--499},
  year      = {2000}
}
@article{DBLP:journals/tse/MurataB00,
  author    = {Takahiro Murata and
               Alexander Borgida},
  title     = {Handling of Irregularities in Human Centered Systems: {A} Unified
               Framework for Data and Processes},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {10},
  pages     = {959--977},
  year      = {2000}
}
@article{DBLP:journals/tse/Nixon00,
  author    = {Brian A. Nixon},
  title     = {Management of Performance Requirements for Information Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {12},
  pages     = {1122--1146},
  year      = {2000}
}
@article{DBLP:journals/tse/NylandPGM00,
  author    = {Lars S. Nyland and
               Jan F. Prins and
               Allen Goldberg and
               Peter Mills},
  title     = {A Design Methodology for Data-Parallel Applications},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {4},
  pages     = {293--314},
  year      = {2000}
}
@article{DBLP:journals/tse/PelegD00,
  author    = {Mor Peleg and
               Dov Dori},
  title     = {The Model Multiplicity Problem: Experimenting with Real-Time Specification
               Methods},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {742--759},
  year      = {2000}
}
@article{DBLP:journals/tse/PerryRT00,
  author    = {Dewayne E. Perry and
               Alexander B. Romanovsky and
               Anand Tripathi},
  title     = {Guest Editors' Introduction-Current Trends in Exception Handling},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {9},
  pages     = {817--819},
  year      = {2000}
}
@article{DBLP:journals/tse/PerryRT00a,
  author    = {Dewayne E. Perry and
               Alexander B. Romanovsky and
               Anand Tripathi},
  title     = {Guest Editors' Introduction - Current Trends in Exception Handling},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {10},
  pages     = {921--922},
  year      = {2000}
}
@article{DBLP:journals/tse/PetriuSJ00,
  author    = {Dorina C. Petriu and
               Christiane Shousha and
               Anant Jalnapurkar},
  title     = {Architecture-Based Performance Analysis Applied to a Telecommunication
               System},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {11},
  pages     = {1049--1065},
  year      = {2000}
}
@article{DBLP:journals/tse/PietroMM00,
  author    = {Pierluigi San Pietro and
               Angelo Morzenti and
               Sandro Morasca},
  title     = {Generation of Execution Sequences for Modular Time Critical Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {2},
  pages     = {128--149},
  year      = {2000}
}
@article{DBLP:journals/tse/PrakashDB00,
  author    = {Sundeep Prakash and
               Ewa Deelman and
               Rajive L. Bagrodia},
  title     = {Asynchronous Parallel Simulation of Parallel Programs},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {5},
  pages     = {385--400},
  year      = {2000}
}
@article{DBLP:journals/tse/RameshP00,
  author    = {Sridhar Ramesh and
               Harry G. Perros},
  title     = {A Multilayer Client-Server Queueing Network Model with Synchronous
               and Asynchronous Messages},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {11},
  pages     = {1086--1100},
  year      = {2000}
}
@article{DBLP:journals/tse/RauberR00,
  author    = {Thomas Rauber and
               Gudula R{\"{u}}nger},
  title     = {A Transformation Approach to Derive Efficient Parallel Implementations},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {4},
  pages     = {315--339},
  year      = {2000}
}
@article{DBLP:journals/tse/RopponenL00,
  author    = {Janne Ropponen and
               Kalle Lyytinen},
  title     = {Components of Software Development Risk: How to Address Them? {A}
               Project Manager Survey},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {2},
  pages     = {98--112},
  year      = {2000}
}
@article{DBLP:journals/tse/SauerJLY00,
  author    = {Chris Sauer and
               D. Ross Jeffery and
               Lesley Pek Wee Land and
               Philip Yetton},
  title     = {The Effectiveness of Software Development Technical Reviews: {A} Behaviorally
               Motivated Program of Research},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {1},
  pages     = {1--14},
  year      = {2000}
}
@article{DBLP:journals/tse/ShinG00,
  author    = {Miyoung Shin and
               Amrit L. Goel},
  title     = {Empirical Data Modeling in Software Engineering Using Radical Basis
               Functions},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {6},
  pages     = {567--576},
  year      = {2000}
}
@article{DBLP:journals/tse/ShullLB00,
  author    = {Forrest Shull and
               Filippo Lanubile and
               Victor R. Basili},
  title     = {Investigating Reading Techniques for Object-Oriented Framework Learning},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {11},
  pages     = {1101--1118},
  year      = {2000}
}
@article{DBLP:journals/tse/SinhaH00,
  author    = {Saurabh Sinha and
               Mary Jean Harrold},
  title     = {Analysis and Testing of Programs with Exception Handling Constructs},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {9},
  pages     = {849--871},
  year      = {2000}
}
@article{DBLP:journals/tse/TaliaSJ00,
  author    = {Domenico Talia and
               Pradip K. Srimani and
               Mehdi Jazayeri},
  title     = {Guest Editor's Introduction: Special Issues on Architecture-Independent
               Languages and Software tools for Parallel Processing},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {3},
  pages     = {193--196},
  year      = {2000}
}
@article{DBLP:journals/tse/TaliaSJ00a,
  author    = {Domenico Talia and
               Pradip K. Srimani and
               Mehdi Jazayeri},
  title     = {Guest Editor's Introduction: Special Issues on Architecture-Independent
               Languages and Software tools for Parallel Processing},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {4},
  pages     = {289--292},
  year      = {2000}
}
@article{DBLP:journals/tse/WeyukerV00,
  author    = {Elaine J. Weyuker and
               Filippos I. Vokolos},
  title     = {Experience with Performance Testing of Software Systems: Issues, an
               Approach, and Case Study},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {12},
  pages     = {1147--1156},
  year      = {2000}
}
@article{DBLP:journals/tse/WingO00,
  author    = {Jeannette M. Wing and
               John Ockerbloom},
  title     = {Respectful Type Converters},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {7},
  pages     = {579--593},
  year      = {2000}
}
@article{DBLP:journals/tse/WingW00,
  author    = {Jeannette M. Wing and
               Jim Woodcock},
  title     = {Guest Editors' Introduction-Special Issues for {FM} '99: The First
               World Congress On Formal Methods in the Development of Computing Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {26},
  number    = {8},
  pages     = {673--674},
  year      = {2000}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics