Volume 21,
Number 1,
January 1995
Volume 21,
Number 2,
February 1995
- Jim Woodcock, Peter Gorm Larsen:
Introduction to Special Section (Guest Editorial).
61-62
Electronic Edition (IEEE Computer Society DL) BibTeX
- Anthony Boswell:
Specification and Validation of a Security Policy Model.
63-68
Electronic Edition (IEEE Computer Society DL) BibTeX
- Geoff Barrett:
Model Checking in Practice: The T9000 Virtual Channel Processor.
69-78
Electronic Edition (IEEE Computer Society DL) BibTeX
- Juan Bicarregui, Brian Ritchie:
Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.
79-89
Electronic Edition (IEEE Computer Society DL) BibTeX
- Dan Craigen, Susan L. Gerhart, Ted Ralston:
Formal Methods Reality Check: Industrial Usage.
90-98
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jonathan Jacky:
Specifying a Safety-Critical Control System in Z.
99-106
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Krishnamoorthy Srinivasan, Douglas Fisher:
Machine Learning Approaches to Estimating Software Development Effort.
126-137
Electronic Edition (IEEE Computer Society DL) BibTeX
- Kasper Østerbye:
Literate Smalltalk Programming Using Hypertext.
138-145
Electronic Edition (IEEE Computer Society DL) BibTeX
- R. Geoff Dromey:
A Model for Software Product Quality.
146-162
Electronic Edition (IEEE Computer Society DL) BibTeX
- S. Venkatesan, Brahma Dathan:
Testing and Debugging Distributed Programs Using Global Predicates.
163-177
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 21,
Number 3,
March 1995
Volume 21,
Number 4,
April 1995
- David Garlan, Dewayne E. Perry:
Introduction to the Special Issue on Software Architecture.
269-274
Electronic Edition (IEEE Computer Society DL) BibTeX
- William G. Griswold, David Notkin:
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool.
275-287
Electronic Edition (IEEE Computer Society DL) BibTeX
- Barbara Hayes-Roth, Karl Pfleger, Philippe Lalanda, Philippe Morignot, Marko Balabanovic:
A Domain-Specific Software Architecture for Adaptive Intelligent Systems.
288-301
Electronic Edition (IEEE Computer Society DL) BibTeX
- Thomas R. Dean, James R. Cordy:
A Syntactic Theory of Software Architecture.
302-313
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider:
Correct Architecture Refinement.
356-372
Electronic Edition (IEEE Computer Society DL) BibTeX
- Paola Inverardi, Alexander L. Wolf:
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.
373-386
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 21,
Number 5,
May 1995
- Richard Gerber, Seongsoo Hong:
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion.
389-404
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jeff Tian, Peng Lu, Joe Palma:
Test-Execution-Based Reliability Measurement and Modeling for Large Commercial Software.
405-414
Electronic Edition (IEEE Computer Society DL) BibTeX
- Frank Ng, Gregory Butler, Judy Kay:
An Intelligent Tutoring System for the Dijkstra-Gries Methodology.
415-428
Electronic Edition (IEEE Computer Society DL) BibTeX
- Shlomi Dolev, Amos Israeli, Shlomo Moran:
Analyzing Expected Time by Scheduler-Luck Games.
429-439
Electronic Edition (IEEE Computer Society DL) BibTeX
- Sergio Bandinelli, Alfonso Fuggetta, Luigi Lavazza, Maurizio Loi, Gian Pietro Picco:
Modeling and Improving an Industrial Software Process.
440-454
Electronic Edition (IEEE Computer Society DL) BibTeX
- Inhwan Lee, Ravishankar K. Iyer:
Software Dependability in the Tandem GUARDIAN System.
455-467
Electronic Edition (IEEE Computer Society DL) BibTeX
- M. G. Sriram, Mukesh Singhal:
Measures of the Potential for Load Sharing in Distributed Computing Systems.
468-475
Electronic Edition (IEEE Computer Society DL) BibTeX
- Alan Burns, Ken Tindell, Andy J. Wellings:
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers.
475-480
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 21,
Number 6,
June 1995
- Robert J. Hall:
Call Path Refinement Profiles.
481-498
Electronic Edition (IEEE Computer Society DL) BibTeX
- Madalene Spezialetti, Rajiv Gupta:
Loop Monotonic Statements.
497-505
Electronic Edition (IEEE Computer Society DL) BibTeX
- Allan M. Stavely:
Verifying Definite Iteration Over Data Structures.
506-514
Electronic Edition (IEEE Computer Society DL) BibTeX
- Thomas Kunz, James P. Black:
Using Automatic Process Clustering for Design Recovery and Distributed Debugging.
515-527
Electronic Edition (IEEE Computer Society DL) BibTeX
- Hafedh Mili, Fatma Mili, Ali Mili:
Reusing Software: Issues and Research Directions.
528-562
Electronic Edition (IEEE Computer Society DL) BibTeX
- Adam A. Porter, Lawrence G. Votta, Victor R. Basili:
Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment.
563-575
Electronic Edition (IEEE Computer Society DL) BibTeX
- William G. Griswold, David Notkin:
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool.
576
Electronic Edition (IEEE Computer Society DL) BibTeX
- David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann:
Specification and Analysis of System Architecture Using Rapide.
576
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 21,
Number 7,
July 1995
- Krithi Ramamritham:
Guest Editor's Introduction.
577-578
Electronic Edition (IEEE Computer Society DL) BibTeX
- Richard Gerber, Seongsoo Hong, Manas Saksena:
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.
579-592
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Rwo-Hsi Wang, Aloysius K. Mok:
Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure.
605-614
Electronic Edition (IEEE Computer Society DL) BibTeX
- Rafael H. Saavedra, Alan Jay Smith:
Performance Characterization of Optimizing Compilers.
615-628
Electronic Edition (IEEE Computer Society DL) BibTeX
- Andrew M. Tyrrell, Geof F. Carpenter:
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems.
629-639
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 21,
Number 8,
August 1995
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
Electronic Edition (IEEE Computer Society DL) BibTeX
- David C. Luckham, James Vera:
An Event-Based Architecture Definition Language.
717-734
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- John H. R. May, A. D. Lunn:
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities.
747-753
Electronic Edition (IEEE Computer Society DL) BibTeX
- C. Murray Woodside:
A Three-View Model for Performance Engineering of Concurrent Software.
754-767
Electronic Edition (IEEE Computer Society DL) BibTeX
- Leslie Lamport:
TLA in Pictures.
768-775
Electronic Edition (IEEE Computer Society DL) BibTeX
- John E. Neilson, C. Murray Woodside, Dorina C. Petriu, Shikharesh Majumdar:
Software Bootlenecking in Client-Server Systems and Rendezvous Networks.
776-782
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 21,
Number 10,
October 1995
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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Henri E. Bal, Boumediene Belkhouche, Mary Lou Soffa:
Introduction to the Special Section.
881-882
Electronic Edition (IEEE Computer Society DL) BibTeX
- Arthur H. Lee, Joseph L. Zachary:
Reflections on Metaprogramming.
883-893
Electronic Edition (IEEE Computer Society DL) BibTeX
- David A. Ladd, J. Christopher Ramming:
A*: A Language for Implementing Language Processors.
894-901
Electronic Edition (IEEE Computer Society DL) BibTeX
- Kazuki Yasumatsu, Norihisa Doi:
SPiCE: A System for Translating Smalltalk Programs Into a C Environment.
902-912
Electronic Edition (IEEE Computer Society DL) BibTeX
- Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski:
Region Analysis: A Parallel Elimination Method for Data Flow Analysis.
913-926
Electronic Edition (IEEE Computer Society DL) BibTeX
- Alberto Avritzer, Elaine J. Weyuker:
Correction: ``The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software''.
927
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 21,
Number 12,
December 1995
Copyright © Sun May 17 00:30:43 2009
by Michael Ley (ley@uni-trier.de)
