Browsing Mathematics (Faculty of) by Author "Lahav, Elad"
Now showing items 1-1 of 1
-
An Automaton-Theoretic View of Algebraic Specifications
Lahav, Elad (University of Waterloo, 2005)We compare two methods for software specification: <em>algebraic specifications</em> and automata. While algebraic specifications have been around since the 1970s and have been studied extensively, specification by ...