Software Engineering using Algebraic Specification

We present an overview of the use of the algebraic specifcations in software engineering, with the focus on hidden algebra.

Sidebar