Volume 21, Number 1, January 1995

• 
  Peter Triantafillou, David J. Taylor: The Location Based Paradigm for Replication: Achieving Efficiency and Availability in Distributed Systems. 1-18
• 
  David S. Rosenblum: A Practical Approach to Programming With Assertions. 19-31
• 
  Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang: Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. 32-49
• 
  Salim Hariri, Hasan B. Mutlu: Hierarchical Modeling of Availability in Distributed Systems. 50-56

Volume 21, Number 2, February 1995

• 
  Jim Woodcock, Peter Gorm Larsen: Introduction to Special Section (Guest Editorial). 61-62
• 
  Anthony Boswell: Specification and Validation of a Security Policy Model. 63-68
• 
  Geoff Barrett: Model Checking in Practice: The T9000 Virtual Channel Processor. 69-78
• 
  Juan Bicarregui, Brian Ritchie: Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. 79-89
• 
  Dan Craigen, Susan L. Gerhart, Ted Ralston: Formal Methods Reality Check: Industrial Usage. 90-98
• 
  Jonathan Jacky: Specifying a Safety-Critical Control System in Z. 99-106
• 
  Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. 107-125
• 
  Krishnamoorthy Srinivasan, Douglas Fisher: Machine Learning Approaches to Estimating Software Development Effort. 126-137
• 
  Kasper Østerbye: Literate Smalltalk Programming Using Hypertext. 138-145
• 
  R. Geoff Dromey: A Model for Software Product Quality. 146-162
• 
  S. Venkatesan, Brahma Dathan: Testing and Debugging Distributed Programs Using Global Predicates. 163-177

Volume 21, Number 3, March 1995

• 
  Koral Ilgun, Richard A. Kemmerer, Phillip A. Porras: State Transition Analysis: A Rule-Based Intrusion Detection Approach. 181-199
• 
  Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth: The Effects of Layering and Encapsulation on Software Development Cost and Quality. 200-208
• 
  Theodore Johnson: Approximate Analysis of Reader/Writer Queues. 209-218
• 
  Walter J. Gutjahr: Optimal Test Distributions for Software Failure Cost Estimation. 219-228
• 
  Donald D. Cowan, Carlos José Pereira de Lucena: Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse. 229-243
• 
  Sanja Vranes, Mladen Stanojevic: Integrating Multiple Paradigms within the Blackboard Framework. 244-262
• 
  Neville I. Churcher, Martin J. Shepperd: Comments on ``A Metrics Suite for Object Oriented Design''. 263-265
• 
  Shyam R. Chidamber, Chris F. Kemerer: Authors' Reply. 265
• 
  David S. Rosenblum: Correction to ``A Practical Approach to Programming with Assertions''. 265

Volume 21, Number 4, April 1995

• 
  David Garlan, Dewayne E. Perry: Introduction to the Special Issue on Software Architecture. 269-274
• 
  William G. Griswold, David Notkin: Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. 275-287
• 
  Barbara Hayes-Roth, Karl Pfleger, Philippe Lalanda, Philippe Morignot, Marko Balabanovic: A Domain-Specific Software Architecture for Adaptive Intelligent Systems. 288-301
• 
  Thomas R. Dean, James R. Cordy: A Syntactic Theory of Software Architecture. 302-313
• 
  Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, Gregory Zelesnik: Abstractions for Software Architecture and Tools to Support Them. 314-335
• 
  David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann: Specification and Analysis of System Architecture Using Rapide. 336-355
• 
  Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider: Correct Architecture Refinement. 356-372
• 
  Paola Inverardi, Alexander L. Wolf: Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. 373-386

Volume 21, Number 5, May 1995

• 
  Richard Gerber, Seongsoo Hong: Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion. 389-404
• 
  Jeff Tian, Peng Lu, Joe Palma: Test-Execution-Based Reliability Measurement and Modeling for Large Commercial Software. 405-414
• 
  Frank Ng, Gregory Butler, Judy Kay: An Intelligent Tutoring System for the Dijkstra-Gries Methodology. 415-428
• 
  Shlomi Dolev, Amos Israeli, Shlomo Moran: Analyzing Expected Time by Scheduler-Luck Games. 429-439
• 
  Sergio Bandinelli, Alfonso Fuggetta, Luigi Lavazza, Maurizio Loi, Gian Pietro Picco: Modeling and Improving an Industrial Software Process. 440-454
• 
  Inhwan Lee, Ravishankar K. Iyer: Software Dependability in the Tandem GUARDIAN System. 455-467
• 
  M. G. Sriram, Mukesh Singhal: Measures of the Potential for Load Sharing in Distributed Computing Systems. 468-475
• 
  Alan Burns, Ken Tindell, Andy J. Wellings: Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. 475-480

Volume 21, Number 6, June 1995

• 
  Robert J. Hall: Call Path Refinement Profiles. 481-498
• 
  Madalene Spezialetti, Rajiv Gupta: Loop Monotonic Statements. 497-505
• 
  Allan M. Stavely: Verifying Definite Iteration Over Data Structures. 506-514
• 
  Thomas Kunz, James P. Black: Using Automatic Process Clustering for Design Recovery and Distributed Debugging. 515-527
• 
  Hafedh Mili, Fatma Mili, Ali Mili: Reusing Software: Issues and Research Directions. 528-562
