IEEE Software, Volume 1, 1984

Volume 1, Number 1, January 1984

Butler W. Lampson: Hints for Computer System Design. 11-28 BibTeX
Elliott I. Organick, Tony M. Carter, Mike P. Maloney, Alan L. Davis, Alan B. Hayes, Dan Klass, Gary Lindstrom, Brent E. Nelson, Kent F. Smith: Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. 31-49 BibTeX
Brad J. Cox: Message/Object Programming: An Evolutionary Change in Programming Technology. 50-61 BibTeX
Gio Wiederhold: Knowledge and Database Management. 63-73 BibTeX
Barry W. Boehm: Verifying and Validating Software Requirements and Design Specifications. 75-88 BibTeX

C. A. R. Hoare: Programming: Sorcery or Science? 5-16 BibTeX
David R. Cheriton: The V Kernel: A Software Base for Distributed Systems. 19-42 BibTeX
Warren Teitelman: A Tour Through Cedar. 44-73 BibTeX
Howard Anawalt, Richard L. Bernacchi, John R. Eastling, Marshall H. Phelps, Richard Stern, Daniel W. Vittum Jr.: Protection of Computer Ideawork - Today and Tomorrow. 74-82 BibTeX
Dana E. Miles: Copyrighting Computer Software After Apple v. Franklin. 84-87 BibTeX