CoMet Repository

Dines Bjørner, Fredsvej 11, DK-2840 Holte, Danmark

E-Mail: bjorner@gmail.com, URL: www.imm.dtu.dk/~db

February 5, 2010

Abstract:

This document lists actions: document revisions, formalisation reformulations, etc., as per the CoMet initative. The listing is alphabetically by specification language and within these in reverse chronological order.

Contents

• General
• Alloy
• Event B
• RAISE (RSL)
• VDM (SL)
• Z

General

• Initially Dines Bjørner (DB) will maintain this web page.
• DB will provide help in "announcement" of projects.

1. Spring 2010: Document Handling: DB to prepare a common set of L^ATEX .cls, .sty, .bib and .tex files
   for possible (i.e., non-binding) use across the CoMet community.

Alloy

Event B

RAISE (RSL)

1. February-April 2010: Insertion of Property Assertions in the RAISE (RSL) formalisations of The Vienna Lecture Notes
2. February 2010 Onwards: DB update of the Vienna Lecture Note Examples.

VDM (SL)

Z

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...

/home/db/comet/repository.tex

About this document ...

CoMet Repository

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -toc_depth 6 repository

The translation was initiated by Dines Bjorner on 2010-02-05