Home › Biblio

Biblio

Export 100 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
Filters: Author is Ehrich, H.-D.  [Clear All Filters]
2010
Pavlovič, O., and H. - D. Ehrich, "Model Checking PLC Software Written in Function Block Diagram", ICST 2010, Paris, IEEE, 2010. Abstract
2008
Hon, Y. M., J. - T. Tecker, and H. - D. Ehrich, "OOLH: A formal framework for specifying system requirements", SIGSAND-EUROPE 2008, Berlin, Springer LNI, Vol. 129, 2008. Abstract
2007
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik - Erkenntnisse aus der Datenflut?", Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007. Abstract
2006
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik: Erkenntnisse aus der Datenflut?", 18. Workshop Grundlagen von Datenbanken, pp. 13-32, June, 2006. Abstract
2005
Ehrich, H. - D., K. - D. Schewe, T. H. Tse, and (eds), "Special Issue QSIC 2004", Journal of Systems and Software: Elsevier B.V., 2005. Abstract
2004
Ehrich, H. - D., "Bioinformatik - Modellbildung als Herausforderung für die Informatik", Innovation jenseits von Fachgrenzen, M. Bohnet, H. Hopf, K. Lompe, und H. Oberbeck (Herausgeber), Braunschweig, Technische Universität, pp. 37-50, 2004. Abstract
Ehrich, H. - D., K. - D. Schewe, and (eds), "Proceedings QSIC 2004", QSIC 2004, Braunschweig, IEEE CS Press, 2004. Abstract
Lin, H., H. - D. Ehrich, T. H. Tse, and (eds), "Special Issue QSIC 2003", Information and Software Technology, vol. 46, no. 15: Elsevier B.V., 2004. Abstract
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), "Objects, Agents, and Features", Dagstuhl Seminar 03081, Dagstuhl, Springer LNCS 2975, 2004. Abstract
2003
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Checking Object System Designs Incrementally", Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003. Abstract
Lin, H., H. - D. Ehrich, and (eds), "Proceedings QSIC 2003", QSIC 2003, Dallas, IEEE CS Press, 2003. Abstract
2002
Ehrich, H. - D., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract
2001
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. 2029, pp. 32-44, 2001. Abstract
Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J1 Cramer Verlag, pp. 69-72, 2001. Abstract
2000
Loeckx, J., H. - D. Ehrich, and M. Wolf, "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract
Ehrich, H. - D., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Convetions (ICSC), Canada, pp. 242-248, 2000. Abstract
Ehrich, H. - D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (S, pp. 46-47, 2000. Abstract
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract
1999
Ehrich, H. - D., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (S, pp. 16-19, 1999. Abstract
Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract
1998
Grau, A., J. Küster Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc1 of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore: Springer, LNCS 1507, pp. 277-290, November, 1998. Abstract
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract
1997
Grau, A., M. Kowsari, and H. - D. Ehrich, A CASE-Tool Environment for Developing and Validating Conceptual Models, , 1997. Abstract
Hartel, P., G. Denker, M. Kowsari, M. Krone, and H. - D. Ehrich, "Information systems modelling with TROLL formal methods at work", Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997. Abstract
Denker, G., and H. - D. Ehrich, "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract
1996
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, A Case Study in Information System Design, The CATC System, , 1996. Abstract
Ehrich, H. - D., and K. Neumann, Datenbanksysteme II, , no. 34: Technische Universität Braunschweig, 1996. Abstract
Krone, M., M. Kowsari, P. Hartel, G. Denker, and H. - D. Ehrich, "Developing an Information System Using TROLL: an Application Field Study", Proc1 8th Int1 Conf1 on Advanced Information Systems Engineerin1 (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996. Abstract
Ehrich, H. - D., Object Specification, , no. 96-07: TU Braunschweig, 1996. Abstract
Loeckx, J., H. - D. Ehrich, and M. Wolf, Specification of abstract data types, : J. Wiley & Sons and B.G.Teubner Publishers, 1996. Abstract
Ehrich, H. - D., and P. Hartel, "Temporal Specification of Information Systems", Logic and Software Engineering, Proc1 Int1 Workshop in Honor of C.S. Tang,Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract
1995
Denker, G., and H. - D. Ehrich, "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 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
Denker, G., and H. - D. Ehrich, "An Event-Based Semantics for Transactions", Proc1 Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995. Abstract