Biblio

Export 11 results:
Sort by: Author Keyword Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is F  [Clear All Filters]
1987
1989
Lipeck, U. W., and D. S. Feng, "Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints", Proc1 14th Int1 Workshop on Graph-Theoretic Concepts in Computer Science (WG'88): LNCS 344, Springer, Berlin, pp. 166-179, 1989. Abstract
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "The Basic Building Block of Information Systems", Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989. Abstract  Download: 1989BBBofIS.pdf (1.08 MB)
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "Abstract object types: A temporal perspective", Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989. Abstract  Download: 1989AbstrObjTypes.pdf (393.35 KB)
1991
Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake, "Proof-Theoretic Semantics of Object-Oriented Specification Constructs", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991. Abstract
1994
Saake, G., P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra, "Inheritance Conditions for Object Life Cycle Diagrams", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 79-89, 1994. 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
1997
1998
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "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)
2006
Täubner, C., B. Mathiak, A. Kupfer, N. Fleischer, and S. Eckstein, "Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets", 28th Annual International Conference of IEEE Engineering in Medicine and Biology Society: IEEE, pp. 221, 30. August - 3. , 2006. Abstract
2014
Wille, P., R. Finster, and W. - T. Balke, "A Model for Interactive CSR Campaigns using Storytelling", 1st International Workshop on Social Multimedia and Storytelling, Glasgow, UK, 2014. Abstract  Download: A-Model-for-Interactive-CSR-Campaigns-using-Storytelling.pdf (317.79 KB)