IEEE Transactions on Software Engineering (TSE), Volume 22

Volume 22, Number 1, January 1996

Special Section-Best Papers of the IEEE Symposium on Security and Privacy 1994

• 
  John McHugh:
  Guest Editorial: Introduction to the Special Section. 3-5
• 
  Martín Abadi, Roger M. Needham:
  Prudent Engineering Practice for Cryptographic Protocols. 6-15
• 
  Nevin Heintze, J. D. Tygar:
  A Model for Secure Protocols and Their Compositions. 16-30
• 
  Michael K. Reiter:
  A Secure Group Membership Protocol. 31-42
• 
  Li Gong, Xiaolei Qian:
  Computational Issues in Secure Interoperation. 43-52
• 
  John McLean:
  A General Theory of Composition for a Class of "Possibilistic'' Properties. 53-67

Regular Paper

• 
  Lionel C. Briand, Sandro Morasca, Victor R. Basili:
  Property-Based Software Engineering Measurement. 68-86

Volume 22, Number 2, February 1996

Regular Papers

• 
  Antonia Bertolino, Lorenzo Strigini:
  On the Use of Testability Measures for Dependability Assessment. 97-108
• 
  Tsong Yueh Chen, Yuen-Tak Yu:
  On the Expected Number of Failures Detected by Subdomain Testing and Random Testing. 109-119
• 
  Deepak Gupta, Pankaj Jalote, Gautam Barua:
  A Formal Framework for On-line Software Version Change. 120-131
• 
  Christian Clémençon, Bodhisattwa Mukherjee, Karsten Schwan:
  Distributed Shared Abstractions (DSA) on Multiprocessor. 132-152
• 
  Václav Rajlich, João H. Silva:
  Evolution and Reuse of Orthogonal Architecture. 153-157

Correspondence

• 
  Kate Finney:
  Mathematical Notation in Formal Specification: Too Difficult for the Masses? 158-159

Volume 22, Number 3, March 1996

• 
  James C. Corbett:
  Evaluating Deadlock Detection Methods for Concurrent Software. 161-180
• 
  Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
  Automatic Symbolic Verification of Embedded Systems. 181-201
• 
  Santanu Paul, Atul Prakash:
  A Query Algebra for Program Databases. 202-217
• 
  Sanping Chen, Shirley Mills:
  A Binary Markov Process Model for Random Testing. 218-223

Volume 22, Number 4, April 1996

• 
  C. Donald Wilcox, Gruia-Catalin Roman:
  Reasoning About Places, Times, and Actions in the Presence of Mobility. 225-247
• 
  Hong Zhu:
  A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. 248-255
• 
  Frédéric Boussinot, Robert de Simone:
  The SL Synchronous Language. 256-266
• 
  Martin Hitz, Behzad Montazeri:
  Chidamber and Kemerer's Metrics Suite: A Measurement Theory Perspective. 267-271
• 
  Lin Lin Wang:
  Thorough Investigation into "An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''. 271-274
• 
  William B. Frakes, Christopher J. Fox:
  Quality Improvement Using A Software Reuse Failure Modes Model. 274-279

Volume 22, Number 5, May 1996

• 
  Catherine Meadows:
  Guest Editorial: Introduction to the Special Section - Best Papers of the 1995 IEEE Symposium on Security and Privacy. 281-282
• 
  Olin Sibert, Phillip A. Porras, Robert Lindell:
  An Analysis of the Intel 80x86 Security Architecture and Implementations. 283-293
• 
  Ross J. Anderson, S. Johann Bezuidenhoudt:
  On the Reliability of Electronic Payment Systems. 294-301
• 
  Matthew K. Franklin, Michael K. Reiter:
  The Design and Implementation of a Secure Auction Service. 302-312
• 
  Rajashekar Kailar:
  Accountability in Electronic Commerce Protocols. 313-328
• 
  Myong H. Kang, Ira S. Moskowitz, Daniel C. Lee:
  A Network Pump. 329-338
• 
  Salwa K. Abd-El-Hafiz, Victor R. Basili:
  A Knowledge-Based Approach to the Analysis of Loops. 339-360

Volume 22, Number 6, June 1996

Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17)

• 
  David Notkin, D. Ross Jeffery:
  Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17). 361-362
• 
  Mats Per Erik Heimdahl, Nancy G. Leveson:
  Completeness and Consistency in Hierarchical State-Based Requirements. 363-377
• 
  Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen:
  A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. 378-389
• 
  Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins, Kari A. Nies, Peyman Oreizy, Deborah L. Dubrow:
  A Component- and Message-Based Architectural Style for GUI Software. 390-406

Regular Papers

• 
  Tomás Isakowitz, Robert J. Kauffman:
  Supporting Search for Reusable Software Objects. 407-423
