Volume 18,
Number 1,
January 1992
- Mahadev Satyanarayanan:
The Influence of Scale on Distributed File System Design.
1-8
Electronic Edition (IEEE Computer Society DL) BibTeX
- Derek Coleman, Fiona Hayes, Stephen Bear:
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.
9-18
Electronic Edition (IEEE Computer Society DL) BibTeX
- Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron:
Language Design For Program Manipulation.
19-32
Electronic Edition (IEEE Computer Society DL) BibTeX
- Keith W. Miller, Larry J. Morell, Robert E. Noonan, Stephen K. Park, David M. Nicol, Branson W. Murrill, Jeffrey M. Voas:
Estimating the Probability of Failure When Testing Reveals No Failures.
33-43
Electronic Edition (IEEE Computer Society DL) BibTeX
- Scott D. Carson, Sanjeev Setia:
Analysis of the Periodic Update Write Policy For Disk Cache.
44-54
Electronic Edition (IEEE Computer Society DL) BibTeX
- Mercedes Granda, José M. Drake, José A. Gregorio:
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets.
55-71
Electronic Edition (IEEE Computer Society DL) BibTeX
- Vincenzo Grassi, Lorenzo Donatiello, Salvatore Tucci:
On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems.
72-77
Electronic Edition (IEEE Computer Society DL) BibTeX
- Ravi Ganesan, Shlomo Weiss:
Scalar Memory References in Pipelined Multiprocessors: A Performance Study.
78-86
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 18,
Number 2,
February 1992
Volume 18,
Number 3,
March 1992
- Dan Paulson, Yair Wand:
An Automated Approach to Information Systems Decomposition.
174-189
Electronic Edition (IEEE Computer Society DL) BibTeX
- Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum:
Orca: A Language For Parallel Programming of Distributed Systems.
190-205
Electronic Edition (IEEE Computer Society DL) BibTeX
- Richard N. Taylor, David L. Levine, Cheryl D. Kelly:
Structural Testing of Concurrent Programs.
206-215
Electronic Edition (IEEE Computer Society DL) BibTeX
- Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, Luanne M. Burns, Key-Sun Choi:
Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language.
216-224
Electronic Edition (IEEE Computer Society DL) BibTeX
- Hamish Taylor:
A Lingua Franca For Concurrent Logic Programming.
225-236
Electronic Edition (IEEE Computer Society DL) BibTeX
- Zahira Ammarguellat:
A Control-Flow Normalization Algorithm and Its Complexity.
237-251
Electronic Edition (IEEE Computer Society DL) BibTeX
- Yiannis E. Papelis, Thomas L. Casavant:
Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions.
252-261
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 18,
Number 4,
April 1992
Volume 18,
Number 5,
May 1992
Volume 18,
Number 6,
June 1992
- Alexander Borgida, Matthias Jarke:
Knowledge Representation and Reasoning in Software Engineering.
449-450
Electronic Edition (IEEE Computer Society DL) BibTeX
- Charles Rich, Yishai A. Feldman:
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development.
451-469
Electronic Edition (IEEE Computer Society DL) BibTeX
- Stephen Fickas, B. Robert Helm:
Knowledge Representation and Reasoning in the Design of Composite Systems.
470-482
Electronic Edition (IEEE Computer Society DL) BibTeX
- John Mylopoulos, Lawrence Chung, Brian A. Nixon:
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach.
483-497
Electronic Edition (IEEE Computer Society DL) BibTeX
- Balasubramaniam Ramesh, Vasant Dhar:
Supporting Systems Development by Capturing Deliberations During Requirements Engineering.
498-510
Electronic Edition (IEEE Computer Society DL) BibTeX
- Gerhard Fischer, Andreas Girgensohn, Kumiyo Nakakoji, David F. Redmiles:
Supporting Software Designers with Integrated Domain-Oriented Design Environments.
511-522
Electronic Edition (IEEE Computer Society DL) BibTeX
- Dorothy E. Setliff, Rob A. Rutenbar:
Knowledge Representation and Reasoning in a Software Synthesis Architecture.
523-533
Electronic Edition (IEEE Computer Society DL) BibTeX
- Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi:
Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment.
534-546
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 18,
Number 7,
July 1992
- Erol Gelenbe:
Guest Editor's Introduction to the Special Issue on Neural Network Software and Systems.
549-550
Electronic Edition (IEEE Computer Society DL) BibTeX
- Gregory L. Heileman, Michael Georgiopoulos, William D. Roome:
A General Framework for Concurrent Simulation of Neural Network Models.
551-562
Electronic Edition (IEEE Computer Society DL) BibTeX
- Nachimuthu Karunanithi, Darrell Whitley, Yashwant K. Malaiya:
Prediction of Software Reliability Using Connectionist Models.
563-574
Electronic Edition (IEEE Computer Society DL) BibTeX
- Edmond Mesrobian, Josef Skrzypek:
A Software Environment For Studying Computational Neural Systems.
575-589
Electronic Edition (IEEE Computer Society DL) BibTeX
- Andreas Stafylopatis, Aristidis Likas:
Pictorial Information Retrieval Using the Random Neural Network.
590-600
Electronic Edition (IEEE Computer Society DL) BibTeX
- Leslie S. Smith:
A Framework for Neural Net Specification.
601-612
Electronic Edition (IEEE Computer Society DL) BibTeX
- S. T. Kim, K. Suwunboriruksa, S. Herath, Anura P. Jayasumana, Jayantha A. Herath:
Algorithmic Transformations for Neural Computing and Performance of Supervised Learning on a Dataflow Machine.
613-623
Electronic Edition (IEEE Computer Society DL) BibTeX
- Mehmet Sahinoglu:
Compound-Poisson Software Reliability Model.
624-630
Electronic Edition (IEEE Computer Society DL) BibTeX
- Kazuhiko Kato, Takashi Masuda:
Persistent Caching: An Implementation Technique for Complex Objects with Object Identity.
631-645
Electronic Edition (IEEE Computer Society DL) BibTeX
- Gordon S. Novak, Fredrick N. Hill, Man-Lee Wan, Brian G. Sayrs:
Negotiated Interfaces for Software Reuse.
646-653
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 18,
Number 8,
August 1992
Volume 18,
Number 9,
September 1992
- Richard A. Kemmerer, Carlo Ghezzi:
Guest Editors' Introduction: Specification and Analysis of Real-Time Systems.
766-767
Electronic Edition (IEEE Computer Society DL) BibTeX
- Richard Gerber, Insup Lee:
A Layered Approach to Automating the Verification of Real-Time Systems.
768-784
Electronic Edition (IEEE Computer Society DL) BibTeX
- Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel:
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.
785-793
Electronic Edition (IEEE Computer Society DL) BibTeX
- Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Compiling Real-Time Specifications into Extended Automata.
794-804
Electronic Edition (IEEE Computer Society DL) BibTeX
- Alan C. Shaw:
Communicating Real-Time State Machines.
805-816
Electronic Edition (IEEE Computer Society DL) BibTeX
- Brendan P. Mahony, Ian J. Hayes:
A Case-Study in Timed Refinement: A Mine Pump.
817-826
Electronic Edition (IEEE Computer Society DL) BibTeX
- Irene Greif, Robert Seliger, William E. Weihl:
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.
827-839
Electronic Edition (IEEE Computer Society DL) BibTeX
- Leo Mark, Roberta Cochrane:
Grammars and Relations.
840-849
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 18,
Number 10,
October 1992
Volume 18,
Number 11,
November 1992
- Richard W. Selby, Koji Torii:
Guest Editorial Introduction: Special Issue on Software Measurement Principles, Techniques, and Environment.
929-930
Electronic Edition (IEEE Computer Society DL) BibTeX
- Lionel C. Briand, Victor R. Basili, William M. Thomas:
A Pattern Recognition Approach for Software Engineering Data Analysis.
931-942
Electronic Edition (IEEE Computer Society DL) BibTeX
- Ram Chillarege, Inderpal S. Bhandari, Jarir K. Chaar, Michael J. Halliday, Diane S. Moebus, Bonnie K. Ray, Man-Yuen Wong:
Orthogonal Defect Classification - A Concept for In-Process Measurements.
943-956
Electronic Edition (IEEE Computer Society DL) BibTeX
- Stephen G. Eick, Joseph L. Steffen, Eric E. Sumner Jr.:
Seesoft-A Tool For Visualizing Line Oriented Software Statistics.
957-968
Electronic Edition (IEEE Computer Society DL) BibTeX
- Yingsha Liao, Donald Cohen:
A Specificational Approach to High Level Program Monitoring and Measuring.
969-979
Electronic Edition (IEEE Computer Society DL) BibTeX
- Taghi M. Khoshgoftaar, John C. Munson, Bibhuti B. Bhattacharya, Gary D. Richardson:
Predictive Modeling Techniques of Software Quality from Software Measures.
979-987
Electronic Edition (IEEE Computer Society DL) BibTeX
- William W. Agresti, William M. Evanco:
Projecting Software Defects From Analyzing Ada Designs.
988-997
Electronic Edition (IEEE Computer Society DL) BibTeX
- Michael Daskalantonakis:
A Practical View of Software Measurement and Implementation Experiences Within Motorola.
998-1010
Electronic Edition (IEEE Computer Society DL) BibTeX
- Chris F. Kemerer, Benjamin S. Porter:
Improving the Reliability of Function Point Measurement: An Empirical Study.
1011-1024
Electronic Edition (IEEE Computer Society DL) BibTeX
- Warren Harrison:
An Entropy-Based Measure of Software Complexity.
1025-1034
Electronic Edition (IEEE Computer Society DL) BibTeX
Volume 18,
Number 12,
December 1992
Copyright © Sun May 17 00:30:42 2009
by Michael Ley (ley@uni-trier.de)