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 (Version 1.118) - Jan 16, 1998

Linux

• camila-linux.tgz : binaries, include files, libraries, the Pretty-Print and CamTeX tools, the CAMILA Standard Library and more.

Solaris

• camila-solaris.tgz : binaries, include files, libraries, the Pretty-Print and CamTeX tools, the CAMILA Standard Library and more.

CAMILA Toolkit (Version 1.0) - available soon!

The CAMILA Standard Library - Jan 16, 1997

• ff.cam - a CAMILA library for finite mappings
• ffs.cam - a CAMILA library for sets of finite mappings
• int.cam - a CAMILA library for small integers (-32768..32767)
• mon.cam - a basic CAMILA monoidal constructions
• mse.cam - a CAMILA library for multisets
• seq.cam - a CAMILA library for the A-seq functor
• str.cam - a CAMILA library for the finite string STR data type
• tex.cam - a CAMILA abstract syntax for a LaTeX subset
• txt.cam - a CAMILA library for text representation

The PRETTY-PRINT package (Version 1.0) - Nov 5, 1997

• PRETTY-PRINT for Linux: pretty-print.tgz
(please consult the README file included in the package)

Submitted Papers - Oct 7, 1997

• CAMILA: Formal Software Engineering Supported by Functional Programming (by J.J. Almeida, L.S. Barbosa, F.L. Neves, J.N. Oliveira). To be presented at CLaPF-97: 2nd Latin-American Conference on Functional Programming, Oct. 3-4, La Plata, Argentina.
• CAMILA: Prototyping and Refinement of Constructive Specifications (by J.J. Almeida, L.S. Barbosa, F.L. Neves, J.N. Oliveira). To be presented at AMAST'97: Sixth International Conference on Algebraic Methodology and Software Technology, 13-17 December 1997, Macquarie University, Sydney, Australia.

The CAMTEX Package (Version 0.9) - Jul 16, 1997

• CAMTEX for Linux: camtex.tgz
(documentation included)

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.