Automated Verification of Software Constraints Using Business Rules.
Sidra SabirMunsub AliPublished in: INTAP (2018)
Keyphrases
- business rules
- automated verification
- legacy systems
- business processes
- business process
- database software
- model checking
- reverse engineering
- formal verification
- fine grained
- user interface
- software development
- information systems
- production rules
- automated reasoning
- source code
- rule engine
- neural network
- genetic algorithm
- rule language
- artificial intelligence
- active rules
- case study
- data analysis
- object oriented