Algebraic specification in CASL |
Hubert Baumeister, Didier Bert
|
| Abstract | This chapter introduces the algebraic specification language CASL using the Warehouse case study. |
| Keywords | software engineering, formal methods, algebraic specification |
| Type | Book [Chapter] |
| Book title | Software specification Methods: An Overview Using a Case Study |
| Editors | Marc Frappier and Henri Habrias |
| Year | 2006 Month April |
| Publisher | ISTE Publishing Company |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |