ASPIK




<language, specification> A multiple-style specification language.

["Algebraic Specifications in an Integrated Software Development and Verification System", A. Voss, Diss, U Kaiserslautern, 1985].



< Previous Terms Terms Containing ASPIK Next Terms >
aspect
aspect-oriented programming
aspect ratio
ASPEN
ASPI
Aspirin
ASPLE
ASPOL
ASQC
ASR