External Links

    Journal: IEEE Trans. Software Eng.

    Volume 28, Issue 9

    817 -- 821Fabrice Kordon, Luqi. An Introduction to Rapid System Prototyping
    822 -- 831Amer Baghdadi, Nacer-Eddine Zergainoh, Wander O. Cesário, Ahmed Amine Jerraya. Combining a Performance Estimation Methodology with a Hardware/Software Codesign Flow Supporting Multiprocessor Systems
    832 -- 846Randall S. Janka, Linda M. Wills, Lewis B. Baumstark Jr.. Virtual Benchmarking and Model Continuity in Prototyping Embedded Multiprocessor Signal Processing Systems
    847 -- 862Francisco Barat, Rudy Lauwereins, Geert Deconinck. Reconfigurable Instruction Set Processors from a Hardware/Software Perspective
    863 -- 875Anandasivam Gopal, Mayuram S. Krishnan, Tridas Mukhopadhyay, Dennis Goldenson. Measurement Programs in Software Development: Determinants of Success
    876 -- 888Maurizio Morisio, Daniele Romano, Ioannis Stamelos. Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study
    889 -- 903David Harel, Orna Kupferman. On Object Systems and Behavioral Inheritance
    904 -- 912Donald E. Neumann. An Enhanced Neural Network Technique for Software Risk Analysis

    Volume 28, Issue 8

    721 -- 734Barbara A. Kitchenham, Shari Lawrence Pfleeger, Lesley Pickard, Peter Jones, David C. Hoaglin, Khaled El Emam, Jarrett Rosenberg. Preliminary Guidelines for Empirical Research in Software Engineering
    735 -- 746Christian S. Collberg, Clark D. Thomborson. Watermarking, Tamper-Proofing, and Obfuscation-Tools for Software Protection
    747 -- 762Betty H. C. Cheng, Enoch Y. Wang. Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling
    763 -- 781Christopher A. Healy, David B. Whalley. Automatic Detection and Exploitation of Branch Constraints for Timing Analysis
    782 -- 796João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur. A Formal Model of the Software Test Process
    797 -- 813Giulio Mori, Fabio Paternò, Carmen Santoro. CTTE: Support for Developing and Analyzing Task Models for Interactive System Design
    814 -- 815Wladyslaw M. Turski. The Reference Model for Smooth Growth of Software Systems Revisited

    Volume 28, Issue 7

    625 -- 637David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus. Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor
    638 -- 653Liliana Dobrica, Eila Niemelä. A Survey on Software Architecture Analysis Methods
    654 -- 670Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue. CCFinder: A Multilinguistic Token-Based Code Clone Detection System for Large Scale Source Code
    671 -- 683Stephanie Teasley, Lisa Covi, Mayuram S. Krishnan, Judith S. Olson. Rapid Software Development through Team Collocation
    684 -- 694Vijay S. Mookerjee, I. Robert Chiang. A Dynamic Coordination Policy for Software System Construction
    695 -- 705Dewayne E. Perry, Adam A. Porter, Michael W. Wade, Lawrence G. Votta, James Perpich. Reducing Inspection Interval in Large-Scale Software Development
    706 -- 720Lionel C. Briand, Walcélio L. Melo, Jürgen Wüst. Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects

    Volume 28, Issue 6

    529 -- 547Sherif M. Yacoub, Hany H. Ammar. A Methodology for Architecture-Level Reliability Risk Analysis
    548 -- 575Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena. A Logical Theory of Interfaces and Objects
    576 -- 594Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gregg Rothermel. Testing Homogeneous Spreadsheet Grids with the What You See Is What You Test Methodology
    595 -- 606Lutz Prechelt, Barbara Unger-Lamprecht, Michael Philippsen, Walter F. Tichy. Two Controlled Experiments Assessing the Usefulness of Design Pattern Documentation in Program Maintenance
    607 -- 623Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai. Incremental Integration Testing of Concurrent Programs
    624 -- 0T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo. Corrections to The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities

    Volume 28, Issue 5

    433 -- 448Amy L. Murphy, Gruia-Catalin Roman, George Varghese. Tracking Mobile Units for Dependable Message Delivery
    449 -- 462Tom Mens. A State-of-the-Art Survey on Software Merging
    463 -- 477T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo. The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities
    478 -- 493Nenad Stankovic, Kang Zhang. A Distributed Parallel Programming Framework
    494 -- 509Khaled El Emam, Saïda Benlarbi, Nishith Goel, Walcélio L. Melo, Hakim Lounis, Shesh N. Rai. The Optimal Class Size for Object-Oriented Software
    510 -- 524David A. Wooff, Michael Goldstein, Frank P. A. Cohen. Bayesian Graphical Models for Software Testing
    526 -- 527Lu Zhang, Dan Xie. Comments on On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics

    Volume 28, Issue 4

    321 -- 339Curtis E. Hrischuk, C. Murray Woodside. Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
    340 -- 357Maurizio Morisio, Michel Ezran, Colin Tully. Success and Failure Factors in Software Reuse
    358 -- 363Jayant Rajgopal, Mainak Mazumdar. Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model
    364 -- 377Gerard J. Holzmann, Margaret H. Smith. An Automated Verification Method for Distributed Systems Software Based on Model Extraction
    378 -- 395Svend Frølund, Rachid Guerraoui. e-Transactions: End-to-End Reliability for Three-Tier Architectures
    396 -- 412Stephen G. Eick, Todd L. Graves, Alan F. Karr, Audris Mockus, Paul Schuster. Visualizing Software Changes
    413 -- 430Dragan Milicev. Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments

    Volume 28, Issue 3

    209 -- 0John C. Knight. AE Introduction
    210 -- 227Wuu Yang. A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior
    228 -- 255Kevin L. Mills, Hassan Gomaa. Knowledge-Based Automation of a Design Method for Concurrent Systems
    256 -- 285Stuart G. Stubblebine, Rebecca N. Wright. An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency
    286 -- 307Emilia Rosti, Giuseppe Serazzi, Evgenia Smirni, Mark S. Squillante. Models of Parallel Applications with Large Computation and I/O Requirements
    308 -- 320Ann E. Kelley Sobel, Michael R. Clarkson. Formal Methods Application: An Empirical Tale of Software Development

    Volume 28, Issue 2

    113 -- 114Mary Jean Harrold, Antonia Bertolino. Guest Editors Introduction: 2000 International Symposium on Software Testing and Analysis
    115 -- 128Stephen F. Siegel, George S. Avrunin. Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles
    129 -- 145Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan. Verisim: Formal Analysis of Network Simulations
    146 -- 158Dennis K. Peters, David Lorge Parnas. Requirements-Based Monitors for Real-Time Systems
    159 -- 182Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel. Test Case Prioritization: A Family of Empirical Studies
    183 -- 200Andreas Zeller, Ralf Hildebrandt. Simplifying and Isolating Failure-Inducing Input
    201 -- 208Mohamed G. Gouda. Multiphase Stabilization

    Volume 28, Issue 12

    1105 -- 0John C. Knight. Editorial: New AE Introduction/Farewell
    1106 -- 1125Lionel C. Briand, Sandro Morasca, Victor R. Basili. An Operational Process for Goal-Driven Definition of Measures
    1126 -- 1134Pankaj Jalote, Ashish Saxena. Optimum Control Limits for Employing Statistical Process Control in Software Process
    1135 -- 1145Cynthia K. Riemenschneider, Bill C. Hardgrave, Fred D. Davis. Explaining Software Developer Acceptance of Methodologies: A Comparison of Five Theoretical Models
    1146 -- 1170Michael D. Ernst, Greg J. Badros, David Notkin. An Empirical Analysis of C Preprocessor Use
    1171 -- 1180Janice Singer, Norman G. Vinson. Ethical Issues in Empirical Studies of Software Engineering
    1181 -- 1193Lars Bratthall, Claes Wohlin. Is it Possible to Decorate Graphical Software Design and Architecture Models with Qualitative Information?-An Experiment

    Volume 28, Issue 11

    1009 -- 1022Jongmoon Baik, Barry W. Boehm, Bert Steece. Disaggregating and Calibrating the CASE Tool Variable in COCOMO II
    1023 -- 1038Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek. Timed Wp-Method: Testing Real-Time Systems
    1039 -- 1055Giacomo Cabri, Letizia Leonardi, Franco Zambonelli. Engineering Mobile Agent Applications via Context-Dependent Coordination
    1056 -- 1076Frantisek Plasil, Stanislav Visnovsky. Behavior Protocols for Software Components
    1077 -- 1084Loon-Been Chen, I-Chen Wu. An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates
    1085 -- 1103Ahmed Khoumsi. A Temporal Approach for Testing Distributed Systems

    Volume 28, Issue 10

    913 -- 914Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort. Introduction to the Special Section on Petri Nets and Performance Models
    915 -- 932Gianfranco Balbo, Steven C. Bruell, Matteo Sereno. Product Form Solution for Generalized Stochastic Petri Nets
    933 -- 943András Horváth, Miklós Telek. Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
    944 -- 955Marco Gribaudo, András Horváth. Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
    956 -- 969Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster. The Möbius Framework and Its Implementation
    970 -- 983Giuliano Antoniol, Gerardo Canfora, Gerardo Casazza, Andrea De Lucia, Ettore Merlo. Recovering Traceability Links between Code and Documentation
    997 -- 1007Jeff Tian. Better Reliability Assessment and Prediction through Data Clustering
    1008 -- 0. Obituary for Ole-Johan Dahl (1931-2002), Edsger Wybe Dijkstra (1930-2002), and Kristen Nygaard (1926-2002)

    Volume 28, Issue 1

    4 -- 17Jagdish Bansiya, Carl G. Davis. A Hierarchical Model for Object-Oriented Design Quality Assessment
    18 -- 29Hui Wu, Wei-Ngan Chin, Joxan Jaffar. An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model
    30 -- 57Binoy Ravindran. Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware
    58 -- 78Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander. A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
    79 -- 99André van der Hoek, Antonio Carzaniga, Dennis Heimbigner, Alexander L. Wolf. A Testbed for Configuration Management Policy Programming
    100 -- 108Premkumar T. Devanbu, Stuart G. Stubblebine. Stack and Queue Integrity on Hostile Platforms
    109 -- 111Kuo-Chung Tai, Yu Lei. A Test Generation Strategy for Pairwise Testing
    runs on