Algebraic specification in CASL

Hubert Baumeister, Didier Bert

AbstractThis chapter introduces the algebraic specification language CASL using the Warehouse case study.
Keywordssoftware engineering, formal methods, algebraic specification
TypeBook [Chapter]
Book titleSoftware specification Methods: An Overview Using a Case Study
EditorsMarc Frappier and Henri Habrias
Year2006    Month April
PublisherISTE Publishing Company
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering