![]() |
| ||
1 IntroductionMichel Bidoit1 and Peter D. Mosses2 1 Laboratoire Spécification et Vérification, CNRS UMR 8643 Abstract. This chapter first explains the background and aims of CoFI, the Common Framework Initiative for algebraic specification and development of software. It then gives an overview of the main features of CASL, the Common Algebraic Specification Language. LNCS 2900, pp. 3 - 9 lncs@springer.de
|