External Links

    Journal: IEEE Trans. Software Eng.

    Volume 20, Issue 9

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

    Volume 20, Issue 8

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

    Volume 20, Issue 7

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

    Volume 20, Issue 6

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

    Volume 20, Issue 5

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

    Volume 20, Issue 4

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

    Volume 20, Issue 3

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

    Volume 20, Issue 2

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

    Volume 20, Issue 12

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

    Volume 20, Issue 11

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

    Volume 20, Issue 10

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

    Volume 20, Issue 1

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