Communications of the ACM - researchr journal

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

External Links