Publikationen
Systemunterstützung für die Algebraische Systementwicklung , 2002 Das Projekt diente dazu, eine lose Zusammenarbeit mit dem Kestrel Institute, Palo Alto, zu etablieren.
Es behandelt die folgenden Themen:
www.informatik.uni-augsburg.dePublications
System Support for Algebraic System Calculation , 2002 The project served to establish a loose cooperation with Kestrel Institute at Palo Alto.
It deals with the following themes:
www.informatik.uni-augsburg.de„ Ich bin sehr glücklich über meine Wahl des Messsystems.
Kestrel hat eine flexible Lösung geliefert, die beim Bedienpersonal beliebt ist.
Sie ist nicht nur kompakt und einfach zu benutzen, sondern sie ist auch wirklich ihr Geld wert! “
www.visioneng.deI ’ m very happy with my choice of measuring system ;
Kestrel has provided a flexible solution that is popular with the operators.
Not only is it compact and simple to use, but it ’ s also very good value for money!"
www.visioneng.deim Hinblick auf seine Eignung für die Unterstützung algebraischer Herleitungen evaluieren.
Zweitens wird Kestrel untersuchen, wie die Augsburger Formalisierung von Zeigerstrukturen in einer konkreten Modellierungs- und Verifikationsaufgabe eingesetzt werden kann.
Drittens werden beide Gruppen auf dem Gebiet der formalen algebraischen Entwicklung nebenläufiger Speicherbereinigungsalgorit... kooperieren.
www.informatik.uni-augsburg.deFirst, the Augsburg group will evaluate the Kestrel system SPECWARE for its suitability to support algebraic derivations.
Second, Kestrel will investigate how the Augsburg formalization of structures on the heap can be applied in a concrete modelling and verification project.
Third, both groups will cooperate on the issue of formal, algebraic derivation of concurrent garbage collection algorithms.
www.informatik.uni-augsburg.deChcesz dodać słowo, frazę lub tłumaczenie?
Wyślij nowe hasło.