Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN.
Raul César B. MartinsGustavo de O. AnnarummaLuiza Maria F. CarneiroArnaldo Hilário Viegas de LimaPaschoal Molinari No.Elisabete M. B. de la QuintanaRonaldo SternPublished in: SBES (1989)
Keyphrases
- software development
- software systems
- software design
- computer systems
- software architecture
- software platform
- case study
- user interface
- data flow
- software components
- commercial software
- hardware design
- software packages
- software evolution
- software tools
- personal computer
- software projects
- database
- multi agent
- database systems
- multimedia
- data sets