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 159 articles , 1 standard article )
Showing results 1 to 20 of 159.
Sorted by year (- Eppe, Manfred; Maclean, Ewen; Confalonieri, Roberto; Kutz, Oliver; Schorlemmer, Marco; Plaza, Enric; Kühnberger, Kai-Uwe: A computational framework for conceptual blending (2018)
- Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A.: A logic for the stepwise development of reactive systems (2018)
- Mossakowski, Till; Krieg-Brückner, Bernd: Partial pushout semantics of generics in DOL (2018)
- Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen: Institutions for navigational logics for graphical structures (2018)
- Zhang, Min; Ogata, Kazuhiro: From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (2018)
- 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)
- Meseguer, José: Strict coherence of conditional rewriting modulo axioms (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)
Further publications can be found at: http://www.informatik.uni-bremen.de/cofi/wiki/index.php/Publications