|
|
Journals in DBLP
Commun. ACM
1991, volume: 34, number: 5
- Maurice V. Wilkes
Software and the Programmer. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:23-24 [Journal]
- Marc Rettig
Testing Made Palatable. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:25-29 [Journal]
- Peter Freeman, Marie-Claude Gaudel
Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue). [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:30-33 [Journal]
- Premkumar T. Devanbu, Ronald J. Brachman, Peter G. Selfridge
LaSSIE: A Knowledge-Based Software Information System. [Citation Graph (6, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:34-49 [Journal]
- Armen Gabrielian, Matthew K. Franklin
Multilevel Specification of Real Time Systems. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:50-60 [Journal]
- Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:62-71 [Journal]
- Jack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr
Specification-Level Interoperability. [Citation Graph (1, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:72-87 [Journal]
- Rubén Prieto Díaz
Implementing Faceted Classification for Software Reuse. [Citation Graph (4, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:88-97 [Journal]
- Peter G. Neumann
Expecting the Unexpected Mayday. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1991, v:34, n:5, pp:128- [Journal]
|
