Formal Approach Use to Choose a Software Manufactoring Cell's SDLC.
Denis Ávila MontiniDanilo Douradinho FernandesFrancisco Supino MarcondesPaulo Marcelo TasinaffoÍtalo Santiago VegaLuiz Alberto Vieira DiasPublished in: ITNG (2010)
Keyphrases
- software development life cycle
- software maintenance
- software systems
- formal methods
- software development
- software architecture
- software tools
- computer systems
- database
- software components
- software developers
- design patterns
- software product
- software industry
- reverse engineering
- test set
- source code
- user interface
- case study
- databases