.gif)
]
"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)
"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
"Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach",
Proc1 Theory and Practice of Software Developmen1 (TAPSOFT'89): Springer, Berlin, LNCS 351, pp. 259-274, 1989.
Abstract
Datalog - Eine deduktive Datenbanksprache,
, no. 25: Technische Universität Braunschweig, 1990.
Abstract
Some Examples for TROL1 \it light\/ Templates,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993.
Abstract
Algebraic Specifications with Partially Ordered Sorts and Declarations,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
Abstract
The KORSO Approach to the Development of Reliable Information Systems,
, no. 94-06: Technische Universität Braunschweig, 1994.
Abstract
An Extended Entity Relationship Model. Fundamentals and Pragmatics,
: Springer, Berlin, LNCS 767, 1994.
Abstract
"A Note on the Translation of SQL to Tuple Calculus",
ACM SIGMOD RECORD, vol. 19, no. 1, pp. 18-22, 1990.
Abstract
"On Parametric Algebraic Specifications with Clean Error Handling",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
Abstract
"An Object-Oriented Design for the ACT ONE Environment",
Proc1 3rd Int1 Conf1 on Algebraic Methodology and Software Technolog1 (\mboxAMAST'93): Springer, London, Workshops in Computing, pp. 361-368, 1993.
Abstract
"Algebraic and operational semantics of exceptions and errors",
Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983.
Abstract
Download: 1983ExceptErrors.pdf (198.63 KB)
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen,
: Technische Universität Braunschweig, 1986.
Abstract
"Towards a Semantic View of an Extended Entity-Relationship Model",
ACM Transactions on Database Systems, vol. 16, no. 3, pp. 369-416, 1991.
Abstract
"INFORMATIK 2012",
Lecture Notes in Informatics, vol. 208: Gesellschaft für Informik e.V., 2012.
"Biological Data Migration using a Model-Driven Approach",
ATEM 2007 - 4th International Workshop on (Software) Language Engineering, 2007.
Abstract
"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
"Analysing Object Specifications for Execution",
10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 32-36, 1998.
Abstract
"An Animation System for Validating Object-Oriented Conceptual Models",
4th Doctoral Consortium on Advanced Information Systems Engineerin1 (CAISE'97), Barcelona, June 16-17 1997: Fachberichte Informatik 14/97, Univ. Koblenz-Landau, 1997.
Abstract
"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
Computer-Aided Validation of Formal Conceptual Models,
: Technical University Braunschweig, Germany, March, 2001.
Abstract
"A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)",
9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20, 1997.
Abstract
"The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools",
Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998.
Abstract
Download: 1998ER.pdf (336.76 KB)
"Consistently Adding Amalgamations to Preference Orders",
3rd Multidisciplinary Workshop on Advances in Preference Handling (M-Pref), Vienna, Austria, 2007.
Abstract
Download: mpref07.pdf (154.24 KB)
"Towards Efficient Multi-Feature Queries in Heterogeneous Environments",
IEEE International Conference on Information Technology: Coding and Computing (ITCC 2001), Las Vegas, NV, USA, 2001.
Abstract
Download: itcc01.pdf (92.73 KB)
"Optimizing Multi-Feature Queries for Image Databases",
26th International Conference on Very Large Databases (VLDB 2000), Cairo, Egypt, 2000.
Abstract
Download: vldb00.pdf (190.85 KB)
Modelling Complex Systems,
: Technische Universität Braunschweig, 1995.
Abstract
"Object-Orientation and Information Modeling",
Proc1 OOPSLA Workshop on Object-Oriented Reasoning in Information Modeling: Institute for Information Management and Department of Computer and Information Systems, Robert Morris College, Pennsylvania, pp. 13-16, 1992.
Abstract
"Object-Orientation and Real-Time System Development",
Proc1 OOPSLA Workshop on Object-Oriented Technology in Real-Time Systems: Past, Present, and Future, 1992.
Abstract
"Modeling Business Processes over Objects",
Int1 Journal of Cooperative Information Systems, vol. 4, no. 2, pp. 165-188, 1995.
Abstract
Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme,
: infix-Verlag, 1997.
Abstract
"Specifying Information System Dynamics in \sc TROLL",
Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 53-64, 1994.
Abstract
"Information systems modelling with TROLL formal methods at work",
Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997.
Abstract
Download: 1997InfSysAtWork.pdf (846.73 KB)
"Specifying Business Processes over Objects",
Proc1 13th Int1 Conf1 on the Entity-Relationship Approac1 (ER'94): Springer, LNCS 881, Berlin, pp. 10-27, 1994.
Abstract