Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme formatIsbn:Softcover - 9783838606842 Text] -- Molière und das

Text] -- Molière und das Problem des Verstehens in der Welt des 17

So wird im Allgemeinen angenommen

Zudem wird ein Einblick in die historische Entwicklung der grabenlosen Bauweise gewährt sowie Vor- und Nachteile der Bau- und Sanierungsverfahren im Vergleich zur offenen Bauweise auf allgemeiner Basis dargestellt

1GRUNDLAGEN3

Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme formatIsbn:Softcover - 9783838606842 Text] -- Molière und dasInhaltsangabe: Einleitung: Die Abstraktion von Verhaltensmodellen ist die wesentliche Voraussetzung fr die Realisierbarkeit der automatischen Testgenerierung fr Systeme mit kontinuierlichem Wertebereich, indem durch Anwendung von Abstraktionsoperatoren Verhaltensmodelle mit kontinuierlichem Wertebereich auf Verhaltensmodelle mit finitem Wertebereich abgebildet werden. Man kann beliebig viele Abstraktionen anwenden, wodurch die Verhaltensmodelle immer