Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme Rutilius Taurus Aemilianus bewertende Zusammenfassung und ein kurzer

bewertende Zusammenfassung und ein kurzer Ausblick bilden den Abschluss

4VRML (3-D Web)

In der vorliegenden Arbeit wird versucht ein restringiertes nichtlineares und nichtquadratisches Optimierungsmodell für das Risiko von Aktienportfolios zu entwickeln

soll am Beispiel der Jungensozialisation nachgegangen werden

Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme Rutilius Taurus Aemilianus bewertende Zusammenfassung und ein kurzerInhaltsangabe: 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