IEEE Transactions on Software Engineering (TSE), Volume 22

Volume 22, Number 1, January 1996

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

• Lionel C. Briand, Sandro Morasca, Victor R. Basili:
  Property-Based Software Engineering Measurement. 68-86
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 22, Number 2, February 1996

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

• Kate Finney:
  Mathematical Notation in Formal Specification: Too Difficult for the Masses? 158-159
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 22, Number 3, March 1996

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

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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Hong Zhu:
  A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. 248-255
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Frédéric Boussinot, Robert de Simone:
  The SL Synchronous Language. 256-266
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Martin Hitz, Behzad Montazeri:
  Chidamber and Kemerer's Metrics Suite: A Measurement Theory Perspective. 267-271
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Lin Lin Wang:
  Thorough Investigation into ``An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''. 271-274
  Electronic Edition (IEEE Computer Society DL) BibTeX
• William B. Frakes, Christopher J. Fox:
  Quality Improvement Using A Software Reuse Failure Modes Model. 274-279
  Electronic Edition (IEEE Computer Society DL) BibTeX

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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Olin Sibert, Phillip A. Porras, Robert Lindell:
  An Analysis of the Intel 80x86 Security Architecture and Implementations. 283-293
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ross J. Anderson, S. Johann Bezuidenhoudt:
  On the Reliability of Electronic Payment Systems. 294-301
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Matthew K. Franklin, Michael K. Reiter:
  The Design and Implementation of a Secure Auction Service. 302-312
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Rajashekar Kailar:
  Accountability in Electronic Commerce Protocols. 313-328
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Myong H. Kang, Ira S. Moskowitz, Daniel C. Lee:
  A Network Pump. 329-338
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Salwa K. Abd-El-Hafiz, Victor R. Basili:
  A Knowledge-Based Approach to the Analysis of Loops. 339-360
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 22, Number 6, June 1996

• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Mats Per Erik Heimdahl, Nancy G. Leveson:
  Completeness and Consistency in Hierarchical State-Based Requirements. 363-377
  Electronic Edition (IEEE Computer Society DL) BibTeX
• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX

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

Volume 22, Number 7, July 1996

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

• Pamela Zave, Michael Jackson:
  Where Do Operations Come From: A Multiparadigm Specification Technique. 508-528
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 22, Number 8, August 1996

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

• Wladyslaw M. Turski:
  Reference Model for Smooth Growth of Software Systems. 599-600
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 22, Number 9, September 1996

• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Peter Kemper:
  Numerical Analysis of Superposed GSPNs. 615-628
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Rossano Gaeta:
  Efficient Discrete-Event Simulation of Colored Petri Nets. 629-639
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Varsha Mainkar, Kishor S. Trivedi:
  Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. 640-653
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Matteo Sereno:
  Approximate Mean Value Analysis for Stochastic Marked Graphs. 654-664
  Electronic Edition (IEEE Computer Society DL) BibTeX

• Martin P. Ward:
  Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. 665-686
  Electronic Edition (IEEE Computer Society DL) BibTeX

• Tom Adams:
  Total Variance Approach to Software Reliability-Estimation. 687-688
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 22, Number 10, October 1996

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

Volume 22, Number 11, November 1996

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

Volume 22, Number 12, December 1996

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

• Richard J. Botting:
  Comments on "A Formal Semantics for Object Model Diagrams". 911
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Robert H. Bourdeau, Betty H. C. Cheng:
  Correspondence: Response to Botting's Comments. 911
  Electronic Edition (IEEE Computer Society DL) BibTeX