Methodological studies relate to the modeling of various phenomena using concepts and tools, and above all, to an interactive process consisting of four cyclical stages: abstraction, formalization, simplification and verification in the context of computer science.
Badania metodologiczne dotyczą modelowania różnych zjawisk przy użyciu pojęć i narzędzi informatycznych, a przede wszystkim procedury interaktywnej składającej się z czterech, powtarzanych cyklicznie, etapów: abstrakcji, formalizacji, symplifikacji i weryfikacji) w kontekście informatycznym.