External Links

    Journal: IEEE Trans. Software Eng.

    Volume 24, Issue 9

    682 -- 694Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios. AC++ Data Model Supporting Reachability Analysis and Dead Code Detection
    695 -- 708Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili. Integration of Sequential Scenarios
    709 -- 720John M. Rushby, Sam Owre, Natarajan Shankar. Subtypes for Specifications: Predicate Subtyping in PVS
    721 -- 740Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia. An Extensible System for Source Code Analysis
    741 -- 758Steve Schneider. Verifying Authentication Protocols in CSP
    759 -- 775Xiping Song, Leon J. Osterweil. Engineering Software Design Processes to Guide Process Execution

    Volume 24, Issue 8

    586 -- 601Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini. Evaluating Testing Methods by Delivered Reliability
    602 -- 614George S. Avrunin, James C. Corbett, Laura K. Dillon. Analyzing Partially-Implemented Real-Time Systems
    615 -- 628Allen H. Dutoit, Bernd Brügge. Communication Metrics for Software Development
    629 -- 639Shyam R. Chidamber, David P. Darcy, Chris F. Kemerer. Managerial Use of Metrics for Object-Oriented Software: An Exploratory Analysis
    640 -- 649Tom L. Roberts Jr., Michael L. Gibson, R. Kelly Rainer Jr., Kent T. Fields. Factors that Impact Implementing a System Development Methodology
    650 -- 663Jonathan E. Cook, Lawrence G. Votta, Alexander L. Wolf. Cost-Effective Analysis of In-Place Software Processes
    664 -- 677Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal. Efficient Distributed Detection of Conjunctions of Local Predicates

    Volume 24, Issue 7

    498 -- 520William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese. Model Checking Large Software Specifications
    521 -- 533Daniel Le Métayer. Describing Software Architecture Styles Using Graph Grammars
    534 -- 558William G. Griswold, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, J. David Morgenthaler. Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
    559 -- 572Carolyn B. Seaman, Victor R. Basili. Communication and Organization: An Empirical Study of Discussion in Inspection Meetings
    573 -- 584Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou. From Safety Analysis to Software Requirements

    Volume 24, Issue 6

    401 -- 419Gregg Rothermel, Mary Jean Harrold. Empirical Studies of a Safe Regression Test Selection Technique
    420 -- 434Mary E. Helander, Ming Zhao, Niclas Ohlsson. Planning Models for Software Reliability and Cost
    435 -- 450Anish Arora, Sandeep S. Kulkarni. Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
    451 -- 470Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth. Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study
    491 -- 496Richard H. Carver, Steve Counsell, Reuben V. Nithi. An Evaluation of the MOOD Set of Object-Oriented Software Metrics

    Volume 24, Issue 5

    315 -- 330Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese. KLAIM: A Kernel Language for Agents Interaction and Mobility
    331 -- 341Michel Wermelinger, José Luiz Fiadeiro. Connectors for Mobile Programs
    342 -- 361Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna. Understanding Code Mobility
    362 -- 375Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali, Davide Rossi, Andreas Knoche. Coordinating Multiagent Aplications on the WWW: A Reference Architecture
    376 -- 390Jürg Bolliger, Thomas R. Gross. A Framework-Based Approach to the Development of Network-Aware Applications
    391 -- 400Girish Welling, B. R. Badrinath. An Architecture for Exporting Environment Awareness to Mobile Computing Applications

    Volume 24, Issue 4

    233 -- 251Monique Snoeck, Guido Dedene. Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types
    252 -- 267Yen-Min Huang, Chinya V. Ravishankar. Constructive Protocol Specification Using Cicero
    268 -- 277Samuel G. McLellan, Alvin W. Roesler, Zongming Fei, Savita Chandran, Clay Spinuzzi. Experience Using Web-Based Shotgun Measures for Large-System Characterization and Improvement
    278 -- 301Barbara A. Kitchenham. A Procedure for Analyzing Unbalanced Datasets
    302 -- 312Lutz Prechelt, Walter F. Tichy. A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking

    Volume 24, Issue 3

    161 -- 173Dennis K. Peters, David Lorge Parnas. Using Test Oracles Generated from Program Documentation
    174 -- 196Alistair G. Sutcliffe, Neil A. M. Maiden. The Domain Theory for Requirements Engineering
    197 -- 215Stan Jarzabek. Design of Flexible Static Program Analyzers with PQL
    216 -- 231Arcot Sowmya, S. Ramesh. Extending Statecharts with Temporal Logic

    Volume 24, Issue 2

    97 -- 110Peter J. McCann, Gruia-Catalin Roman. Compositional Programming Abstractions for Mobile Computing
    111 -- 124James M. Bieman, Byung-Kyoo Kang. Measuring Design-Level Cohesion
    125 -- 136Joao Carreira, Henrique Madeira, João Gabriel Silva. Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
    137 -- 148Albert L. Lederer, Jayesh Prasad. A Causal Model for Software Cost Estimating Error
    149 -- 159Lorenzo Alvisi, Keith Marzullo. Message Logging: Pessimistic, Optimistic, Causal, and Optimal

    Volume 24, Issue 12

    1036 -- 1054Peter Haumer, Klaus Pohl, Klaus Weidenhaupt. Requirements Elicitation and Validation with Real World Scenes
    1055 -- 1071Colette Rolland, Carine Souveyet, Camille Ben Achour. Guiding Goal Modeling Using Scenarios
    1072 -- 1088Alistair G. Sutcliffe, Neil A. M. Maiden, Shailey Minocha, Darrel Manuel. Supporting Scenario-Based Requirements Engineering
    1089 -- 1114Axel van Lamsweerde, Laurent Willemet. Inferring Declarative Requirements Specifications from Operational Scenarios
    1115 -- 1130Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon. Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
    1131 -- 1155Raymond J. A. Buhr. Use Case Maps as Architectural Entities for Complex Systems
    1156 -- 1170John M. Carroll, Mary Beth Rosson, George Chin Jr., Jürgen Koenemann. Requirements Development in Scenario-Based Design
    1171 -- 1181Oliver Stiemerling, Armin B. Cremers. The Use of Cooperation Scenarios in the Design and Evaluation of a CSCW System
    1182 -- 1196Wolfgang Dzida, Regine Freitag. Making Use of Scenarios for Validating Analysis and Design

    Volume 24, Issue 11

    908 -- 926Axel van Lamsweerde, Robert Darimont, Emmanuel Letier. Managing Conflicts in Goal-Driven Requirements Engineering
    927 -- 948Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj. Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
    949 -- 959Martin S. Feather. Rapid Application of Lightweight Formal Methods for Consistency Analysis
    960 -- 981John C. Grundy, John G. Hosking, Warwick B. Mugridge. Inconsistency Management for Multiple-View Software Development Environments
    982 -- 1001Gianpaolo Cugola. Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
    1002 -- 1013Norman E. Fenton, Martin Neil. A Strategy for Improving Safety Related Software Engineering Standards
    1014 -- 1030Zhen Liu. Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach

    Volume 24, Issue 10

    779 -- 796Dirk O. Keck, Paul J. Kühn. The Feature and Service Interaction Problem in Telecommunications Systems. A Survey
    797 -- 817Fuchun Joseph Lin, Hong Liu, Abhijit Ghosh. A Methodology for Feature Interaction Detection in the AIN 0.1 Framework
    818 -- 830Simon Tsang, Evan H. Magill. Learning To Detect and Avoid Run-Time Feature Interactions in Intelligent Networks
    831 -- 847Michael Jackson, Pamela Zave. Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
    848 -- 862Sanjay Bhansali, Tim J. Hoar. Automated Software Synthesis: An Application in Mechanical CAD
    863 -- 888Andreas Lecerof, Fabio Paternò. Automatic Support for Usability Evaluation
    889 -- 902Daniel D. Deavours, William H. Sanders. On-the-Fly Solution Techniques for Stochastic Petri Nets and Extensions

    Volume 24, Issue 1

    4 -- 14Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton. Experiences Using Lightweight Formal Methods for Requirements Modeling
    15 -- 23Martin Neil, Gary Ostrolenk, Mary Tobin, Mark Southworth. Lessons from Using Z to Specify a Software Tool
    24 -- 45Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba. SOFL: A Formal Engineering Methodology for Industrial Applications
    46 -- 62Boutheina Chetali. Formal Verification of Concurrent Programs Using the Larch Prover
    63 -- 78Anish Arora, Sandeep S. Kulkarni. Component Based Design of Multitolerant Systems
    79 -- 92Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr. Evolution of Object Behavior Using Context Relations
    runs on