CTO CLiki for the TUNES project

Home Recent Changes About CLiki Text Formatting Create New Page

Algebraic Specification

The means for using various types of algebras to specify and verify the behavior and semantics of (often distributed or concurrent) programs.

• The Common Framework Initiative, working on a Common Algrebraic Specification Language.
• Some executable specification languages, including CafeOBJ and Maude.

---

This page is linked from: Feature-Oriented Programming