Combining software evidence: arguments and assurance.
Rob WeaverGeorgios DespotouTim KellyJohn Alexander McDermidPublished in: ACM SIGSOFT Softw. Eng. Notes (2005)
Keyphrases
- software systems
- user interface
- empirical evidence
- software design
- software tools
- software platform
- expert systems
- development process
- software components
- software application
- computer software
- evidential reasoning
- hardware design
- modeling language
- software projects
- real time
- software architecture
- multi agent
- learning algorithm
- neural network