[ Design, development and updating of computer programs for creating models for ascertaining the nominal behaviour of systems, in particular software systems ]