Journal: IEEE Trans. Software Eng.

Volume 25, Issue 6

745 -- 746Richard A. Kemmerer. Editorial
747 -- 748Mary Jean Harrold, Hausi A. Müller. Guest Editorial: Introduction to the Special Section - International Conference on Software Maintenance (ICSM 97)
749 -- 768Michael Siff, Thomas W. Reps. Identifying Modules via Concept Analysis
769 -- 781Norman F. Schneidewind. Measuring and Evaluating Maintenance Process Using Reliability, Risk, and Test Metrics
782 -- 783Carlo Ghezzi, Bashar Nuseibeh. Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development
784 -- 799Ian Sommerville, Peter Sawyer, Stephen Viller. Managing Process Inconsistency Using Viewpoints
800 -- 815Mayuram S. Krishnan, Marc I. Kellner. Measuring Process Consistency: Implications for Reducing Software Defects
816 -- 835William N. Robinson, Suzanne D. Pawlowski. Managing Requirements Inconsistency with Development Goal Monitors
826 -- 851Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens. Managing Standards Compliance
852 -- 869Emil Lupu, Morris Sloman. Conflicts in Policy-Based Distributed Systems Management
870 -- 882David J. Simpson, F. Warren Burton. Space Efficient Execution of Deterministic Parallel Programs

Volume 25, Issue 5

601 -- 602Catherine Meadows, William H. Sanders. Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6)
603 -- 618Christof Fetzer, Flaviu Cristian. A Highly Available Local Leader Election Service
619 -- 632Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao. Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation
633 -- 650Rodolphe Ortalo, Yves Deswarte, Mohamed Kaâniche. Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security
651 -- 660John M. Rushby. Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
661 -- 674Walter J. Gutjahr. Partition Testing vs. Random Testing: The Influence of Uncertainty
675 -- 689Norman E. Fenton, Martin Neil. A Critique of Software Defect Prediction Models
690 -- 700Ing-Ray Chen, Sayed Atef Banawan. Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization
701 -- 721Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyen, Grace Tsai. Statically Safe Speculative Execution for Real-Time Systems
722 -- 743Lionel C. Briand, Sandro Morasca, Victor R. Basili. Defining and Validating Measures for Object-Based High-Level Design

Volume 25, Issue 4

433 -- 434Richard A. Kemmerer. Editor s Note
435 -- 437D. Ross Jeffery, Lawrence G. Votta. Guest Editors Special Section Introduction - Empirical Software Engineering
438 -- 455Gail C. Murphy, Robert J. Walker, Elisa L. A. Baniassad. Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming
456 -- 473Victor R. Basili, Forrest Shull, Filippo Lanubile. Building Knowledge through Families of Experiments
474 -- 492Koji Torii, Ken-ichi Matsumoto, Kumiyo Nakakoji, Yoshihiro Takada, Shingo Takada, Kazuyuki Shima. Ginger2: An Environment for Computer-Aided Empirical Software Engineering
493 -- 509Chris F. Kemerer, Sandra Slaughter. An Empirical Approach to Studying Software Evolution
510 -- 525Ingunn Myrtveit, Erik Stensrud. A Controlled Experiment to Assess the Benefits of Estimating with Analogy and Regression Models
526 -- 540Anneliese Amschler Andrews, Stephen Lang. A Coding Scheme to Support Systematic Analysis of Software Comprehension
541 -- 556Ritu Agarwal, Prabuddha De, Atish P. Sinha. Comprehending Object and Process Models: An Empirical Study
557 -- 572Carolyn B. Seaman. Qualitative Methods in Empirical Studies of Software Engineering
573 -- 583Sunita Chulani, Barry W. Boehm, Bert Steece. Bayesian Analysis of Empirical Software Engineering Cost Models
584 -- 599Kevin J. Sullivan, Mark Marchukov, John Socha. Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft s Component Object Model

Volume 25, Issue 3

289 -- 290David S. Wile, J. Christopher Ramming. Guest Editorial: Introduction to the Special Section Domain-Specfic Languages (DSL)
291 -- 308Conal Elliott. An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
309 -- 316Luca Cardelli, Rowan Davies. Service Combinators for Web Computing
317 -- 333Satish Chandra, Brad Richards, James R. Larus. Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols
334 -- 346David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox. Mawl: A Domain-Specific Language for Form-Based Services
347 -- 362Frédéric Bertrand, Michel Augeraud. BDL: A Specialized Language for Per-Object Reactive Control
363 -- 377Scott Thibault, Renaud Marlet, Charles Consel. Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation
378 -- 386Nils Klarlund, Michael I. Schwartzbach. A Domain-Specific Language for Regular Sets of Strings and Trees
387 -- 400Dawson R. Engler. Interface Compilation: Steps Toward Compiling Program Interfaces as Languages
401 -- 415Theodora A. Varvarigou, Miltiades E. Anagnostou, Sudhir R. Ahuja. Reconfiguration Models and Algorithms for Stateful Interactive Processes
416 -- 427Paul Caspi, Alain Girault, Daniel Pilaud. Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
428 -- 432Sheau-Dong Lang. An Extended Banker s Algorithm for Deadlock Avoidance

Volume 25, Issue 2

147 -- 165Javier Campos, Susanna Donatelli, Manuel Silva. Structured Solution of Asynchronously Communicating Stochastic Modules
166 -- 181Peter Buchholz. Hierarchical Structuring of Superposed GSPNs
182 -- 193Peter Kemper. Transient Analysis of Superposed GSPNs
194 -- 206Armin Heindl, Reinhard German. A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
207 -- 217Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi. Discrete-Event Simulation of Fluid Stochastic Petri Nets
218 -- 236Peter J. Haas. Estimation Methods for Nonregenerative Stochastic Petri Nets
237 -- 257Alois Ferscha. Adaptive Time Warp Simulation of Timed Petri Nets
258 -- 273Kentaro Go, Norio Shiratori. A Decomposition of a Formal Specification: An Improved Constraint Oriented Method
274 -- 281Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal. Consistency Issues in Distributed Checkpoints
282 -- 285Lesley Pickard, Barbara A. Kitchenham, Peter Jones. Comments on: Evaluating Alternative Software Production Functions

Volume 25, Issue 1

3 -- 21Christos T. Karamanolis, Jeff Magee. Client Access Protocols for Replicated Services
22 -- 32Giorgio C. Buttazzo, Marco Caccamo. Minimizing Aperiodic Response Times in a Firm Real-Time Environment
33 -- 49Fabiano Borges Paulo, Paulo Cesar Masiero, Maria Cristina Ferreira de Oliveira. Hypercharts: Extended Statecharts to Support Hypermedia Specification
50 -- 74Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov. A Development Environment for Complex Distributed Real-Time Applications
75 -- 90Rushikesh K. Joshi, D. Janaki Ram. Anonymous Remote Computing: A Paradigm for Parallel Programming on Interconnected Workstations
91 -- 121Lionel C. Briand, John W. Daly, Jürgen Wüst. A Unified Framework for Coupling Measurement in Object-Oriented Systems
122 -- 135Curtis E. Hrischuk, C. Murray Woodside, Jerome A. Rolia, Rod Iversen. Trace-Based Load Characterization for Gernerating Performance Software Models
136 -- 140Nader B. Ebrahimi. How to Improve the Calibration of Cost Models