Informatik
Hochschule Trier
- +49 (0)651/8103-345
- +49 (0)651/8103-454
- sek@informatik.hochschule-trier.de
Stephan, Werner; Rock, Georg; Brodski, Michael
Modeling Specification and Verification of an Emergency Closing System.FLAIRS. 2000 S. 356 - 360
Oechsle, Rainer; Jahn, D.
Visualisierung von ausgewählten Lehrinhalten der Informatik - Beispielanimationen aus dem Projekt VivaldiStephan Diehl, Andreas Kerren (Hrsg). Tagungsband des GI-Workshops "Softwarevisualisierung 2000". Schloß Dagstuhl, Universität des Saarlandes, Saarbrücken. 2000 S. 79 - 90
Autexier, Serge; Hutter, Dieter; Langenstein, Bruno et al.
VSE: formal methods meet industrial needs.Int. J. Softw. Tools Technol. Transf. Bd. 3. H. 1. 2000 S. 66 - 77
Oechsle, Rainer
Basiskonzepte des Visualisierungsprojekts VIVALDIBericht 9901. Fachbereich Angewandte Informatik, FH Trier. 1999
Oechsle, Rainer; Becker, R.
Das Projekt Vivaldi (Visualisierung von ausgewählten Lehrinhalten der Informatik)C. Cap, W. Erhard, W. Koch (Hrsg). "Architektur von Rechensystemen - Systemarchitektur auf dem Weg ins 3. Jahrtausend: Neue Strukturen, Konzepte, Verfahren und Bewertungsmethoden - Vorträge der 15. GI/ITG-Fachtagung ARCS '99 und der APS '99 vom 4. bis 7. Oktober 1999 in Jena". VDE-Verlag 1999 S. 263 - 270
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Modeling Dynamic Processes in TLA.FBT. 1999 S. 185 - 192
Schneider, Georg
Virtual Team Assistant: intelligente Assistenzsysteme für die automatisierte Vorgangsbearbeitung.Deutscher Universitäts-Verlag 1999
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Assumption-Commitment Specifications and Safety-Critical Systems.FBT. 1998 S. 125 - 135
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Modular reasoning about structured TLA specifications.Tool Support for System Specification, Development and Verification. 1998 S. 217 - 229