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.
- .metoorc: CAMLA configuration file;
- camila-linux.tgz: Executable
files, include directory and libraries (Version 1.10, Feb 26, 1997).
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).
- camila-dos16.ZIP: Executable
files for MS-DOS (16 bits) (Feb 25, 1997)
- camila-dos32.ZIP: Executable
files for MS-DOS (32 bits) (Feb 25, 1997)
- camila-bd2.ZIP: Interface
with Borland Delphi 2.0 (32bits) (Feb 25, 1997)
- camila-vb4.ZIP: Interface
with Microsoft Visual Basic 4.0 (32bits) (Feb 25, 1997)
- camila-vc4.ZIP: Interface with Microsoft Visual C++ 4.0 (32bits)
- AVAILABLE SOON!
- xmetoo-dll32.ZIP: Camila
as a Windows DLL (include tutorial) (Feb 25, 1997)
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.