• Title of article

    The formal specification of ORN semantics

  • Author/Authors

    B. K. Ehlmann، نويسنده , , N. Rishe، نويسنده , , J. Shi، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2000
  • Pages
    12
  • From page
    159
  • To page
    170
  • Keywords
    Object relationship notation , Data modeling , formal methods
  • Journal title
    Information and Software Technology
  • Serial Year
    2000
  • Journal title
    Information and Software Technology
  • Record number

    134690