Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN
Resumo
O trabalho pretende mostrar como um método formal de desenvolvimento de software pode vir a ser utilizado num projeto real. Apresenta-se um tutorial sobre o método em questão, simultaneamente ao projeto em discussão que consiste no desenvolvimento de um sistema de 'CAD' para 'VLSI'Referências
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.
Publicado
25/10/1989
Como Citar
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: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 3. , 1989, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1989
.
p. 201-213.
DOI: https://doi.org/10.5753/sbes.1989.25260.
