Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36143
Título: | CAMILA: prototyping and refinement of constructive specifications |
Autor(es): | Almeida, José João Barbosa, L. S. Neves, F. L. Oliveira, José Nuno Fonseca |
Palavras-chave: | Constructive specification Prototyping Program calculation |
Data: | 1997 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(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. |
Tipo: | Artigo em ata de conferência |
Descrição: | Lecture Notes in Computer Science Volume 1349, 1997. |
URI: | https://hdl.handle.net/1822/36143 |
ISBN: | 978-3-540-63888-9 |
DOI: | 10.1007/BFb0000496 |
ISSN: | 0302-9743 |
Versão da editora: | http://link.springer.com/chapter/10.1007/BFb0000496 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |