External Links

    Journal: IEEE Trans. Software Eng.

    Volume 19, Issue 9

    845 -- 855Mohan Ahuja, Timothy Carlson, Ashwani Gahlot. Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing
    856 -- 862David Lorge Parnas. Predicate Logic for Software Engineering
    863 -- 885Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang. Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella
    886 -- 901Paul Helman, Gunar E. Liepins. Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse
    902 -- 911Ing-Ray Chen, Sayed Atef Banawan. Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers
    912 -- 919Elaine J. Weyuker. More Experience with Data Flow Testing
    920 -- 934Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider. Engineering and Analysis of Fixed Priority Schedulers
    935 -- 940John J. Shilling. Incremental LL(1) Parsing in Language-Based Editors

    Volume 19, Issue 8

    749 -- 764Goetz Graefe, Diane L. Davison. Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution
    765 -- 773Takeshi Nakajo, Isao Azuma, Masato Tada. A Case History Development of a Foolproofing Interface Documentation System
    774 -- 787Phyllis G. Frankl, Stewart N. Weiss. An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
    788 -- 803Babak Hamidzadeh, Shashi Shekhar. Specification and Analysis of Real-time Problem Solvers
    804 -- 812Wesley W. Chu, Ion Tim Ieong. A Transaction-Based Approach to Vertical Partitioning for Relational Database Systems
    813 -- 825Joseph L. Hellerstein. Achieving Service Rate Objectives with Decay Usage Scheduling
    826 -- 834R. Govindarajan. Exception Handlers in Functional Programming Languages
    835 -- 843Paolino Di Felice. Reusability of Mathematical Software: A Contribution

    Volume 19, Issue 7

    641 -- 660Fabio Grandi, Maria Rita Scalas. Block Access Estimation for Clustered Data Using a Finite LRU Buffer
    661 -- 671Raimo Rask, Petteri Laamanen, Kalle Lyytinen. Simulation and Comparison of Albrecht s Function Point and DeMarco s Function Bang Metrics in a CASE Environment
    672 -- 686Jit Biswas, James C. Browne. Data Structures for Parallel Resource Management
    687 -- 697Markos Z. Tsoukalas, Joe W. Duran, Simeon C. Ntafos. On Some Reliability Estimation Problems in Random and Partition Testing
    698 -- 706Sampath Rangarajan, Pankaj Jalote, Satish K. Tripathi. Capacity of Voting Systems
    707 -- 719Andrew Sears. Layout Appropriateness: A Metric for Evaluating User Interface Widget Layout
    720 -- 741Connie U. Smith, Lloyd G. Williams. Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives
    742 -- 746Allen S. Parrish, Stuart H. Zweben. Clarifying Some Fundamental Concepts in Software Testing

    Volume 19, Issue 6

    533 -- 553Debra J. Richardson, Margaret C. Thompson. An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
    554 -- 570Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen. From CSP Models to Markov Models
    571 -- 583Parameswaran Ramanathan, Kang G. Shin. Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System
    584 -- 593Mary Jean Harrold, Brian A. Malloy. A Unified Interprocedural Program Representation for a Maintenance Environment
    594 -- 602Nabil R. Adam, Rajiv Tewari. Regeneration with Virtual Copies for Distributed Computing Systems
    603 -- 612Tarek K. Abdel-Hamid, Kishore Sengupta, Daniel Ronan. Software Project Control: An Experimental Investigation of Judgment with Fallible Information
    613 -- 624Herman C. Rao, Larry L. Peterson. Accessing Files in an Internet: The Jade File System
    625 -- 639Andrew Kay, Joy N. Reed. A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
    640 -- 0Moheb R. Girgis. ::::Corrigendum:::: for Constraint-Based Automatic Test Data Generation . (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.)
    640 -- 0Gerardo Canfora, Aniello Cimitile, Ugo de Carlini. Correction to A Logic-Based Approach to Reverse Engineering Tools Production

    Volume 19, Issue 5

    425 -- 435Takeshige Miyoshi, Motoei Azuma. An Empirical Study of Evaluating Software Development Environment Quality
    436 -- 452Valdis Berzins, Luqi, Amiram Yehudai. Using Transformations in Specification-Based Prototyping
    478 -- 485Robert E. Strom, Daniel M. Yellin. Extending Typestate Checking Using Conditional Liveness Analysis
    486 -- 502Giuseppe Iazeolla, Francesco Marinuzzi. LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms
    503 -- 528Mark G. Staskauskas. Formal Derivation of Concurrent Programs: An Example from Industry
    529 -- 532D. Ross Jeffery, Graham C. Low, M. Barnes. A Comparison of Function Point Counting Techniques
    543 -- 477Bernd J. Krämer, Luqi, Valdis Berzins. Compositional Semantics of a Real-Time Prototyping Language

    Volume 19, Issue 4

    313 -- 343Karl J. Lieberherr, Cun Xiao. Object-Oriented Software Evolution
    344 -- 365Carlo Batini, Giuseppe Di Battista, Giuseppe Santucci. Structuring Primitives for a Dictionary of Entity Relationship Data Schemas
    366 -- 378Tracy Camp, Phil Kearns, Mohan Ahuja. Proof Rules for Flush Channels
    379 -- 389Rajiv D. Banker, Robert J. Kauffman, Dani Zweig. Repository Evaluation of Software Reuse
    390 -- 409Minnie Yi-Miin Yen, Richard W. Scamell. A Human Factors Experimental Comparison of SQL and QBE
    410 -- 423Linda Ness. L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols

    Volume 19, Issue 3

    202 -- 213Phyllis G. Frankl, Elaine J. Weyuker. A Formal Analysis of the Fault-Detecting Ability of Testing Methods
    214 -- 230Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Kiem-Phong Vo. A Technique for Drawing Directed Graphs
    231 -- 252Josephine Micallef, Gail E. Kaiser. Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements
    253 -- 267Dar-Tzen Peng, Kang G. Shin. Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method
    268 -- 276John Plaice, William W. Wadge. A New Approach to Version Control
    277 -- 296Gruia-Catalin Roman, Rose F. Gamble, William E. Ball. Formal Derivation of Rule-Based Programs
    297 -- 306Jacob P. Ukelson, John D. Gould, Stephen J. Boies. User Navigation in Computer Applications
    307 -- 309Norman Y. Foo. Comments on Defining Software by Continuous Smooth Functions
    310 -- 0Jia Xu, David Lorge Parnas. ::::Correction to:::: On Satisfying Timing Constraints in Hard-Real-Time Systems

    Volume 19, Issue 2

    89 -- 107Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications
    108 -- 119Yennun Huang, Satish K. Tripathi. Resource Allocation for Primary-Site Fault-Tolerant Systems
    120 -- 138Alex Delis, Nick Roussopoulos. Performance Comparison of Three Modern DBMS Architectures
    139 -- 154Jia Xu. Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations
    155 -- 164Kun-Lung Wu, W. Kent Fuchs. Rapid Transaction-Undo Recovery Using Twin-Page Storage Management
    165 -- 180Gernot Richter, Bruno Maffeo. Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
    181 -- 186P. Venkat Rangan. Trust Requirements and Performance of a Fast Subtransprot-Level Protocol for Secure Communication
    187 -- 197Ashok K. Agrawala, Bijendra N. Jain. Deterministic Model and Transient Analysis of Virtual Circuits
    198 -- 200Michael Young, David L. Levine, Richard N. Taylor. Comments on Temporal Logic-Based Deadlock Analysis for Ada

    Volume 19, Issue 12

    1128 -- 1144Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi. Process Model Evolution in the SPADE Environment
    1145 -- 1156Maria Letizia Jaccheri, Reidar Conradi. Techniques for Process Model Evolution in EPOS
    1157 -- 1170Inderpal S. Bhandari, Michael J. Halliday, Eric Tarver, David Brown, Jarir K. Chaar, Ram Chillarege. A Case Study of Software Process Improvement During Development
    1171 -- 1179Wei Kuan Shih, Jane W.-S. Liu, C. L. Liu. Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines

    Volume 19, Issue 11

    1013 -- 1014Farokh B. Bastani. Forword: Software Reliability
    1015 -- 1027Anish Arora, Mohamed G. Gouda. Closure and Convergence: A Foundation of Fault-Tolerant Computing
    1028 -- 1044Lionel C. Briand, Victor R. Basili, Christopher J. Hetmanski. Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components
    1045 -- 1054Scott A. Vander Wiel, Lawrence G. Votta. Assessing Software Designs Using Capture-Recapture Methods
    1055 -- 1070Jarir K. Chaar, Michael J. Halliday, Inderpal S. Bhandari, Ram Chillarege. In-Process Evaluation for Software Inspection and Test
    1071 -- 1086Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi. Modeling Correlation in Software Recovery Blocks
    1087 -- 1094Yashwant K. Malaiya, Anneliese Amschler Andrews, Pradip K. Srimani. An Examination of Fault Exposure Ratio
    1095 -- 1104Norman F. Schneidewind. Software Reliability Model with Optimal Selection of Failure Data
    1105 -- 1118Wei-lun Kao, Ravishankar K. Iyer, Dong Tang. FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults
    1119 -- 1123Oded Berman, Noushin Ashrafi. Optimization Models for Reliability of Modular Software Systems

    Volume 19, Issue 10

    941 -- 949Jeffery A. Solheim, John H. Rowland. An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems
    950 -- 961Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie. Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience
    962 -- 975Phyllis G. Frankl, Elaine J. Weyuker. Provable Improvements on Branch Testing
    976 -- 981Bin Qin. Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources
    982 -- 996Philip S. Yu, Daniel M. Dias. Performance Analysis of Concurrency Control Using Locking with Deferred Blocking
    997 -- 1011Alberto Del Bimbo, Maurizio Campanai, Paolo Nesi. A Three-Dimensional Iconic Environment for Image Database Querying

    Volume 19, Issue 1

    1 -- 2Nancy G. Leveson, Peter G. Neumann. Introduction to Special Issue on Software for Critical Systems
    3 -- 12Ricky W. Butler, George B. Finelli. The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
    13 -- 23John M. Rushby, Friedrich W. von Henke. Formal Verification of Algorithms for Critical Systems
    24 -- 40Joanne M. Atlee, John D. Gannon. State-Based Model Checking of Event-Driven System Requirements
    41 -- 55Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen. Specifying and Verifying Requirements of Real-Time Systems
    56 -- 69Reino Kurki-Suonio. Stepwise Design of Real-Time Systems
    70 -- 84Jia Xu, David Lorge Parnas. On Satisfying Timing Constraints in Hard-Real-Time Systems
    runs on