CoFIMain Page | About | Help | FAQ | Special pages | Log in

Printable version | Disclaimers | Privacy policy

CoFI Notes

From CoFI

CoFI Notes

The CoFI Notes are mainly informal draft documents, intended primarily for dissemination of views between participants of the CoFI Task Groups.

Some of the listed Notes have been subsumed by proper publications or full CoFI Documents.

Formatting:
A couple of Coordination Notes explain how to use the LaTeX packages for formatting CoFI documents and Casl specifications.
Language Design:
The numbered Language Design Notes include proposals for Casl libraries, sublanguages, extensions.

The older un-numbered Language Design Study Notes are primarily concerned with various languge design choices, and are mostly obsolete.

Methodology:
The Methodology Notes address various methodological issues concerning the use of Casl for specification and development of software.
Semantics:
The Semantics Notes discuss foundational issues, and the definition of the formal semantics of Casl.
Tools:
The Tools Notes are concerned with the use of Casl to gain interoperabilty of existing tools, and with particular issues regarding the provision of tool support for users of Casl.
Reactive Systems:
Some notes concerning the work of the Reactive Systems Task Group are available separately.

Retrieved from "http://www.informatik.uni-bremen.de/cofi/index.php/CoFI_Notes"

This page has been accessed 4,072 times. This page was last modified 15:06, 10 October 2009.


Find

Browse
Main Page
About
News
Recent changes
Random page
Wiki help
Tutorials
FAQ
CASL
CASL Extensions
Basic Libraries
Case Studies
Projects
Tools
Mailing Lists
Organization
Publications
Archives
Links
Bibliography
Edit
View source
Editing help
This page
Discuss this page
Post a comment
Printable version
Context
Page history
What links here
Related changes
My pages
Log in / create account
Special pages
New pages
File list
Statistics
Bug reports
More...