External Links

    Journal: IEEE Trans. Software Eng.

    Volume 16, Issue 5

    490 -- 497Gerald M. Karam. Computational Improvements in Prolog Applications by Predicate Variable Pointers
    498 -- 509Louise E. Moser. Data Dependency Graphs for Ada Programs
    510 -- 522Luiz A. Laranjeira. Software Size Estimation of Object-Oriented Systems
    523 -- 536Toshinori Suzuki, Sol M. Shatz, Tadao Murata. A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets
    537 -- 542Daniel Hoffman. On Criteria for Module Interfaces
    543 -- 557Chen Ding, Prabhaker Mateti. A Framework for the Automated Drawing of Data Structure Diagrams
    558 -- 560James K. Mullin. Optimal Semijoins for Distributed Database Systems
    runs on