External Links

    Journal: IEEE Computer

    Volume 23, Issue 9

    8 -- 24Jeannette M. Wing. A Specifier s Introduction to Formal Methods
    27 -- 39John T. Stasko. Tango: A Framework and System for Algorithm Animation
    40 -- 51George Champine, Daniel E. Geer Jr., William Ruh. Project Athena as a Distributed Computer System
    52 -- 61Chaim Ziegler, Gerald Weiss. Multimedia Conferencing on Local Area Networks
    63 -- 75Alan Mink, Robert J. Carpenter, George Nacht, John W. Roberts. Multiprocessor Performance-Measurement Instrumentation
    82 -- 84Wayne E. Rosing, Matt M. Perez. The Evolving Relationship Between Open Standards and Technology
    runs on