Model-based enhancement of software performance for precision critical systems.
Naeem MuhammadNelis BouckéYolande BerbersPublished in: ECSA Companion Volume (2010)
Keyphrases
- computer systems
- software development
- image enhancement
- industrial strength
- safety critical
- commercial software
- software packages
- software design
- software tools
- learning systems
- knowledge based systems
- artificial intelligence
- information systems
- image processing
- intelligent systems
- software developers
- software maintenance
- computing systems
- database
- formal methods
- software systems
- open systems
- building blocks
- graphical user interfaces
- data mining
- commercial systems
- databases