|
 
|
[DHV04] Building certified components within FOCAL
Conférence Internationale avec comité de lecture : Symposium on Trends in Functional Programming (TFP04), January 2004, Vol. 5, pp.33-48, Series Trends in Functional Programming ,
motcle:
Résumé:
The FOCAL environment is a framework dedicated to the complete development of certified components, from the specification stage to the implementation one. FOCAL incorporates features such as inheritance, abstraction, late binding and redefinition. The paper gives an overview of the conception of the language and presents the language itself and the associated tools.
Commentaires:
note
BibTeX
| @inproceedings { | |||
| DHV04, | |||
| title | = | "{Building certified components within FOCAL}", | |
| author | = | " C. Dubois and T. Hardin and V. Viguie Donzeau-Gouge ", | |
| booktitle | = | "{Symposium on Trends in Functional Programming (TFP04)}", | |
| year | = | 2004, | |
| month | = | "January", | |
| series | = | "Trends in Functional Programming ", | |
| volume | = | 5, | |
| pages | = | "33-48", | |
| note | = | "{note}", | |
| } | |||
