IEEE Transactions on Software Engineering (TSE), Volume 20

Volume 20, Number 1, January 1994

• Peter B. Danzig:
  Flow Control for Limited Buffer Multicast. 1-12
  
• Michael González Harbour, Mark H. Klein, John P. Lehoczky:
  Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. 13-28
  
• Teruo Higashino, Gregor von Bochmann:
  Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. 29-42
  
• Ajay D. Kshemkalyani, Mukesh Singhal:
  Efficient Detection and Resolution of Generalized Distributed Deadlocks. 43-54
  
• Simon S. Lam, A. Udaya Shankar:
  A Theory of Interfaces and Modules I-Composition Theorem. 55-71
  
• Gang Luo, Anindya Das, Gregor von Bochmann:
  Software Testing Based on SDL Specifications with Save. 72-87
  
• Michael D. Rice, Stephen B. Seidman:
  A Formal Model for Module Interconnection Languages. 88-101
  

Volume 20, Number 2, February 1994

• Jong-Deok Choi, Ron Cytron, Jeanne Ferrante:
  On the Efficient Engineering of Ambitious Program Analysis. 105-114
  
• Jianan Li, Ichiro Suzuki, Masafumi Yamashita:
  A New Structural Induction Theorem for Rings of Temporal Petri Nets. 115-126
  
• Miguel Felder, Dino Mandrioli, Angelo Morzenti:
  Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. 127-141
  
• Paul Ammann, Susan S. Brilliant, John C. Knight:
  The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. 142-148
  
• Gang Luo, Gregor von Bochmann, Alexandre Petrenko:
  Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. 149-162
  

Volume 20, Number 3, March 1994

• Rajiv D. Banker, Robert J. Kauffman, Charles Wright, Dani Zweig:
  Automating Output Size and Reuse Metrics in a Repository-Based Computer-Aided Software Engineering (CASE) Environment. 169-187
  
• Yen-Min Huang, Chinya V. Ravishankar:
  Designing an Agent Synthesis System for Cross-RPC Communication. 188-198
  
• Norman E. Fenton:
  Software Measurement: A Necessary Scientific Basis. 199-206
  
• François Lustman:
  Specifying Transaction-Based Information Systems with Regular Expressions. 207-217
  
• William G. Griswold:
  Comments on ``Language Design for Program Manipulation''. 218-219
  

Volume 20, Number 4, April 1994

• Rajive Bagrodia, Wen-Toh Liao:
  Maisie: A Language for the Design of Efficient Discrete-Event Simulations. 225-238
  
• Gruia-Catalin Roman, C. Donald Wilcox:
  Architecture-Directed Refinement. 239-258
  
• Sergio Antoy, John D. Gannon:
  Using Term Rewriting to Verify Software. 259-274
  
• Jack E. Matson, Bruce E. Barrett, Joseph M. Mellichamp:
  Software Development Cost Estimation Using Function Points. 275-287
  
• George W. Ernst, Raymond J. Hookway, William F. Ogden:
  Modular Verification of Data Abstractions with Shared Realizations. 288-307
  
• Steve Vestal:
  Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. 308-317
  
• Siddhartha R. Dalal, Allen A. McIntosh:
  When to Stop Testing for Large Software Systems with Changing Code. 318-323
  

Volume 20, Number 5, May 1994

• Masato Notomi, Tadao Murata:
  Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. 325-336
  
• A. Jefferson Offutt, Stephen D. Lee:
  An Empirical Evaluation of Weak Mutation. 337-344
  
• Noé Lopez-Benitez:
  Dependability Modeling and Analysis of Distributed Programs. 345-352
  
• Elaine J. Weyuker, Tarak Goradia, Ashutosh Singh:
  Automatically Generating Test Data from a Boolean Specification. 353-363
  
• Xiping Song, Leon J. Osterweil:
  Experience with an Approach to Comparing Software Design Methodologies. 364-384
  
• Hemant D. Pande, William Landi, Barbara G. Ryder:
  Interprocedural Def-Use Associations for C Systems with Single Level Pointers. 385-403
  

Volume 20, Number 6, June 1994

• Venkatesh Akella, Ganesh Gopalakrishnan:
  Specification and Validation of Control-Intensive IC's in hopCP. 405-423
  
• Nirmal R. Saxena, Edward J. McCluskey:
  Linear Complexity Assertions for Sorting. 424-431
  
• Phillip Krueger, Niranjan G. Shivaratri:
  Adaptive Location Policies for Global Scheduling. 432-444
  
• William E. Howden, Bruce Wieand:
  QDA-A Method for Systematic Informal Program Analysis. 445-462
  
• Santanu Paul, Atul Prakash:
  A Framework for Source Code Search Using Program Patterns. 463-475
  
• Shyam R. Chidamber, Chris F. Kemerer:
  A Metrics Suite for Object Oriented Design. 476-493
  
• Claes Wohlin, Per Runeson:
  Certification of Software Components. 494-499
  
