CAMILA

A System for Software Development using Formal Methods

The CAMILA free distribution package

Wed Oct 22 17:38:59 MET 1997

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.

In this page you can find updated documentation about CAMILA and the free distribution package of its kernel tool: a rapid-prototyper of algebraic model-oriented specifications.

The Prototyping Environment
Papers, Reports and Other Documentation
CAMILA Software Component (CSC) Library
Reusable Software Component (RSC) Repository
A Brief History of CAMILA Project

In order to understand the CAMILA package you may want to visit other sites such as:

The SETS Calculus
Links to Software Development Products and Utilities

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