CAMILA

A System for Software Development using Formal Methods

Links to Software Development Products

Wed Jun 4 12:00:00 MET 1997

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.

Mini SQL Version 2.0

Documentation

Mini SQL 2.0 Beta Users Guide

Software Development Kit

Mini SQL 2.0 Beta 7.1 - The second generation of the mSQL database system from Hughes Technologies [make "tar xvf(gzip -d (msql-2.0-B7.1.tar.gz) )" to install].

Java Development Kit

Documentation

Java Language Specification and Tutorial
Java Development Kit 1.1 Documentation - General information about JDK 1.1 release.

Software Development Kit for Linux

Software Development Kit for Windows

Utilities

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

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