Development Life-cycle of Critical Software Under FoCaL.
Philippe AyraultThérèse HardinFrançois PessauxPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- development life cycle
- software development
- life cycle
- software quality
- software systems
- software product
- computer systems
- user interface
- software engineering
- software reuse
- software developers
- software projects
- development process
- case study
- source code
- software architecture
- real time
- test cases
- information systems
- software evolution
- multi agent
- databases