Volume 7, Number 1, January 1981
Program Analysis and Verification
Volume 7, Number 2, March 1981
Volume 7, Number 3, May 1981
Volume 7, Number 4, July 1981
Volume 7, Number 5, September 1981
Volume 7, Number 6, November 1981
Last update Fri May 24 20:57:55 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Stephen W. Smoliar:
Operational Requirements Accommodation in Distributed System Design.
- C. V. Ramamoorthy, Yu-King R. Mok, Farokh B. Bastani, Gene H. Chin, Keiichi Suzuki:
Application of a Methodology for the Development and Validation of Reliable Process Control Software.
- Stephen S. Yau, Paul C. Grabow:
A Model for Representing Programs Using Hierarchical Graphs.
- Kapali P. Eswaran, V. Carl Hamacher, Gerald S. Shedler:
Collision-Free Access Control for Computer Communication Bus Networks.
- Shahid H. Bokhari:
A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System.
- Robert L. Baber:
A Method for Representing Data Items of Unlimited Length in a Computer Memory.
590-593, (Comments: IEEE Trans. Software Eng. 8(6): 620-621(1982))
- Allan L. Mennie, Glenn H. MacEwen:
Information Flow Certification Using an Intermediate Code Program Representation.
594-607, (Correction: IEEE Trans. Software Eng. 8(4): 446(1982))
- Peter A. Lee, J. L. Lloyd, Santosh K. Shrivastava:
Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro.
608-610, (see: IEEE Trans. Software Eng. 4(5): 390-409(1978))
- Thomas F. Gannon, Stephen D. Shapiro:
Comments on the Critique of Lee, Lloyd, and Shrivastava.