Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2017Sicheres Identitätsmanagement im Internet
Jähnichen, Stefan; Weinhardt, Christof; Müller-Quade, Jörn; Huber, Matthias; Rödder, Nico; Karlin, David; Droof, Stephan; Der, Uwe; Doerr, Joerg; Heupts, Sebastian; Hübsch, Volker; Zahn, Thomas
Report
2012Automatische Kalibrierung von Multiprojektorsystemen
Klose, Stefan
: Jähnichen, Stefan (Hauptberichter)
Dissertation
2012Informatik - quo vadis?
Jähnichen, S.; Günther, O.
Journal Article
2009Kontextualisierte Visualisierung am wissensintensiven Arbeitsplatz
Godehardt, Eicke
: Fellner, Dieter W. (Referent); Jähnichen, Stefan (Referent)
Dissertation
2008Manifest: Strategische Bedeutung des Software Engineering für die Medizin
Glesner, S.; Jähnichen, S.; Paech, B.; Rumpe, B.; Wetter, T.; Winter, A.
Journal Article
2006A note on the Berlin Brain-Computer Interface
Jähnichen, S.; Curio, G.; Blankertz, B.; Müller, K.; Krauledat, M.; Dornhege, G.
Conference Paper
2006Simulation-based testing of embedded software in space applications
Montenegro, S.; Jähnichen, S.; Maibaum, O.
Conference Paper
2005GOOSE - A generic object-oriented search environment
Müller, H.; Jähnichen, S.
Conference Paper
2005Modeling constraint programs with software technology standards
Hoche, M.; Jähnichen, S.
Conference Paper
2003Advanced parallel processing technologies
: Zhou, X.; Jähnichen, S.; Xu, M.; Cao, J.
Conference Proceedings
2002Explanation of object orienting for computer languages
Jähnichen, S.; Herrmann, S.
Journal Article
2001The fourth International Workshop on Advanced Parallel Processing Technologies
: Jähnichen, S.; Zhou, X.
Conference Proceedings
19992nd German-Argentinian Workshop on Information Technology 1999. Proceedings
: Jähnichen, S.; Loiseau, I.
Conference Proceedings
1999Agenten-orientierte Konfiguration industrieller Produkte
John, U.; Jähnichen, S.
Conference Paper
1999Compiler construction. Proceedings
: Jähnichen, S.
Conference Proceedings
1999Conceptual Navigation in Virtual Reality Applications - ConVIRA
: Jähnichen, S.
Conference Proceedings
1999Inequities in the German research system
Jähnichen, S.; Müller, K.-R.
Journal Article
1999Komponentenbasierte Entwicklung einer verteilten Visualisierungsumgebung
Jähnichen, S.
Conference Paper
1999Rigorous analysis and design for software intensive systems
: Jähnichen, S.; Lemoine, M.; Maibaum, T.; Wirsing, M.
Report
1998'SCORE' - The Virtual Museum, Development of a CORBA Based, Object Oriented Museum Information Systems
Bokowski, B.; Groth, B.; Jähnichen, S.; Melster, R.
Conference Paper
1998Aspects of the compilation of nested parallel imperative languages
Pfannenstiel, W.; Dahm, M.; Chakravarty, M.; Jähnichen, S.; Keller, G.; Schröer, F.-W.; Simons, M.
Conference Paper
1998Online'98, Informationstechnik im Zeitalter des Internet: Herausforderungen und Trends, 16.-19, Februar 1998, Düsseldorf (Congressband VI)
Jähnichen, S.
Conference Proceedings
1998Softwaretechnik - Methodenlehre im Anwendungskontext
Jähnichen, S.
Journal Article
1998A Two-Layered Approach to Support Systematic Software Development
Heisel, M.; Jähnichen, S.
Conference Paper
1998VERMAIL Verfahren und Methoden zur wissensbasierten Entwicklung zuverlässinger Leitsysteme
Jähnichen, S.
Conference Paper
1998Ein verteiltes WEB-basiertes Framework
Bittner, M.; Jähnichen, S.; Serbedzija, N.B.
Conference Paper
1997The Architecture of the Smile/M Simulation Environment
Ernst, T.; Jähnichen, S.; Klose, M.
Conference Paper
1997Connectionist programming on an MIMD computer
Serbedzija, N.B.; Jähnichen, S.
Conference Paper
1997Enlarging the scope of vector-based computations: Extending Fortran 90 by nested data parallelism
Au, K.C.M.; Darlington, J.L.; Guo, Y.-K.; Jähnichen, S.; Köhler, M.; Keller, G.; Pfannenstiel, W.; Simons, M.
Conference Paper
1997Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme
Jähnichen, S.; Weber, M.
Journal Article
1997KORSO - Korrekte Software durch formale Methoden
Broy, M.; Jähnichen, S.
Journal Article
1997Logic for system engineering
: Jähnichen, S.; Loeckx, J.; Wirsing, M.
Conference Proceedings
1997Qualitätssicherung in objektorientierten Client/Server-Architekturen
Anlauff, M.; Jähnichen, S.
Book Article
1997Specification of software controlling a discrete-continuous environment
Friesen, V.; Jähnichen, S.; Weber, M.
Conference Paper
1997Südamerika - Kooperation mit Zukunft
Jähnichen, S.; Schmidt, B.
Journal Article
1996Repositorybasiertes Reengineering objektorientierter Systemengineering
Groth, B.; Jähnichen, S.; Schuster, S.
Conference Paper
1996Software und Softwaretechnik
Groth, B.; Jähnichen, S.; Koch, W.
Book Article
1995Einbettung mathematischer Techniken in den Systementwurf
Heisel, M.; Jähnichen, S.; Simons, M.; Weber, M.
Journal Article
1995Embedding mathematical techniques in system engineering
Heisel, M.; Jähnichen, S.; Simons, M.; Weber, M.
Conference Paper
1995Formalization of algebraic specification in the development language DEVA
Santen, T.; Kammüller, F.; Jähnichen, S.; Beyer, M.
Book Article
1995Konzepte der Entwicklung objektorientierter, verteilter Softwaresysteme - Ein Überblick
Groth, B.; Jähnichen, S.; Koch, W.
Conference Paper
1995KORSO
: Broy, M.; Jähnichen, S.
Book
1995Programming models for massively parallel computers 1995. Proceedings
: Giloi, W.K.; Jähnichen, S.; Shriver, B.
Conference Proceedings
1995Project integrating reference object library (PIROL): An object-oriented multiple-view SEE
Groth, B.; Jähnichen, S.; Koch, W.
Conference Paper
1995Software und Softwaretechnik
Groth, B.; Jähnichen, S.; Koch, W.
Conference Paper
1995Towards an architecture for simulation environments
Biersack, M.; Friesen, V.; Jähnichen, S.; Klose, M.; Simons, M.
Conference Paper
1994An experimental support system for formal mathematical reasoning
Anlauff, M.; Jähnichen, S.; Simons, M.
Conference Paper
1994Korrekte Software durch formale Methoden
Broy, M.; Jähnichen, S.
Report
1994Online '94. 17. Europäische Kongreßmesse für Technische Kommunikation. Congress-Bd.6: Innovative Softwaretechnologien: Neue Wege mit objektorientierten Methoden und Client/Server-Architekturen
: Jähnichen, S.
Conference Proceedings
1994Prinzipien und Strukturen obiektorientierter Systementwicklung: Eine Übersicht
Groth, B.; Jähnichen, S.; Koch, W.
Book Article
1993Das BMFT-Verbundprojekt 'Korrekte Software' (KORSO)
Broy, M.; Jähnichen, S.
Journal Article
1993Distributed programming for neural networks
Serbedzija, N.B.; Kock, G.; Jähnichen, S.
Conference Paper
1993Informatik in Berlin-Adlershof - Perspektiven für die Forschung
Jähnichen, S.
Journal Article
1992High-level real-time distributed programming
Serbedzija, N.B.; Jähnichen, S.
Conference Paper
1992Project KONKORDE for software quality
Jähnichen, S.
Journal Article
1992Teaching software engineering - experience from the past, needs for the future
Jähnichen, S.
Journal Article
1991Logical theory for program construction
: Finance, J.-P.; Jähnichen, S.; Loeckx, J.; Wirsing, M.
Conference Proceedings
1990LINDA meets functional programming
Lock, H.C.R.; Jähnichen, S.
Conference Paper
1990Seminar Spezifikationstechniken
: Jähnichen, S. (Hrsg.); Bieler, F. (Hrsg.); Burghardt, J. (Hrsg.)
Conference Proceedings
1990Stone - Ziele, Probleme, Lösungen
Jähnichen, S.; Koch, W.; Röhrich, J.; Timm, M.; Uhl, J.; Eckardt, D.
Journal Article
1990Supporting developments of high precision software: The DEVA environment
Jähnichen, S.; Anlauff, M.; Gabriel, R.; Weber, M.
Conference Paper
1990The ToolUse approach to integration
Gabriel, R.; Jähnichen, S.
Conference Paper
1990ToolUse: A uniform approach to formal program development
Gabriel, R.; Jähnichen, S.
Journal Article
1989Supporting formal program developments
Jähnichen, S.; Gabriel, R.; Weber, M.; Anlauff, M.
Report
1988The effective implementation of a flexible communication mechanism for distributed and parallel programming
Kordecki, C.; Jähnichen, S.
Conference Paper
1987DEVA. Current specifications and experiments
Cazin, J.; Groote, P. de; Hussain, F.A.; Jacquart, R.; Jähnichen, S.; Michel, P.; Nguyen, T.T.; Sintzoff, M.; Weber, M.
Report
1987Seminar Programmierumgebungen. Band 2
: Jähnichen, S.; Tichy, W.
Conference Proceedings
1986Esprit project ToolUse
Hussain, F.A.; Groote, P. de; Jacquart, R.; Jähnichen, S.; Nguyen, T.T.; Sintzoff, M.; Weber, M.
Report
1986Seminar Programmierumgebungen. Band 1
: Jähnichen, S.; Röhrich, J.
Conference Proceedings