Computer programming languages Mathematical models 8 Algebra 6 Alloy 6 Automata theory 6 Formal logic 6 Semantics 6 Algorithms 4 Automation 4 Calculations 4 Compositional modeling 4 Computer aided software engineering 4 Differentiation (calculus) 4 Dynamic logic 4 Key modeling 4 Polynomial approximation 4 Real time systems 4 Software engineering 4 Statistical methods 4 Technical presentations 4 Timed Automata 4 Abstract machine 2 Abstracting 2 Administrative data processing 2 Alloying 2 Application servers 2 Arc models 2 Aspect-oriented programming (AOP) 2 Automated test generation 2 Automated test generations 2