Fresco(ID:1730/fre004)

Object-oriented specification language.

Structures:
References:
  • "Refinement in Fresco", in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993. view details