DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Replace "view" by "refinement"

Open Closed All
  • Key: DOL-41
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    Replace "view" by "refinement" in example 7.11 on page 37
  • Reported: DOL 1.0b1 — Wed, 12 Apr 2017 14:08 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    "view" replaced by "refinement"

    Simple replacement of one term by another.

    Original text:
    view cd2stm = cd refined to

    { atm hide along stm2cd}

    end
    view cd2psm = cd refined to

    { psm hide along psm2cd}

    end
  • Updated: Mon, 2 Apr 2018 18:07 GMT