Home › Biblio

Biblio

Export 13 results:
Sort by: Author Keyword Title Type [ Year (Asc)]
Filters: First Letter Of Title is V  [Clear All Filters]
1987
Lohmann, F., Vorüberlegungen für den zweiten Prototyp eines geowissenschaftlichen Datenbanksystems, , no. 87-04: Technische Universität Braunschweig, 1987. Abstract
1990
Löhr-Richter, P., Validation: Ein methodischer Schritt zu fehlerfreien Datenbankentwürfen, , no. 90-04: Technische Universität Braunschweig, 1990. Abstract
1992
Saake, G., and R. Jungclaus, "Views and Formal Implementation in a Three-Level Schema Architecture for Dynamic Objects", Advanced Database System1 : Proc1 10th British National Conference on Databases (BNCO1 10), July 6-8, 1992, Aberdeen (Scotland): Springer, LNCS 618, Berlin, pp. 78-95, 1992. Abstract
Hartmann, T., "Vom konzeptionellen Modell zur Implementierung: Transformation des \tt TROLL Data-Dictionary", Kurzfassungen des 41 GI-Workshops ``Grundlagen von Datenbanken'', Barsinghausen, 9.-121 Juni 1992: ECRC, München, technical report ECRC-92-13, pp. 56-60, 1992. Abstract
1996
Denker, G., Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, , vol. 6: infix-Verlag, 1996. Abstract
1997
Grau, A., "Validating Object-Oriented Specifications through Animation", 9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 26-30, 1997. Abstract
Grau, A., and M. Kowsari, "A Validation System for Object-Oriented Specifications of Information Systems", Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg: eWiC, Springer, 1997. Abstract
1998
Denker, G., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. Abstract
Pinger, R., "Verifikation von Informationssystemen durch Model Checking", 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 99-103, 1998. Abstract
2000
Eckstein, S., P. Ahlbrecht, and K. Neumann, Von parametrisierten Spezifikationen zu generierten Informationssystemen: ein Anwendungsbeispiel, , no. 00-05: Technische Universität Braunschweig, 2000. Abstract
Pinger, R., "Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen", Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme: Bericht 24/00 - I, Universität Münster, pp. 70-77, November, 2000. Abstract
2004
Neumann, K., P. Ahlbrecht, S. Eckstein, B. Mathiak, and A. Kupfer, "Visualization of Landscape Data in Digital Maps by Exclusive Use of XML-Based Languages", Proc. 12th Int. Conf. on Geoinformatics, pp. 370 - 374, 2004. Abstract
2013
Tauscher, S., and K. Neumann, "Visualisierung personalisierter Streckenpläne", Kartographische Nachrichten, vol. 2013, no. 2/3, pp. 94-96, 2013.