• 
  Anneliese von Mayrhauser, A. Marie Vans:
  Identification of Dynamic Comprehension Processes During Large Scale Maintenance. 424-437

Volume 22, Number 7, July 1996

Special Section Best Papers of the 1996 International Symposium On Software Testing and Analysis (ISSTA'96)

• 
  Mary Jean Harrold, Gregg Rothermel:
  Separate Computation of Alias Information for Reuse. 442-460
• 
  James C. Corbett:
  Timing Analysis of Ada Tasking Programs. 461-483
• 
  Daniel Jackson, Craig Damon:
  Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. 484-495
• 
  Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas:
  Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. 496-507

Regular Papers

• 
  Pamela Zave, Michael Jackson:
  Where Do Operations Come From: A Multiparadigm Specification Technique. 508-528

Volume 22, Number 8, August 1996

Regular Papers

• 
  Gregg Rothermel, Mary Jean Harrold:
  Analyzing Regression Test Selection Techniques. 529-551
• 
  Kuo-Chung Tai:
  Theory of Fault-Based Predicate Testing for Computer Programs. 552-562
• 
  Kevin J. Sullivan, Ira Kalet, David Notkin:
  Evaluating The Mediator Method: Prism as a Case Study. 563-579
• 
  Taizan Chan, Siu Leung Chung, Teck-Hua Ho:
  An Economic Model to Estimate Software Rewriting and Replacement Times. 580-598

Correspondence

• 
  Wladyslaw M. Turski:
  Reference Model for Smooth Growth of Software Systems. 599-600

Volume 22, Number 9, September 1996

Special Section-Best Papers of the Sixth International Workshop on Petri Nets and Performance Models (PNPM'95)

• 
  Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German:
  Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. 603-614
• 
  Peter Kemper:
  Numerical Analysis of Superposed GSPNs. 615-628
• 
  Rossano Gaeta:
  Efficient Discrete-Event Simulation of Colored Petri Nets. 629-639
• 
  Varsha Mainkar, Kishor S. Trivedi:
  Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. 640-653
• 
  Matteo Sereno:
  Approximate Mean Value Analysis for Stochastic Marked Graphs. 654-664

Regular Paper

• 
  Martin P. Ward:
  Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. 665-686

Concise Paper

• 
  Tom Adams:
  Total Variance Approach to Software Reliability-Estimation. 687-688

Volume 22, Number 10, October 1996

Regular Papers

• 
  Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri:
  Modular Algebraic Nets to Specify Concurrent Systems. 689-705
• 
  Katrina Maxwell, Luk N. Van Wassenhove, Soumitra Dutta:
  Software Development Productivity of European Space, Military, and Industrial Applications. 706-718
• 
  Nicholas J. Puketza, Kui Zhang, Mandy Chung, Biswanath Mukherjee, Ronald A. Olsson:
  A Methodology for Testing Intrusion Detection Systems. 719-729
• 
  Filomena Ferrucci, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello:
  Semantics-Based Inference Algorithms for Adaptive Visual Environments. 730-750
• 
  Victor R. Basili, Lionel C. Briand, Walcélio L. Melo:
  A Validation of Object-Oriented Design Metrics as Quality Indicators. 751-761
• 
  F. Warren Burton:
  Guaranteeing Good Memory Bound for Parallel Programs. 762-773

Volume 22, Number 11, November 1996

Regular Papers

• 
  Phil Stocks, David A. Carrington:
  A Framework for Specification-Based Testing. 777-793
• 
  Matthew B. Dwyer, Lori A. Clarke:
  A Compact Petri Net Representation and Its Implications for Analysis. 794-811
• 
  Peter Triantafillou:
  Independent Recovery in Large-Scale Distributed Systems. 812-826
• 
  Hanoch Levy, Ted Messinger, Robert J. T. Morris:
  The Cache Assignment Problem and Its Application to Database Buffer Management. 827-838

Volume 22, Number 12, December 1996

Regular Papers

• 
  Sergio Bandinelli, Elisabetta Di Nitto, Alfonso Fuggetta:
  Supporting Cooperation in the SPADE-1 Environment. 841-865
• 
  Yuri Chernak:
  A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement. 866-874
• 
  Joseph D. Blackburn, Gary D. Scudder, Luk N. Van Wassenhove:
  Improving Speed and Productivity of Software Development: A Global Survey of Software Developers. 875-885
• 
  Niclas Ohlsson, Hans Alberg:
  Predicting Fault-Prone Software Modules in Telephone Switches. 886-894
• 
  Alain Abran, Pierre N. Robillard:
  Function Points Analysis: An Empirical Study of Its Measurement Processes. 895-910

Correspondence

• 
  Richard J. Botting:
  Comments on "A Formal Semantics for Object Model Diagrams". 911
• 
  Robert H. Bourdeau, Betty H. C. Cheng:
  Correspondence: Response to Botting's Comments. 911