Home › Biblio

Biblio

Export 569 results:
Sort by: Author Keyword [ Title (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
\
Denker, G., and P. Hartel, \sc Troll - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics, , no. 97-03: Technische Universität Braunschweig, 1997. Abstract
Jungclaus, R., G. Saake, T. Hartmann, and C. Sernadas, "\sc Troll - A Language for Object-Oriented Specification of Information Systems", ACM Transactions on Information Systems, vol. 14, no. 2, pp. 175-211, April, 1996. Abstract
Wieringa, R., R. Jungclaus, P. Hartel, T. Hartmann, and G. Saake, "\sc omTroll - Object Modeling in \tt TROLL", Proc1 Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 267-283, 1993. Abstract
Ehrich, H. - D., "\sc Korso Reference Languages -- Concepts and Application Domains", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 150-172, 1995. Abstract
, \em The Compass Working Group: Algebraic System Specification and Development, : Springer, Berlin, LNCS 501, 1991. Abstract
Gogolla, M., and H. - D. Ehrich, \em Contributions to: Algebraic System Specification and Development, \em Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F. and Sannella, D., editors, : Springer, Berlin, LNCS 501, 1991. Abstract
Z
Herzig, R., Zur Spezifikation von Objektgesellschaften mit TROLL \it light\/, : VDI-Verlag, 1995. Abstract
Herzig, R., H. Fischer, and M. Gogolla, "Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen", Proc1 GI-Workshop ``Benutzungsschnittstellen für Datenbanken'', Kassel, 17.-18.3.94: GI-Datenbankrundbrief 13, pp. 43-45, Mai, 1994. Abstract
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Zur Entwicklung zuverlässiger Informationssysteme in KorSo", Informatik -- Wirtschaft -- Gesellschaft, Proc.\ 231 GI-Jahrestagun1 (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993. Abstract
Lipeck, U. W., Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung, : Springer, 1989. Abstract
Tönnies, S., "Zielführung in der Fahrzeugnavigation mittels Mixed Reality", Institut für Kartographie und Geoinformatik, vol. M.Sc., Hannover, Universität Hannover, 2006.
X
Wagner, M., W. - T. Balke, and W. Kießling, "An XML-Based Multimedia Middleware for Mobile Online Auctions", Enterprise Information Systems III, J. Filipe, B. Sharp, and P. Miranda (eds.): Kluwer Academic Publishers, 2002.  Download: iceis01.pdf (929.37 KB)
Wagner, M., W. - T. Balke, and W. Kießling, "An XML-Based Multimedia Middleware for Mobile Online Auctions", 3rd International Conference on Enterprise Information Systems (ICEIS 2001), Setubal, Portugal, Springer, 2001. Abstract  Download: iceis01.pdf (929.37 KB)
Eckstein, R., and S. Eckstein, XML und Datenmodellierung. XML-Schema und RDF zur Modellierung von Daten und Metadaten einsetzen, : dpunkt.verlag, 2004. Abstract
W
Homoceanu, S., M. Loster, C. Lofi, and W. - T. Balke, "Will I like it? – Providing Product Overviews based on Opinion Excerpts", IEEE Conference on Commerce and Enterprise Computing (CEC), Luxembourg, Luxembourg, 2011. Abstract  Download: Full Text CEC 2011 (587.95 KB)
Homoceanu, S., and W. - T. Balke, "What Makes a Phone a Business Phone - Querying Concepts in Product Data", The 2011 IEEE/WIC/ACM International Conference on Web Intelligence, Lyon, France, 2011. Abstract  Download: querying_concepts.pdf (670.87 KB)
Sernadas, A., and H. - D. Ehrich, "What Is an Object, After All?", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 39-70, 1991. Abstract
Tönnies, S., "Werkzeugunterstützter Einsatz von XP-Techniken in der Programmierausbildung", Institut für verteilte Systeme - Fachgebiet wissensbasierte Systeme , vol. B.Sc., Hannover, Universität Hannover, 2003.
V
Lohmann, F., Vorüberlegungen für den zweiten Prototyp eines geowissenschaftlichen Datenbanksystems, , no. 87-04: Technische Universität Braunschweig, 1987. Abstract
Eckstein, S., P. Ahlbrecht, and K. Neumann, Von parametrisierten Spezifikationen zu generierten Informationssystemen: ein Anwendungsbeispiel, , no. 00-05: Technische Universität Braunschweig, 2000. 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
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
Tauscher, S., and K. Neumann, "Visualisierung personalisierter Streckenpläne", Kartographische Nachrichten, vol. 2013, no. 2/3, pp. 94-96, 2013.
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
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
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
Denker, G., Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, , vol. 6: infix-Verlag, 1996. Abstract
Denker, G., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. Abstract
Löhr-Richter, P., Validation: Ein methodischer Schritt zu fehlerfreien Datenbankentwürfen, , no. 90-04: Technische Universität Braunschweig, 1990. 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
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
U
Mathiak, B., A. Kupfer, and K. Neumann, "Using XML Languages for Modeling and Web-Visualization of Geographical Legacy Data", VI Brazilian Symposium on GeoInformatics: GeoInfo 2004: Instituto Nacional de Pesquisas Espaciais, pp. 265-280, 2004. Abstract
Köhncke, B., and W. - T. Balke, "Using Wikipedia Categories for Compact Representations of Chemical Documents", 19th ACM International Conference on Information and Knowledge Management (CIKM), Toronto, Canada, 10/2010. Abstract  Download: cikm2010.pdf (296.61 KB)
Mathiak, B., A. Kupfer, S. Eckstein, D. A. Zighed, S. Tsumoto, Z. W. Ras, and H. Hacid, "Using Layout Data for the Analysis of Scientific Literature", Mining Complex Data, vol. 165: Springer, pp. 3-22, 2009.
Mathiak, B., A. Kupfer, T. Scope, B. Störmann, and S. Eckstein, "Using Image Classification for biomedical Literature Retrieval", ICDM Workshops 2006, pp. 185-189, 2006. Abstract