Login / Signup

GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems.

Juan Carlos TorresMiguel GeaFrancisco Luis Gutiérrez VelaMiguel CabreraMaría Luisa Rodríguez
Published in: DSV-IS (1996)
Keyphrases
  • specification language
  • case study
  • distributed systems
  • formal specification
  • programming language
  • building blocks
  • real world
  • cooperative
  • fine grained
  • interactive systems
  • software environment