ASPIK

<language, specification>

A multiple-style specification language.

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

Last updated: 1994-11-30

Nearby terms:

aspect-oriented programmingaspect ratioASPENASPIASPIKAspirinASPLEASPOLASQC

Try this search on Wikipedia, OneLook, Google


Loading