• Mitchell Flatebo, Ajoy Kumar Datta:
  Two-State Self-Stabilizing Algorithms for Token Rings. 500-504
  

Volume 20, Number 7, July 1994

• Guy Juanole:
  Petri Net Performance Models. 505
  
• Gianfranco Ciardo, Reinhard German, Christoph Lindemann:
  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. 506-515
  
• Giuliana Franceschinis, Richard R. Muntz:
  Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. 516-525
  
• Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva:
  Approximate Throughput Computation of Stochastic Marked Graphs. 526-535
  
• Richard J. Boucherie:
  A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets. 536-544
  

Volume 20, Number 8, August 1994

• Ian Sommerville:
  Introduction to the Special Issue. 546-547
  
• Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli:
  A Formal Framework for ASTRAL Intralevel Proof Obligations. 548-561
  
• David W. Bustard, Adam C. Winstanley:
  Making Changes to Formal Specifications: Requirements and an Example. 562-568
  
• Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh:
  Inconsistency Handling in Multperspective Specifications. 569-578
  
• Shing-Chi Cheung, Jeff Kramer:
  Tractable Dataflow Analysis for Distributed Systems. 579-593
  
• Alfred Aue, Michael Breu:
  Distributed Information Systems: An Advanced Methodology. 594-605
  
• Flavio De Paoli, Francesco Tisato:
  CSDL: A Language for Cooperative Systems Design. 606-616
  
• William B. Frakes, Thomas P. Pole:
  An Empirical Study of Representation Methods for Reusable Software Components. 617-630
  
• Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb:
  Design and Specification of Iterators Using the Swapping Paradigm. 631-643
  
• James M. Bieman, Linda M. Ott:
  Measuring Functional Cohesion. 644-657
  
• Ing-Ray Chen, Farokh B. Bastani:
  Warm Standby in Hierarchically Structured Process-Control Programs. 658-663
  
• Scott D. Stoller:
  Addendum to ``Proof Rules for Flush Channels''. 664
  

Volume 20, Number 9, September 1994

• Samaradasa Weerahandi, Robert E. Hausman:
  Software Quality Measurement Based on Fault-Detection Data. 665-676
  
• Sylvia Campodónico, Nozer D. Singpurwalla:
  A Bayesian Analysis of the Logarithmic-Poisson Execution Time Model Based on Expert Opinion and Failure Data. 677-683
  
• Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese:
  Requirements Specification for Process-Control Systems. 684-707
  
• George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
  Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. 708-719
  
• Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola:
  Parsing Nonlinear Languages. 720-739
  
• Karama Kanoun, Jean-Claude Laprie:
  Software Reliability Trend Analyses from Theoretical to Practical Considerations. 740-747
  
• A. Jefferson Offutt, Stephen D. Lee:
  Correction to ``An Empirical Evaluation of Weak Mutation''. 748
  

Volume 20, Number 10, October 1994

• Richard A. DeMillo:
  Introduction to the Special Section. 749
  
• Yabo Wang, David Lorge Parnas:
  Simulating the Behavior of Software Modules by Trace Rewriting. 750-759
  
• Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
  A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. 760-773
  
• Marc G. Bradac, Dewayne E. Perry, Lawrence G. Votta:
  Prototyping a Process Monitoring Experiment. 774-784
  
• Les Hatton, Andy Roberts:
  How Accurate Is Scientific Software? 785-797
  
• Daniel L. Kiskis, Kang G. Shin:
  SWSL: A Synthetic Workload Specification Language for Real-Time Systems. 798-811
  
• James A. Whittaker, Michael G. Thomason:
  A Markov Chain Model for Statistical Software Testing. 812-824
  

Volume 20, Number 11, November 1994

• Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven:
  Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice. 825-832
  
• Harvey Wohlwend, Susan Rosenbaum:
  Schlumberger's Software Improvement Program. 833-839
  
• Hanns-Helmuth Deubler, Meinhard Koestler:
  Introducing Object Orientation into Large and Complex Systems. 840-848
  
• Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh:
  An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. 849-867
  
• Daniel A. Menascé, Yelena Yesha, Konstantinos Kalpakis:
  On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols. 868-884
  

Volume 20, Number 12, December 1994

• Antonia Bertolino, Martina Marré:
  Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. 885-899
  
• Michel Diaz, Guy Juanole, Jean-Pierre Courtiat:
  Observer-A Concept for Formal On-Line Validation of Distributed Systems. 900-913
  
• Ying Liu, Ambuj K. Singh, Rajive Bagrodia:
  A Decompositional Approach to the Design of Parallel Programs. 914-932
  
• Farnam Jahanian, Aloysius K. Mok:
  Modechart: A Specification Language for Real-Time Systems. 933-947
  
• David Lorge Parnas, Jan Madey, Michal Iglewski:
  Precise Documentation of Well-Structured Programs. 948-976
  
• Tsong Yueh Chen, Yuen-Tak Yu:
  On the Relationship Between Partition and Random Testing. 977-980