CAMILA formal software engineering supported by functional programming
This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in di erent institutions each of them addresses a particular topic in the area requirement analysis and generic sy...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
1997
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24119 |
| Aporte de: |
| id |
I19-R120-10915-24119 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Ciencias Informáticas Education and applications of functional programming functional prototyping program calculation SOFTWARE ENGINEERING |
| spellingShingle |
Ciencias Informáticas Education and applications of functional programming functional prototyping program calculation SOFTWARE ENGINEERING Oliveira, J. N. Almeida, J. J. Barbosa, L. S. Neves, F. L. CAMILA formal software engineering supported by functional programming |
| topic_facet |
Ciencias Informáticas Education and applications of functional programming functional prototyping program calculation SOFTWARE ENGINEERING |
| description |
This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in di erent institutions each of them addresses a particular topic in the area requirement analysis and generic systems design in the rst case speci cation and implementation development in the second Camila the common framework to both experiences animates a set based language extended with a mild use of category theory which can be reasoned upon for program calculation and classi cation purposes The project a liates itself to but is not restricted to the research in exploring Functional Programming as a rapid prototyping environment for formal software models Its kernel is fully connectable to external applications and equipped with a component repository and distribution facilities The paper explains how Camila is being used in the educational practice as a tool to think with providing a kind of cross fertilization between students under standing of di erent parts of the curriculum Furthermore it helps in developing a number of engineering skills namely the ability to analyze and classify infor mation problems and models and to resort to the combined use of di erent programming frameworks in approaching them. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Oliveira, J. N. Almeida, J. J. Barbosa, L. S. Neves, F. L. |
| author_facet |
Oliveira, J. N. Almeida, J. J. Barbosa, L. S. Neves, F. L. |
| author_sort |
Oliveira, J. N. |
| title |
CAMILA formal software engineering supported by functional programming |
| title_short |
CAMILA formal software engineering supported by functional programming |
| title_full |
CAMILA formal software engineering supported by functional programming |
| title_fullStr |
CAMILA formal software engineering supported by functional programming |
| title_full_unstemmed |
CAMILA formal software engineering supported by functional programming |
| title_sort |
camila formal software engineering supported by functional programming |
| publishDate |
1997 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24119 |
| work_keys_str_mv |
AT oliveirajn camilaformalsoftwareengineeringsupportedbyfunctionalprogramming AT almeidajj camilaformalsoftwareengineeringsupportedbyfunctionalprogramming AT barbosals camilaformalsoftwareengineeringsupportedbyfunctionalprogramming AT nevesfl camilaformalsoftwareengineeringsupportedbyfunctionalprogramming |
| bdutipo_str |
Repositorios |
| _version_ |
1764820466635112449 |