Aspik

2 definitions found

From Virtual Entity of Relevant Acronyms (Version 1.9, June 2002) [vera]:

  ASPIK
       Algebraic Specifications and Implementations ??? (ISDV)
       
       

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:



  ASPIK
       
           A multiple-style specification
          language.
       
          ["Algebraic Specifications in an Integrated Software
          Development and Verification System", A. Voss, Diss, U
          Kaiserslautern, 1985].
       
          (1994-11-30)