Login / Signup

Towards a Visual Programming Environment Generator for Algebraic Specifications.

Susan M. ÜsküdarliT. B. Dinesh
Published in: VL (1995)
Keyphrases
  • visual programming environment
  • medical image analysis
  • specification language
  • formal specification
  • case study
  • higher order
  • delay insensitive
  • real time