Projects
From CoFI
Please only list currently active activities and projects related to CoFI and CASL here; there is a separate page for completed projects..
Contents |
CASL extensions
- HasCASL: Algebraic Specification + Functional Programming = Environment for Formal Software Development
- HetCASL: Heterogeneous specification
- CoCASL: Algebraic-coalgebraic specification
Tools
- Hets: the Heterogeneous Tool Set
Case studies
- Special research center Spatial Cognition, project R4-LogoSpace: Specification of qualitative calculi in CASL
- Special research center Spatial Cognition, project I4-SPIN: Specification of qualitative calculi and ontologies in CASL
Teaching
- Software specification in CASL, University of Bremen