ASPIK

ASPIK

(language, specification)
A multiple-style specification language.

["Algebraic Specifications in an Integrated Software Development and Verification System", A. Voss, Diss, U Kaiserslautern, 1985].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)