Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN
Abstract
Formal methods can be as an aid in the development of a non-theoretical software projects. The development of a ‘CAD’ system for ‘VLSI’ using ‘VDM’ is presented as a case study.References
N. D. Birrel e Ould M. A. A Pratical Handbook for Software Development. Cambridge University Press, Cambridge, first edition, 1985.
D. Bjøner. PROJECT GRAPHS and META-PROGRAMS Towards a Theory of Sofware Development. Lingby, Denmark, first edition, 1986.
D. Bjøner. Software architetures and programming systems design. 1989. Livro não publicado
D. Bjøner. Software development graphs a unifying concept for software developement. In Proceedings of the 10th International Conference on Software Engineering, L.E.E.E., 1988.
D. Bjøner e C. B. Jones, editores. Formal Specification & Software Development. Prentice-Hall International, Englewood Cliffs, New Jersey, 1982.
D. Bjøner e C. B. Jones, editores. The Vienna Development Method: The Meta-Language. Springer Verlag, Berlin, Heildelberg, New York, first edition, 1978.
B. Cohen, W. T. Harwood, e M. L. Jackson. The Specification of Complez Systems. Addison-NWesley Publishing Company, Wokingham, England, first edition, 1986.
A. H. V. de Lima e alli. Garden- An Integrated CAD Environement for VLSI/ULSI CAD Applications. Rio de Janeiro, Brasil, first edition, 1989.
J. E. Encarnação. Computer Aided Design Modeling Systems. Lectures Notes in Computer Sience Vol 89, Springer Verlag, Berlin, Heildelberg, New York, first edition, 1979.
N. Gehani e A. D. McGettrick, editores. Software Specification Techniques. Addison-Wesley Publishing Company, Wokingham, England, 1986.
M. J. C. Gordon. The Denotational Descriptions of Programming Languages. Springer Verlag, Berlin, Heidelberg, New York, first edition, 1979.
C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, Englewood Cliffs, New Jersey, 1986.
J. Khakbaz e alli. Garden- An Integrated CAD Environement for LSI/VLSI Design. Rio de Janeiro, Brasil, first edition, 1988.
R. C. B. Martinse Moura A. V. Desenvolvimento Sistemático de Sistemas Corretos: A Abordagem Denotacional. VI Escola de Computação, Campinas, 1989.
R. A. Radice e alli. A programming process architecture. IBM SYSTEMS JOURNAL, 24(2):79-90, 1985.
D. Bjøner. PROJECT GRAPHS and META-PROGRAMS Towards a Theory of Sofware Development. Lingby, Denmark, first edition, 1986.
D. Bjøner. Software architetures and programming systems design. 1989. Livro não publicado
D. Bjøner. Software development graphs a unifying concept for software developement. In Proceedings of the 10th International Conference on Software Engineering, L.E.E.E., 1988.
D. Bjøner e C. B. Jones, editores. Formal Specification & Software Development. Prentice-Hall International, Englewood Cliffs, New Jersey, 1982.
D. Bjøner e C. B. Jones, editores. The Vienna Development Method: The Meta-Language. Springer Verlag, Berlin, Heildelberg, New York, first edition, 1978.
B. Cohen, W. T. Harwood, e M. L. Jackson. The Specification of Complez Systems. Addison-NWesley Publishing Company, Wokingham, England, first edition, 1986.
A. H. V. de Lima e alli. Garden- An Integrated CAD Environement for VLSI/ULSI CAD Applications. Rio de Janeiro, Brasil, first edition, 1989.
J. E. Encarnação. Computer Aided Design Modeling Systems. Lectures Notes in Computer Sience Vol 89, Springer Verlag, Berlin, Heildelberg, New York, first edition, 1979.
N. Gehani e A. D. McGettrick, editores. Software Specification Techniques. Addison-Wesley Publishing Company, Wokingham, England, 1986.
M. J. C. Gordon. The Denotational Descriptions of Programming Languages. Springer Verlag, Berlin, Heidelberg, New York, first edition, 1979.
C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, Englewood Cliffs, New Jersey, 1986.
J. Khakbaz e alli. Garden- An Integrated CAD Environement for LSI/VLSI Design. Rio de Janeiro, Brasil, first edition, 1988.
R. C. B. Martinse Moura A. V. Desenvolvimento Sistemático de Sistemas Corretos: A Abordagem Denotacional. VI Escola de Computação, Campinas, 1989.
R. A. Radice e alli. A programming process architecture. IBM SYSTEMS JOURNAL, 24(2):79-90, 1985.
Published
1989-10-25
How to Cite
MARTINS, Raul C. B.; ANNARUMMA, Gustavo de O.; CARNEIRO, Luiza M. F.; LIMA, Arnaldo V. de; MOLINARI NO., Paschoal; LA QUINTANA, Elisabete M. B. de; STERN, Ronaldo.
Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 3. , 1989, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1989
.
p. 201-213.
ISSN 2833-0633.
DOI: https://doi.org/10.5753/sbes.1989.25260.
