IEEE Transactions on Software Engineering (TSE), Volume 24

Volume 24, Number 1, January 1998

Special Section on Formal Methods in Software Practice

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

Regular Papers

• 
  Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr:
  Evolution of Object Behavior Using Context Relations. 79-92

Volume 24, Number 2, February 1998

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

Volume 24, Number 3, March 1998

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

Volume 24, Number 4, April 1998

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

Volume 24, Number 5, May 1998

Special Issue: Mobility and Network-Aware Computing

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

Volume 24, Number 6, June 1998

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

Volume 24, Number 7, July 1998

Special Section: Symposium on Foundations in Software Engineering (FSE-4)

• 
  William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese:
  Model Checking Large Software Specifications. 498-520
• 
  Daniel Le Métayer:
  Describing Software Architecture Styles Using Graph Grammars. 521-533
• 
  William 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. 534-558

Regular Papers

• 
  Carolyn B. Seaman, Victor R. Basili:
  Communication and Organization: An Empirical Study of Discussion in Inspection Meetings. 559-572
• 
  Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou:
  From Safety Analysis to Software Requirements. 573-584

Volume 24, Number 8, August 1998

Special Section: International Conference on Software Engineering (ICSE '97)

• 
  Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini:
  Evaluating Testing Methods by Delivered Reliability. 586-601
• 
  George S. Avrunin, James C. Corbett, Laura K. Dillon:
  Analyzing Partially-Implemented Real-Time Systems. 602-614
• 
  Allen H. Dutoit, Bernd Brügge:
  Communication Metrics for Software Development. 615-628

Regular Papers

• 
  Shyam R. Chidamber, David P. Darcy, Chris F. Kemerer:
  Managerial Use of Metrics for Object-Oriented Software: An Exploratory Analysis. 629-639
• 
  Tom L. Roberts Jr., Michael L. Gibson, R. Kelly Rainer Jr., Kent T. Fields:
  Factors that Impact Implementing a System Development Methodology. 640-649
• 
  Jonathan E. Cook, Lawrence G. Votta, Alexander L. Wolf:
  Cost-Effective Analysis of In-Place Software Processes. 650-663
• 
  Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal:
  Efficient Distributed Detection of Conjunctions of Local Predicates. 664-677

Volume 24, Number 9, September 1998

Special Section: Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '97)

• 
  Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios:
  AC++ Data Model Supporting Reachability Analysis and Dead Code Detection. 682-694
• 
  Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili:
  Integration of Sequential Scenarios. 695-708
• 
  John M. Rushby, Sam Owre, Natarajan Shankar:
  Subtypes for Specifications: Predicate Subtyping in PVS. 709-720

Regular Papers

• 
  Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia:
  An Extensible System for Source Code Analysis. 721-740
• 
  Steve A. Schneider:
  Verifying Authentication Protocols in CSP. 741-758
• 
  Xiping Song, Leon J. Osterweil:
  Engineering Software Design Processes to Guide Process Execution. 759-775

Volume 24, Number 10, October 1998

Special Section Managing Feature Interactions in Telecommunications Software Systems

• 
  Dirk O. Keck, Paul J. Kühn:
  The Feature and Service Interaction Problem in Telecommunications Systems. A Survey. 779-796
• 
  Fuchun Joseph Lin, Hong Liu, Abhijit Ghosh:
  A Methodology for Feature Interaction Detection in the AIN 0.1 Framework. 797-817
• 
  Simon Tsang, Evan H. Magill:
  Learning To Detect and Avoid Run-Time Feature Interactions in Intelligent Networks. 818-830
• 
  Michael Jackson, Pamela Zave:
  Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. 831-847

Regular Papers

• 
  Sanjay Bhansali, Tim J. Hoar:
  Automated Software Synthesis: An Application in Mechanical CAD. 848-862
• 
  Andreas Lecerof, Fabio Paternò:
  Automatic Support for Usability Evaluation. 863-888
• 
  Daniel D. Deavours, William H. Sanders:
  "On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions. 889-902

Volume 24, Number 11, November 1998

Special Section Managing Inconsistency in Software Development

• 
  Axel van Lamsweerde, Robert Darimont, Emmanuel Letier:
  Managing Conflicts in Goal-Driven Requirements Engineering. 908-926
• 
  Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj:
  Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. 927-948
• 
  Martin S. Feather:
  Rapid Application of Lightweight Formal Methods for Consistency Analysis. 949-959
• 
  John C. Grundy, John G. Hosking, Warwick B. Mugridge:
  Inconsistency Management for Multiple-View Software Development Environments. 960-981
• 
  Gianpaolo Cugola:
  Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models. 982-1001

Regular Papers

• 
  Norman E. Fenton, Martin Neil:
  A Strategy for Improving Safety Related Software Engineering Standards. 1002-1013
• 
  Zhen Liu:
  Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach. 1014-1030

Volume 24, Number 12, December 1998

Scenario Management

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