Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/36143

TitleCAMILA: prototyping and refinement of constructive specifications
Author(s)Almeida, José João
Barbosa, L. S.
Neves, F. L.
Oliveira, José Nuno Fonseca
KeywordsConstructive specification
Prototyping
Program calculation
Issue date1997
PublisherSpringer
JournalLecture 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.
TypeConference paper
DescriptionLecture Notes in Computer Science Volume 1349, 1997.
URIhttp://hdl.handle.net/1822/36143
ISBN978-3-540-63888-9
DOI10.1007/BFb0000496
ISSN0302-9743
Publisher versionhttp://link.springer.com/chapter/10.1007/BFb0000496
Peer-Reviewedyes
AccessOpen access
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)

Files in This Item:
File SizeFormat 
1319.pdf188,04 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID