Master’s dissertation: we study requirements on a example that is concrete