Reliable yet flexible software through formal model transformation (rule definition).
Abbas RasoolzadeganAhmad Abdollahzadeh BarforoushPublished in: Knowl. Inf. Syst. (2014)
Keyphrases
- formal model
- software development
- software systems
- security patterns
- software tools
- predicate calculus
- formal models
- security properties
- test cases
- cost effective
- semantic network
- case study
- software maintenance
- rule learning
- user interface
- source code
- software design
- active databases
- software application
- association rules