Search Results

Now showing 1 - 1 of 1
  • Item
    The Formal Specification of Level la of GKS
    (Blackwell Science Ltd and the Eurographics Association, 1991) Damnjanovic, Ljiljana B.
    In this paper the formal specification of a part of level la of GKS is given in the algebraic specification language OBJ. It shows that it is possible to produce a formal specification of a substantial part of GKS which is of manageable size and complexity specifying the appropriate level of abstraction of the system and using a suitable formal technique.