CoFI

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 42 articles , 1 standard article )

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

1 2 3 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. Kohlhase, Michael: Using La\TeX as a semantic markup format (2008)
  4. Choppy, Christine; Reggio, Gianna: A formally grounded software specification method (2006)
  5. Hutter, Dieter; Autexier, Serge: Formal software development in MAYA (2005)
  6. Krieg-Brückner, Bernd: Towards multimedia instruction in safe and secure systems (2005)
  7. 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)
  8. de Jong, H. A.; Olivier, P. A.: Generation of abstract programming interfaces from syntax definitions (2004)
  9. Mosses, Peter D. (ed.): CASL reference manual. The complete documentation of the common algebraic specification language. (2004)
  10. Astesiano, E.; Reggio, G.: An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint. (2003) ioport
  11. Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej: CASL---The Common algebraic specification language: Semantics and proof theory (2003)
  12. Aoumeur, Nasreddine; Saake, Gunter: Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic (2002)
  13. Aspinall, David; Sannella, Donald: From specifications to code in \textscCASL (2002) ioport
  14. 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)
  15. Autexier, Serge; Hutter, Dieter; Mossakowski, Till; Schairer, Axel: The development graph manager Maya (2002) ioport
  16. Balser, Michael; Duelli, Christoph; Reif, Wolfgang; Schellhorn, Gerhard: Verifying concurrent systems with symbolic execution (2002)
  17. Borzyszkowski, Tomasz: Logical systems for structured specifications. (2002)
  18. Mossakowski, Till: Heterogeneous development graphs and heterogeneous borrowing (2002)
  19. Mossakowski, Till: Relating CASL with other specification languages: the institution level. (2002)
  20. Norrie, Moira C.; Palinginis, Alexios: A modelling approach to the realisation of modular information spaces (2002)

1 2 3 next