CASL
The specification language developed by CoFI is called Casl: the Common Algebraic Specification Language. Its main features are as follows: Casl is based on a critical selection of known constructs. It is an expressive, simple, pragmatic language. It is suitable for specifying requirements and design for conventional software packages It has restrictions to various sublanguages. It has extensions to higher-order, state-based, concurrent, and other languages. Use of Casl is supported by tools.
Keywords for this software
References in zbMATH (referenced in 149 articles , 1 standard article )
Showing results 1 to 20 of 149.
Sorted by year (- Găină, Daniel: Foundations of logic programming in hybrid logics with user-defined sharing (2017)
- Găină, Daniel: Birkhoff style calculi for hybrid logics (2017)
- Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
- Rabe, Florian: Morphism axioms (2017)
- Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi: A Maude environment for CafeOBJ (2017)
- Zeidler, Clemens; Weber, Gerald; Gavryushkin, Alex; Lutteroth, Christof: Tiling algebra for constraint-based layout editing (2017)
- Diaconescu, Răzvan: Functorial semantics of first-order views (2016)
- Jin, Miaomiao; Short, Michael: Multiphysics modeling of two-phase film boiling within porous corrosion deposits (2016)
- Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A.: Dynamic logic with binders and its application to the development of reactive systems (2016)
- Zhang, Qinglei; Khedri, Ridha: On the weaving process of aspect-oriented product family algebra (2016)
- Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M’hamed: An institution for Object-Z with inheritance and polymorphism (2015)
- Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus: Towards an institutional framework for heterogeneous formal development in UML. -- A position paper -- (2015)
- Krieg-Brückner, Bernd; Autexier, Serge; Rink, Martin; Ghomsi Nokam, Sidoine: Formal modelling for cooking assistance (2015)
- Mosses, Peter D.; Vesely, Ferdinand: Weak bisimulation as a congruence in MSOS (2015)
- Diaconescu, Răzvan: CafeOBJ traces (2014)
- Diaconescu, Răzvan; Ţuţu, Ionuţ: Foundations for structuring behavioural specifications (2014)
- Găină, Daniel: Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (2014)
- Haxthausen, Anne E.: An institution for imperative RSL specifications (2014)
- James, Phillip; Roggenbach, Markus: Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (2014)
- Kahl, Wolfram: Categories of coalgebras with monadic homomorphisms (2014)
Further publications can be found at: http://www.informatik.uni-bremen.de/cofi/wiki/index.php/Publications