Elementare Bestandteile des Software Engineerings sind die Analyse und die Darstellung von Programmen. Ein wichtiges Ziel ist die Bewältigung der Komplexität des Programms. Dazu können Methoden des Reengineerings, wie Slicing oder Refaktorisierung, sehr gut eingesetzt werden. Die Meisten dieser Methoden setzen dabei eine Darstellung des Programms in einem Programmabhängigkeitsgraphen (PDG) vora...

Zusammenfassung Basierend auf den Ergebnissen der beiden Mammographie-Pilotprojekte zur Brustkrebsfrüherkennung in Nijmegen and Utrecht wurde 1989 in den Niederlanden ein bevölkerungsbezogenes Programm ins Leben gerufen. Die Hauptcharakteristika des Programms sind die zentralisierte Organisation, einschließlich der zentralisierten technischen und medizinischen Qualitätskontrolle und Überprüfung...

Im Folgenden wird ein prototypisches Werkzeug zur Überprüfung der Einhaltung von Modellierungsregeln vorgestellt. Der Prototyp wurde im Rahmen eines Automotive-Projekts entwickelt und eingesetzt. Mit Hilfe des Programms können Modellierungsregeln in Java und OCL definiert werden, um Inkonsistenzen, Inkompatibilitäten sowie Designfehler in zustandsbasierten Modellen zu analysieren. Anschließend ...

Carin-ALN as proposed recently by Rouveirol and Ventos [2000] is an interesting new rule learning bias for ILP. By allowing description logic terms as predicates of literals in datalog rules, it extends the normal bias used in ILP as it allows the use of all quantified variables in the body of a clause, instead of the normal exist quantified variables and it has atleast and atmost restrictions ...

This paper deals with a geometric construction of algebraic non-realizability proofs for certain oriented matroids. As main result we obtain an algorithm which generates a (bi-quadratic) final polynomial [3], [5] for any non-euclidean oriented matroid. Here we apply the results of Edmonds, Fukuda and Mandel [6], [7] concerning non-degenerate cycling of linear programms in non-euclidean oriented...