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

Volume 20, Number 2, February 1994

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

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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Yen-Min Huang, Chinya V. Ravishankar:
  Designing an Agent Synthesis System for Cross-RPC Communication. 188-198
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Norman E. Fenton:
  Software Measurement: A Necessary Scientific Basis. 199-206
  Electronic Edition (IEEE Computer Society DL) BibTeX
• François Lustman:
  Specifying Transaction-Based Information Systems with Regular Expressions. 207-217
  Electronic Edition (IEEE Computer Society DL) BibTeX
• William G. Griswold:
  Comments on ``Language Design for Program Manipulation''. 218-219
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 20, Number 4, April 1994

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

Volume 20, Number 5, May 1994

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

Volume 20, Number 6, June 1994

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

Volume 20, Number 7, July 1994

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

Volume 20, Number 8, August 1994

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

Volume 20, Number 9, September 1994

• Samaradasa Weerahandi, Robert E. Hausman:
  Software Quality Measurement Based on Fault-Detection Data. 665-676
  Electronic Edition (IEEE Computer Society DL) BibTeX
• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese:
  Requirements Specification for Process-Control Systems. 684-707
  Electronic Edition (IEEE Computer Society DL) BibTeX
• George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
  Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. 708-719
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola:
  Parsing Nonlinear Languages. 720-739
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Karama Kanoun, Jean-Claude Laprie:
  Software Reliability Trend Analyses from Theoretical to Practical Considerations. 740-747
  Electronic Edition (IEEE Computer Society DL) BibTeX
• A. Jefferson Offutt, Stephen D. Lee:
  Correction to ``An Empirical Evaluation of Weak Mutation''. 748
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 20, Number 10, October 1994

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

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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Harvey Wohlwend, Susan Rosenbaum:
  Schlumberger's Software Improvement Program. 833-839
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Hanns-Helmuth Deubler, Meinhard Koestler:
  Introducing Object Orientation into Large and Complex Systems. 840-848
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh:
  An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. 849-867
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Daniel A. Menascé, Yelena Yesha, Konstantinos Kalpakis:
  On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols. 868-884
  Electronic Edition (IEEE Computer Society DL) BibTeX

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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Michel Diaz, Guy Juanole, Jean-Pierre Courtiat:
  Observer-A Concept for Formal On-Line Validation of Distributed Systems. 900-913
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ying Liu, Ambuj K. Singh, Rajive Bagrodia:
  A Decompositional Approach to the Design of Parallel Programs. 914-932
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Farnam Jahanian, Aloysius K. Mok:
  Modechart: A Specification Language for Real-Time Systems. 933-947
  Electronic Edition (IEEE Computer Society DL) BibTeX
• David Lorge Parnas, Jan Madey, Michal Iglewski:
  Precise Documentation of Well-Structured Programs. 948-976
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tsong Yueh Chen, Yuen-Tak Yu:
  On the Relationship Between Partition and Random Testing. 977-980
  Electronic Edition (IEEE Computer Society DL) BibTeX