A formal framework for software faults and permissions based on unified theory of programming.
Zhilin ZhuXiaojian LiuPublished in: Clust. Comput. (2019)
Keyphrases
- theoretical framework
- formal model
- mathematical theory
- analysis tool
- formal methods
- main contribution
- conceptual framework
- probabilistic model
- mathematical foundations
- software development
- software systems
- source code
- programming language
- model based diagnosis
- user interface
- programming environment
- mathematical framework
- neural network