Home › Biblio

Biblio

Export 133 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
Filters: Author is Ehrich, H.-D.  [Clear All Filters]
2018
Ehrich, H. - D., "BWG-Kommission „Das Kulturelle Erbe im Digitalen Zeitalter“", Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2017_32, pp. 210-212, 06/2018.  Download: 2017_32_Jahrbuch_BWG_Ehrich.pdf (509.2 KB)
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Logic and Computation, vol. 33, London, College Publications, pp. 1-22, 2018.  Download: 2017adt94.pdf (189.66 KB)
2012
Ehrich, H. - D., "My ADT Shrine, invited lecture", Selected Papers from WADT 2010, Till Mossakowski and Hans-Jörg Kreowski, eds., Bremen, Springer LNCS 7137, pp. 13-24, 2012. Abstract  Download: 2012LNCS7137WADT10.pdf (498.99 KB)
Ehrich, H. - D., K. Alber, G. Stiege, R. Vollmar, and D. Wätjen, "40 Jahre Informatik an der Technischen Universität Braunschweig 1972-2012", Lecture Notes in Informatics, vol. T-6, Bonn, Gesellschaft für Informatik, pp. 188, 2012.
Stiege, G., H. - D. Ehrich, and W. - T. Balke, Datenbanken und Informationssysteme, , 2012.  Download: 2012IfIS.pdf (2.44 MB)
2010
Pavlovič, O., and H. - D. Ehrich, "Model Checking PLC Software Written in Function Block Diagram", ICST 2010, Paris, IEEE, 2010. Abstract  Download: 2010ICST.pdf (279.11 KB)
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  Download: 2008OOLH.pdf (71.71 KB)
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  Download: 2007BWG.pdf (491.15 KB)
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  Download: 2006GrdlDB-Bio.pdf (538.74 KB)
Ehrich, H. - D., K. - D. Schewe, and T. H. Tse(eds), "Special Issue Quality Software", Journal of Systems and Software, vol. 79, no. 5: Elsevier B.V., 2006. Abstract  Download:  2006editorialSpecIssueJSS.pdf (241.7 KB)
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  Download: 2004RVBioInf.pdf (699.23 KB)
Ehrich, H. - D., and K. - D. Schewe(eds), "Proceedings QSIC 2004", QSIC 2004, Braunschweig, IEEE CS Press, 2004. Abstract
Lin, H., H. - D. Ehrich, and T. H. Tse(eds), "Special Issue QSIC 2003", Information and Software Technology, vol. 46, no. 15: Elsevier B.V., 2004. Abstract  Download: 2004EditorialSpecIssueIST.pdf (243.64 KB)
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  Download: 2004ObjAgFeatIntro.pdf (294.54 KB)
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  Download: 2003JUCS.pdf (167.55 KB)
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), Objects, Agents, and Features. Dagstuhl Seminar 13081 Report, , Schloss Dagstuhl, IBFI GmbH, 2003.  Download: 2003DagstuhlSeminar03081.pdf (97.64 KB)
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), Objects, Agents, and Features. Dagstuhl Seminar 13081 Report, , Schloss Dagstuhl, IBFI GmbH, 2003.  Download: 2003DagstuhlSeminar03081.pdf (97.64 KB)
2002
Ehrich, H. - D., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract  Download: 2002HandbAlgebra.pdf (528.49 KB)
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract  Download: 2002FMTOOLS.pdf (595.59 KB)
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. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J Cramer Verlag, pp. 69-72, 2001. Abstract  Download: 2001BWG.pdf (46.05 KB)
2000
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 Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract  Download: 2000ISA.pdf (112.72 KB)
Ehrich, H. - D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (Sonderheft "10 Jahre Simultan-Studiengänge"), pp. 46-47, 2000. Abstract  Download: 2000CWM.pdf (461.8 KB)
Ehrich, H. - D., U. Goltz, J. Meseguer, A. Pnueli, and (eds), Speci cation of Distributed Information Systems. Dagstuhl Seminar 00081 Report, , Schloss Dagstuhl, IBFI GmbH, 2000.  Download: 2000DagstuhlSemina00081.pdf (187.18 KB)
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract  Download: 2000Acta.pdf (174.2 KB)
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
1999
Ehrich, H. - D., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (Schwerpunktheft Informatik), pp. 16-19, 1999. Abstract  Download: 1999CWM.pdf (515.72 KB)
Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract  Download: 1999ObjSpec.pdf (243.61 KB)
1998
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  Download: 1998ECSD.pdf (255.81 KB)
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)
1997
Grau, A., M. Kowsari, and H. - D. Ehrich, "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
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  Download: 1997InfSysAtWork.pdf (846.73 KB)
Ehrich, H. - D., Y. Feng, D. Kung, and (eds), Object-Oriented Software Development, Dagstuhl Seminar Report 9715, , Schloss Dagstuhl, IBFI GmbH, 1997.  Download: 1997DagstuhlSemina9715.pdf (196.96 KB)
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  Download: 1997DenkerEhrich.pdf (548.39 KB)
1996
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, "A Case Study in Information System Design, The CATC System", FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996. Abstract