External Links

    Journal: IEEE Software

    Volume 1, Issue 4

    7 -- 0Ted G. Lewis. Comment on "Capital-intensive Software Technology"
    7 -- 8Peter Wegner. Author's Reply
    10 -- 26Mary Shaw. Abstraction Techniques in Modern Programming Languages
    28 -- 36Tracy Larrabee, Chad L. Mitchell. Gambit: A Prototyping Approach to Video Game Design
    39 -- 52Jeffrey Scott Vitter. US&R: A New Framework for Redoing
    54 -- 64Ted G. Lewis, Keith R. Spitz, Paul E. McKenney. An Interleave Principle for Demonstrating concurrent Programs
    66 -- 75Philippe Kruchten, Edmond Schonberg, Jacob Schwart. Software Prototyping using the SETL Programming Language
    77 -- 93Rodney Farrow. Generating a Production compiler from an Attribute Grammar

    Volume 1, Issue 3

    7 -- 10Peter Wegner. Capital-Intensive Software Technology
    47 -- 54Edward M. Prell, Alan P. Sheng. Building Quality and Productivity into a Large Software System
    56 -- 63Harry M. Sneed. Software Renewal: A case Study
    65 -- 75Krithi Ramamritham, John A. Stankovic. Dynamic Task Scheduling in Hard Real-Time Distributed systems
    76 -- 80Ronald Curtis, Larry D. Wittie. Global Naming in Distributed Systems
    82 -- 0Ted G. Lewis. "On selecting an Implementation Language: C or Pascal?" Draws Comments

    Volume 1, Issue 2

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

    Volume 1, Issue 1

    11 -- 28Butler W. Lampson. Hints for Computer System Design
    31 -- 49Elliott 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
    50 -- 61Brad J. Cox. Message/Object Programming: An Evolutionary Change in Programming Technology
    63 -- 73Gio Wiederhold. Knowledge and Database Management
    75 -- 88Barry W. Boehm. Verifying and Validating Software Requirements and Design Specifications
    runs on