Please use this identifier to cite or link to this item:
|Title:||CAMILA: prototyping and refinement of constructive specifications|
|Author(s):||Almeida, José João|
Barbosa, L. S.
Neves, F. L.
Oliveira, José Nuno Fonseca
|Journal:||Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Abstract(s):||This paper accompanies the demonstration of Camila, an experimental platform for formal software development, rooted in the tradition of constructive specification methods. The Camila approach is an attempt to make available at software development level the basic problem solving strategy one got used to from school physics - create, experiment and reason on a mathematical model. Based on a notion of formal software component, it encompasses a set-theoretic language and an inequational calculus for classification and refinement. Its kernel is a functional prototyping environment, fully connectable to external applications, equipped with a classified component repository and distribution facilities.|
|Description:||Lecture Notes in Computer Science Volume 1349, 1997.|
|Appears in Collections:|