SafeSpection - A Systematic Customization Approach for Software Hazard Identification.
Christian DengerMario TrappPeter LiggesmeyerPublished in: SAFECOMP (2008)
Keyphrases
- user interface
- software systems
- software tools
- software package
- source code
- software development
- software design
- design patterns
- software application
- database
- hardware design
- automatic identification
- formal methods
- simulation environment
- qualitative and quantitative
- development process
- software engineering
- expert systems
- case study
- web services
- information systems
- artificial intelligence
- databases
- real time