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.

References in zbMATH (referenced in 135 articles , 1 standard article )

Showing results 1 to 20 of 135.
Sorted by year (citations)

1 2 3 ... 5 6 7 next

  1. Zhang, Qinglei; Khedri, Ridha: On the weaving process of aspect-oriented product family algebra (2016)
  2. Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus: Towards an institutional framework for heterogeneous formal development in UML. -- A position paper -- (2015)
  3. Diaconescu, Răzvan; Ţuţu, Ionuţ: Foundations for structuring behavioural specifications (2014)
  4. Găină, Daniel: Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (2014)
  5. James, Phillip; Roggenbach, Markus: Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (2014)
  6. Kahl, Wolfram: Categories of coalgebras with monadic homomorphisms (2014)
  7. Leivant, Daniel M.: Global semantic typing for inductive and coinductive computing (2014)
  8. Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.: The role of logical interpretations in program development (2014)
  9. Ţuţu, Ionuţ: Parameterisation for abstract structured specifications (2014)
  10. Diaconescu, Răzvan: Institutional semantics for many-valued logics (2013)
  11. Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang: A qualitative comparison of the suitability of four theorem provers for basic auction theory (2013)
  12. Martins, M.A.; Madeira, A.; Barbosa, L.S.: A coalgebraic perspective on logical interpretations (2013)
  13. Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
  14. Schropp, Andreas; Popescu, Andrei: Nonfree datatypes in Isabelle/HOL. Animating a many-sorted metatheory (2013)
  15. Codescu, Mihai: Lambda expressions in Casl architectural specifications (2012)
  16. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian: A proof theoretic interpretation of model theoretic hiding (2012)
  17. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina: Towards logical frameworks in the heterogeneous tool set Hets (2012)
  18. Diaconescu, Răzvan: Borrowing interpolation (2012)
  19. Hatcliff, John; Leavens, Gary T.; Leino, K.Rustan M.; Müller, Peter; Parkinson, Matthew: Behavioral interface specification languages (2012)
  20. O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus: Compositional modelling and reasoning in an institution for processes and data (2012)

1 2 3 ... 5 6 7 next

Further publications can be found at: