CAMILA
A System for Software Development using Formal Methods
Papers, Reports and Other Documentation
Fri Mar 21 17:38:59 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
.
On the CAMILA Prototyping Environment
The CAMILA
Poster
;
The CAMILA
Reference Manual
;
The
Bristol Lecture Notes
are now available. Please report any typos found or suggestions for improvement to
lsb@di.uminho.pt
;
The CAMILA Strategy for Software Reusability
On the SETS Reification Calculus
The Transformational Paradigm as a Means of Smoothing Abrupt Software Design Steps
Int.Report #CCES-JNO:R2/85, University of Minho, Dec.85.
A Reification Calculus for Model-Oriented Software Specification
Formal Aspects of Computing, Vol.2, 1-23, 1990, Springer Verlag.
Software Reifica tion using the SETS Calculus
BCS FACS 5th Refinement Workshop, "Theory and Practice of Formal Software Development", 8-10 January 1992, London, 140-171, Springer Verlag.
Formal Calculi Appl ied to Software Component Knowledge Elicitation
Technical Report #C19-WP2D, Project "C.1.9. Sviluppo di Metodologie, Sistemi e Servizi Innovativi in Rete", INESC Group 2361, Braga, December 1993.
Reuse
Sour'94 --- Advanced Techniques for Software Reuse, Braga, 15-17 Dec 1994.
The CAMILA project has been funded by
JNICT
contract Ref. 169/90.
Copyright @ 1997
DI
/
INESC
-
Universidade do Minho
,
Braga
,
Portugal
. All Rights Reserved.