CAMILA
A System for Software Development using Formal Methods
 
What's New?
Fri Mar 21 17:38:59 MET 1997
 
  •  CAMILA is a software development environment intended to promote the use of formal methods in industrial software environments.
 

CAMILA for Linux

To install CAMILA get the following files and follow the installation procedure described in README.linux.

CAMILA for Windows

A (almost complete) subset of CAMILA is now available for MS-DOS. Also available are facilities for using CAMILA prototypes (in xmetoo format) as DLL under Windows. Interface with Microsoft Visual Basic, Microsoft Visual C and Borland Delphi applications are included in the package as well as the tutorial slides by F. Luís Neves (in portuguese). 

New Documentation

A Reference Manual for CAMILA and the Bristol Lecture Notes are now available. Please report any typos found or suggestions for improvement to lsb@di.uminho.pt

The CAMILA Software Component Library

The modules already available are:

 The CAMILA project has been funded by JNICT contract Ref. 169/90. 


 Copyright @ 1997 DI / INESC - Universidade do Minho, Braga, Portugal. All Rights Reserved.