Information and software technology

• 

  Año 1999, Vol. 41, Número 10

  • Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs

    A.V. Pai, R.F. Gamble

    págs. 627-638

    

  • Formalization and verification of event-driven process chains

    W.M.P. van der Aalst

    págs. 639-650

    

  • Control-flow semantics of use cases in UML

    A.J.H. Simons, K.G. van den Berg

    págs. 651-659

    

  • Look before you leap: On some fundamental issues in software engineering research

    F. Xia

    págs. 661-672

    

  • FHIN: An efficient storage structure and access method for object-oriented databases

    N. Gorla, C.-T. Liu

    págs. 673-688