Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
L. S. Barbosa. Reification of Processes. PhD thesis, Universidade do Minho (to appear), 1998.
J. Darlington. Program transformation. In Funct. Prog. and Its Applications: An Advanced Course. Cambridge Univ. Press, 1982.
C. George. The raise specification language: a tutorial. In Proc. of VDM'91. LNCS (551), 1991.
P. Hendersen. me too: A language for software specification and model building. Preliminary Report, University of Stirling, 1984.
Cliff B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986.
Zbigniew Michalewicz. Genetic Algorithms + Data Structures = Evolution Programs. Springer-Verlag, 1994. Second, Extended Edition.
C. Morgan. Programming from Specification. Series in Computer Science. Prentice-Hall International, 1990. C. A. R. Hoare, series editor.
F. Moller and P. Stevens. The edinburgh concurrency workbench (version 7). User's manual, LFCS, Edinburgh University, 1996.
F. Luís Neves and José N. Oliveira. Software Reuse by Model Reification. Seventh Annual Workshop on Software Reuse, August 1995.
J. N. Oliveira. A reification calculus for model-oriented software specification. Formal Aspects of Computing, 2(1):1–23, 1990.
J. N. Oliveira. Software reification using the Sets calculus. In Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, London, UK, pages 140–171. Springer-Verlag, 8–10 January 1992. (Invited paper).
J. N. Oliveira. Formal specification and prototyping of a building description language. In Proc. CIVIL-COMP'95, Cambridge, August 1995.
J. N. Oliveira. Fuzzy object comparasion and its application to a selfadaptable query mechanism. In Proc. IFSA '95, S. Paulo, July 1995.
J. N. Oliveira. Sets: A data structuring calculus and its application to program development. Technical Report Lecture Notes for the Macau Course, UNU/IIST, May 1997.
J. M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice-Hall International, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Almeida, J.J., Barbosa, L.S., Neves, F.L., Oliveira, J.N. (1997). CAMILA: Prototyping and refinement of constructive specifications. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000496
Download citation
DOI: https://doi.org/10.1007/BFb0000496
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63888-9
Online ISBN: 978-3-540-69661-2
eBook Packages: Springer Book Archive