Software Modelling and Applied Logic

Computer Science

1. Model Transformation 100%
2. Case Study 40%
3. Model Checking 39%
4. Formal Verification 32%
5. Temporal Logic 29%
6. Formalization 28%
7. Programming Language 28%
8. Domain-specific languages 24%
9. Security protocols 20%
10. model checker 20%
11. Model-Driven Engineering 20%
12. Argumentation 18%
13. lambda-calculus 17%
14. Automaton 16%
15. State Machine 16%
16. Software Engineering 15%
17. Experimental Result 15%
18. Design Pattern 14%
19. Access Control Policies 14%
20. Type Systems 14%
21. Web Application 13%
22. Theorem Prover 13%
23. Digital Forensics Investigation 13%
24. Soundness 12%
25. model-driven development 12%
26. Optimization Problem 12%
27. Internet-Of-Things 12%
28. Unification Algorithm 12%
29. class diagram 11%
30. Reactive System 11%
31. Formal Specification 11%
32. Finite-State Machine 11%
33. Belief Revision 11%
34. Access Control 11%
35. Software Systems 10%
36. Static Program Analysis 10%
37. Artificial Intelligence 10%
38. Operational Semantics 10%
39. And-States 10%
40. Modularization 10%
41. Code Generator 10%
42. Search Space 10%
43. Nonfunctional Property 9%
44. Refactoring 9%
45. Equational Theory 9%
46. Rewrite Rule 9%
47. modeling language 9%
48. Nominal Approach 9%
49. Specification Language 9%
50. Software Development 9%
51. Development Approach 9%
52. meta programming 9%
53. Rewriting Relation 9%
54. Requirement Engineering 9%
55. Digital Evidence 8%
56. System Specification 8%
57. Execution Strategy 8%
58. Role-Based Access Control 8%
59. Decision Procedure 7%
60. Explicit Substitution 7%
61. Abstract Machine 7%
62. Function Symbol 7%
63. Temporal Constraint 7%
64. Dynamically Typed Language 7%
65. Bayesian Networks 7%
66. Attackers 7%
67. Threat Model 7%
68. Research Direction 7%
69. Use Case 7%
70. Regular Expression 7%
71. Sufficient Condition 7%
72. Security Analysis 7%
73. Multi-Objective Optimization 6%
74. Privacy Preserving 6%
75. Defense Strategy 6%
76. Fault Localization 6%
77. Constraint Network 6%
78. Efficient Algorithm 6%
79. Agile Development 6%
80. Formal Semantics 6%
81. Modeling Notation 6%
82. Machine Learning 6%
83. Quality of Service 6%
84. Ontology 6%
85. Information Warfare 6%
86. Equivalence Relation 6%
87. Regular Language 6%
88. Formal Language 6%
89. Business Process 6%
90. Formal Framework 6%
91. Syntactics 6%
92. Explainable Artificial Intelligence 6%
93. Transformation Rule 6%
94. Digital Forensics 6%
95. Verification Process 6%
96. Security and Privacy 5%
97. Virtual Machine 5%
98. Program Verification 5%
99. Cybersecurity 5%
100. Constructors 5%