Home › Biblio

Biblio

Export 20 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
Filters: Author is Herzig, R.  [Clear All Filters]
1995
Gogolla, M., S. Conrad, G. Denker, R. Herzig, and N. Vlachantonis, "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
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "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)
Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "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)
Conrad, S., M. Gogolla, and R. Herzig, "Safe Derivations in Object Hierarchies", OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995. Abstract
Herzig, R., Zur Spezifikation von Objektgesellschaften mit TROLL \it light\/, : VDI-Verlag, 1995. Abstract
1994
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
Herzig, R., and M. Gogolla, "An Animator for the Object Specification Language TROLL \em light", Proc. Colloquium on Object Orientation in Databases and Software Engineerin1 (COODBSE'94): Universit\'e du Queb\'ec \`a Montr\'eal, pp. 4-17, 1994. Abstract
Herzig, R., S. Conrad, and M. Gogolla, "Compositional Description of Object Communities with TROLL \em light", Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94): C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994. Abstract
Gogolla, M., S. Güler, and R. Herzig, "From Object Specification to Enhanced Logic Programming", Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 423-430, 1994. Abstract
Gogolla, M., R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis, "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
Gogolla, M., N. Vlachantonis, R. Herzig, G. Denker, S. Conrad, and H. - D. Ehrich, The KORSO Approach to the Development of Reliable Information Systems, , no. 94-06: Technische Universität Braunschweig, 1994. Abstract
Herzig, R., and M. Gogolla, "A SQL-like Query Calculus for Object-Oriented Database Systems", Proc1 Int1 Symp. on Object-Oriented Methodologies and System1 (ISOOMS'94): Springer, Berlin, LNC1 858, pp. 20-39, 1994. Abstract
Herzig, R., and N. Vlachantonis, "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
1993
Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich, "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)
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. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993. Abstract  Download: 1993GI.pdf (401.19 KB)
Gogolla, M., S. Conrad, and R. Herzig, "Sketching Concepts and Computational Model of TROLL \em light", Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93): Springer, Berlin, LNCS 722, pp. 17-32, 1993. Abstract
Herzig, R., Spezifikation der abstrakten Syntax von TROL1 \it light\/ mit TROL1 \it light, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 43-49, 1993. Abstract
Herzig, R., and N. Vlachantonis, Spezifikation einer Fertigungszelle mit TROL1 \it light, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 1993. Abstract
1992
Herzig, R., and M. Gogolla, "Transforming Conceptual Data Models into an Object Model", Proc1 11th Int1 Conf1 on the Entity-Relationship Approac1 (ER'92): Springer, Berlin, LNC1 645, pp. 280-298, 1992. Abstract
Conrad, S., M. Gogolla, and R. Herzig, TROLL \em light\/: A Core Language for Specifying Objects, , no. 92-02: TU Braunschweig, 1992. Abstract