On the development of CAMILA

On the development of CAMILA (preprint)
J. J. Almeida, L. S. Barbosa, J. B. Barros, and L. F. Neves. In L. S. Barbosa and J. A. Saraiva, editors, AFP'98 Workshop on Research Themes on Functional Programming, Summer School on Advanced Functional Programming, Braga, September, 1998.

Abstract

CAMILA is a research project on constructive specification methods and reification calculi which resorts to the Functional Programming technology to provide a rapid prototyping environment for software models. This paper provides a brief overview of the development of the CAMILA platform and discusses some of its current extensions.