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

Full metadata record
DC FieldValueLanguage
dc.contributor.authorAlmeida, José Joãopor
dc.contributor.authorBarbosa, L. S.por
dc.contributor.authorNeves, F. L.por
dc.contributor.authorOliveira, José Nuno Fonsecapor
dc.date.accessioned2015-07-15T12:33:23Z-
dc.date.available2015-07-15T12:33:23Z-
dc.date.issued1997-
dc.identifier.isbn978-3-540-63888-9-
dc.identifier.issn0302-9743por
dc.identifier.urihttp://hdl.handle.net/1822/36143-
dc.descriptionLecture Notes in Computer Science Volume 1349, 1997.por
dc.description.abstractThis 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.por
dc.language.isoengpor
dc.publisherSpringerpor
dc.rightsopenAccesspor
dc.subjectConstructive specificationpor
dc.subjectPrototypingpor
dc.subjectProgram calculationpor
dc.titleCAMILA: prototyping and refinement of constructive specificationspor
dc.typeconferencePaperpor
dc.peerreviewedyespor
dc.relation.publisherversionhttp://link.springer.com/chapter/10.1007/BFb0000496por
sdum.publicationstatuspublishedpor
degois.publication.firstPage554por
degois.publication.lastPage559por
degois.publication.locationSydney, Austráliapor
degois.publication.titleAlgebraic Methodology and Software Technologypor
degois.publication.volume1349por
dc.publisher.uriSpringerpor
dc.identifier.doi10.1007/BFb0000496por
sdum.journalLecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)por
sdum.conferencePublicationAlgebraic Methodology and Software Technologypor
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