• 
  Adam A. Porter, Lawrence G. Votta, Victor R. Basili: Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment. 563-575
• 
  William G. Griswold, David Notkin: Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. 576
• 
  David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann: Specification and Analysis of System Architecture Using Rapide. 576

Volume 21, Number 7, July 1995

• 
  Krithi Ramamritham: Guest Editor's Introduction. 577-578
• 
  Richard Gerber, Seongsoo Hong, Manas Saksena: Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes. 579-592
• 
  Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong-Sang Kim: An Accurate Worst Case Timing Analysis for RISC Processors. 593-604
• 
  Rwo-Hsi Wang, Aloysius K. Mok: Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. 605-614
• 
  Rafael H. Saavedra, Alan Jay Smith: Performance Characterization of Optimizing Compilers. 615-628
• 
  Andrew M. Tyrrell, Geof F. Carpenter: CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. 629-639

Volume 21, Number 8, August 1995

• 
  Jeff Tian, Marvin V. Zelkowitz: Complexity Measure Evaluation and Selection. 641-650
• 
  Gordon S. Novak: Conversion of Units of Measurement. 651-661
• 
  Paola Bertolazzi, Giuseppe Di Battista, Giuseppe Liotta: Parametric Graph Drawing. 662-673
• 
  Magne Jørgensen: Experience With the Accuracy of Software Maintenance Task Effort Prediction Models. 674-681
• 
  Hanoch Levy, Robert J. T. Morris: Exact Analysis of Bernoulli Superposition of Streams Into a Least Recently Used Cache. 682-687
• 
  Jerome A. Rolia, Kenneth C. Sevcik: The Method of Layers. 689-700
• 
  Hüseyin Sarper: No Special Schemes Are Needed for Solving Software Reliability Optimization Models. 701-702

Volume 21, Number 9, September 1995

• 
  Alberto Avritzer, Elaine J. Weyuker: The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software. 705-716
• 
  David C. Luckham, James Vera: An Event-Based Architecture Definition Language. 717-734
• 
  Kenneth J. Goldman, Bala Swaminathan, Paul McCartney, Michael D. Anderson, Ram Sethuraman: The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications. 735-746
• 
  John H. R. May, A. D. Lunn: A Model of Code Sharing for Estimating Software Failure on Demand Probabilities. 747-753
• 
  C. Murray Woodside: A Three-View Model for Performance Engineering of Concurrent Software. 754-767
• 
  Leslie Lamport: TLA in Pictures. 768-775
• 
  John E. Neilson, C. Murray Woodside, Dorina C. Petriu, Shikharesh Majumdar: Software Bootlenecking in Client-Server Systems and Rendezvous Networks. 776-782

Volume 21, Number 10, October 1995

• 
  Alexander Borgida, John Mylopoulos, Raymond Reiter: On the Frame Problem in Procedure Specifications. 785-798
• 
  Robert H. Bourdeau, Betty H. C. Cheng: A Formal Semantics for Object Model Diagrams. 799-821
• 
  Mark Aagaard, Miriam Leeser: Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification. 822-833
• 
  Victor B. Lortz, Kang G. Shin: Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization. 834-844
• 
  Balachander Krishnamurthy, David S. Rosenblum: Yeast: A General Purpose Event-Action System. 845-857
• 
  Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong: Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. 858-861
• 
  Phyllis G. Frankl, Elaine J. Weyuker: Reply to ``Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. 861-863

Volume 21, Number 11, November 1995

• 
  Salvatore Cavalieri, Antonella Di Stefano, Orazio Mirabella: Pre-Run-Time Scheduling to Reduce Schedule Length in the FieldBus Environment. 865-880
• 
  Henri E. Bal, Boumediene Belkhouche, Mary Lou Soffa: Introduction to the Special Section. 881-882
• 
  Arthur H. Lee, Joseph L. Zachary: Reflections on Metaprogramming. 883-893
• 
  David A. Ladd, J. Christopher Ramming: A*: A Language for Implementing Language Processors. 894-901
• 
  Kazuki Yasumatsu, Norihisa Doi: SPiCE: A System for Translating Smalltalk Programs Into a C Environment. 902-912
• 
  Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski: Region Analysis: A Parallel Elimination Method for Data Flow Analysis. 913-926
• 
  Alberto Avritzer, Elaine J. Weyuker: Correction: ``The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software''. 927

Volume 21, Number 12, December 1995

• 
  Barbara Kitchenham, Shari Lawrence Pfleeger, Norman E. Fenton: Towards a Framework for Software Measurement Validation. 929-943
• 
  Jeff Tian: Integrating Time Domain and Input Domain Analyses of Software Reliability Using Tree-Based Models. 945-958
• 
  Jia Liang Han: Program Partition and Logic Program Analysis. 959-968
• 
  Giacomo Bucci, Enrico Vicario: Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. 969-992
• 
  Gordon S. Novak: Creation of Views for Reuse of Software with Different Data Representations. 993-1005
• 
  Allen S. Parrish, Stuart H. Zweben: On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria. 1006-1009
• 
  Premkumar T. Devanbu: On ``A Framework for Source Code Search Using Program Patterns''. 1009-1010

last updated on Sat May 18 06:49:17 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page