.gif)
] Filters: First Letter Of Last Name is V [Clear All Filters]
"40 Jahre Informatik an der Technischen Universität Braunschweig 1972-2012",
Lecture Notes in Informatics, vol. T-6, Bonn, Gesellschaft für Informatik, pp. 188, 2012.
"TROLL light --- The Language and Its Development Environment",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995.
Abstract
Download: 1995TrollLight.pdf (971.69 KB)
"(Semi-) Automatic Segmentation in Historic Collections of Heraldic Images",
15th International Conference on Pattern recognition (ICPR 2000), Barcelona, Spain, 2000.
Abstract
Download: icpr00.pdf (74.68 KB)
"Binding Data Narrations - Corroborating the Plausibility of Scientific Narratives by Open Research Data",
2023 ACM/IEEE Joint Conference on Digital Libraries (JCDL), Santa Fe, NM, USA, 2023.
Abstract
Download: JCDL_2023___Binding_Data_Narrations___Camera_Ready.pdf (901.61 KB)
The KORSO Approach to the Development of Reliable Information Systems,
, no. 94-06: Technische Universität Braunschweig, 1994.
Abstract
"Towards Reliable Information Systems: The KORSO Approach",
Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993.
Abstract
Download: 1993KorSo.pdf (314.47 KB)
"Zur Entwicklung zuverlässiger Informationssysteme in KorSo",
Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993.
Abstract
Download: 1993GI.pdf (401.19 KB)
"An Approach towards the Conceptual Modelling of the Tool Integration Aspect",
Proc. 6th Int1 Conf1 Software Engineering & Its Application1 (SEA'93): EC2, Nanterre, France, pp. 543-553, 1993.
Abstract
"A Case Study for an Open CASE System: The TROLL \em light Development Environment",
Proc1 4th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'93): Springer, Berlin, LNCS 720, pp. 673-676, 1993.
Abstract
"Ideen zur Architektur einer offenen und integrierten Entwurfsumgebung für Informationssysteme",
41 GI Workshop Grundlagen von Datenbanken: ECRC, München, Technical Report ECRC-92-13, pp. 157-161, 1992.
Abstract
"Integrating the ER Approach in an OO Environment",
Proc1 12th Int1 Conf1 on the Entity-Relationship Approac1 (ER'93): Springer, Berlin, LNC1 823, pp. 376-389, 1994.
Abstract
Spezifikation einer Fertigungszelle mit TROL1 \it light,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 1993.
Abstract
"TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems",
Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification: FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe (Germany), pp. 231-239, 1994.
Abstract
"A Development Environment for an Object Specification Language",
IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 505-508, June, 1995.
Abstract
"Entwicklung zuverlässiger Informationssysteme",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995.
Abstract
Download: 1995EMISA.pdf (691.75 KB)