Back to the CAMILA home page

CAMILA is a software development environment intended to promote the use of formal methods in industrial software environments. It is currently being developed by JNICT consortium 169/90 (INESC group 2361 hosted by the University of Minho, Braga, Portugal, and the Department of Informatics of the same University) by a team led by Prof. José N. Oliveira.

CAMILA for Solaris (please, see also What's New)

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

• .metoorc: CAMILA configuration file;
• camila-solaris.tgz: executable files, include directory and libraries (Version 1.10, Feb 26, 1997).

CAMILA for Linux, Version 1.77 (please, see also What's New)

• .metoorc: CAMILA configuration file;
• camila-linux.tgz: executable files, include directory and libraries (Version 1.77, Nov 6, 1997).

CAMILA for MS-DOS

A (almost complete) subset of CAMILA is available for MS-DOS.

• 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 for Windows

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-bd2.ZIP: Interface with Borland Delphi 2.0 (32bits) (Feb 25, 1997)
• camila-vb4.ZIP: Interface with Microsoft Visual Basic 4.0 (32 bits) (Feb 25, 1997)
• camila-vc4.ZIP: Interface with Microsoft Visual C++ 4.0 (32bits) - AVAILABLE SOON!
• xmetoo-dll16.ZIP: CAMILA as a Windows DLL (16 bits) (Feb 25, 1997)
• xmetoo-dll32.ZIP: CAMILA as a Windows DLL (32 bits) (Feb 25, 1997)

Problems &Comments

Any comments on your own experience with CAMILA are most welcome! Please report to camila@seide.uminho.pt.