Tool Support for Engineering Certifiable Software.
László GönczyIstván MajzikÁkos HorváthDániel VarróAndrás BaloghZoltán MicskeiAndrás PatariczaPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- tool support
- software development
- requirements engineering
- software engineering
- software tools
- software projects
- software systems
- life cycle
- software design
- software process
- software quality
- design decisions
- development process
- software intensive systems
- software maintenance
- artificial intelligence
- engineering design
- software requirements
- software architecture
- software components
- source code
- knowledge management
- software developers
- design patterns
- database
- database applications
- computer systems
- multi agent
- real world
- data sets