CoFI: The common framework initiative for algebraic specification and development. CoFI, The Common Framework Initiative for algebraic specification and development of software, is an open international collaboration. The main initial aim of CoFI in 1995 was to design a coherent family of algebraic specification languages, based on a critical selection of constructs from the many previously-existing such languages -- without sacrificing conceptual clarity of concepts and firm mathematical foundations. This aim was fulfilled in 1998 with the design of CASL, the Common Algebraic Specification Language, together with its sub-languages and extensions. The longer-term aims of CoFI include the provision of tools and methods for supporting industrial use of the CASL languages.

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

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

1 2 next

  1. Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi: A Maude environment for CafeOBJ (2017)
  2. Schröder, Lutz; Mossakowski, Till: HasCasl: integrated higher-order specification and program development (2009)
  3. Choppy, Christine; Reggio, Gianna: A formally grounded software specification method (2006)
  4. Hutter, Dieter; Autexier, Serge: Formal software development in MAYA (2005)
  5. Krieg-Brückner, Bernd: Towards multimedia instruction in safe and secure systems (2005)
  6. Bidoit, Michel; Mosses, Peter D.: CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (2004)
  7. Mosses, Peter D. (ed.): CASL reference manual. The complete documentation of the common algebraic specification language. (2004)
  8. Astesiano, E.; Reggio, G.: An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint. (2003) ioport
  9. Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej: CASL---The Common algebraic specification language: Semantics and proof theory (2003)
  10. Aoumeur, Nasreddine; Saake, Gunter: Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic (2002)
  11. Aspinall, David; Sannella, Donald: From specifications to code in CASL (2002) ioport
  12. Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej: CASL: the Common Algebraic Specification Language. (2002)
  13. Autexier, Serge; Hutter, Dieter; Mossakowski, Till; Schairer, Axel: The development graph manager Maya (2002) ioport
  14. Borzyszkowski, Tomasz: Logical systems for structured specifications. (2002)
  15. Mossakowski, Till: Heterogeneous development graphs and heterogeneous borrowing (2002)
  16. Mossakowski, Till: Relating CASL with other specification languages: the institution level. (2002)
  17. Norrie, Moira C.; Palinginis, Alexios: A modelling approach to the realisation of modular information spaces (2002)
  18. Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna: From ADT to UML-like modelling (2001)
  19. Kohlhase, Michael: OMDOC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge (2001)
  20. Mossakowski, Till; Klin, Bartek: Institution independent static analysis for CASL (2001)

1 2 next