External Links

    Journal: Information \& Software Technology

    Volume 41, Issue 10

    627 -- 638A. V. Pai, Rose F. Gamble, Robert Plant. Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs
    639 -- 650Wil M. P. van der Aalst. Formalization and verification of event-driven process chains
    651 -- 659Klaas van den Berg, Anthony J. H. Simons. Control-flow semantics of use cases in UML
    661 -- 672Franck Xia. Look before you leap: on some fundamental issues in software engineering research
    673 -- 688Narasimhaiah Gorla, Chungtzer Liu. FHIN: an efficient storage structure and access method for object-oriented databases
    runs on