Argument Algebra: A Formalization of Assurance Case Development.
Shuichiro YamamotoPublished in: JCKBSE (2014)
Keyphrases
- legal cases
- rapid development
- software engineering
- query language
- databases
- relational algebra
- information security
- design process
- knowledge based systems
- algebraic geometry
- database
- st century
- information processing
- decision support
- e government
- knowledge management
- data model
- mobile devices
- artificial intelligence
- learning algorithm
- genetic algorithm