O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software.
Stanley LohJosé Mauro Volkmer de CastilhoPublished in: SBES (1991)
Keyphrases
- formal methods
- software development
- software package
- software tools
- computer systems
- software architecture
- software packages
- requirements specification
- source code
- software systems
- software projects
- software platform
- hardware design
- formal specification
- software quality
- software design
- artificial intelligence
- user interface