IEEE Transactions on Software Engineering (TSE), Volume 24

Volume 24, Number 1, January 1998

• 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
  

• 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
  
• Joao 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 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

• 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

• 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
  

• 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

• Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini:
  Evaluating Testing Methods by Delivered Reliability. 586-601, (Erratum: TSE 25(2): 286 (1999))
  
• 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
  

• 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

• 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
  

• Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia:
  An Extensible System for Source Code Analysis. 721-740
  
• Steve 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

• 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
  

• 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

• 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
  

• 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

• 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
  

Last update Mon May 20 04:21:56 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page