IT-Stellenangebote Abschlussarbeit | Untersuchung von realem und theoretischem Zustandsraum von Software