External Links

    Journal: Information \& Software Technology

    Volume 38, Issue 8

    499 -- 506David C. Rine. Object-oriented design: exception handling and copying
    507 -- 519Mary Frances Theofanos, Shari Lawrence Pfleeger. Wavefront: a goal-driven requirements process model
    521 -- 538Gabriele Manduchi. A mixed approach for the formal correctness proof of distributed programs
    539 -- 547George A. Papadopoulos. Concurrent object-oriented programming using term graph rewriting techniques
    runs on