direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Prof. Dr.-Ing. Stefan Jähnichen

Herausgabetätigkeiten für die Zeitschrift Informatik – Forschung und Entwicklung/Computer Science – Research and Development

1998 bis 2007 Hauptherausgeber der Zeitschrift Informatik - Forschung und Entwicklung (Springer Verlag) in Zusammenarbeit mit Herrn Prof. Härder.
Bisher erschienen: Band 13 (1–4), Band 14 (1–4), Band 15 (1–4), Band 16 (1–4), Band 17 (1–4), Band 18 (1–3), Band 19 (1–4), Band 20 (1–3), Band 21 (1–2).

Seit 2007 Mitglied im Editorial Board der Zeitschrift Informatik - Forschung und Entwicklung/Computer Science – Research and Development (Springer Verlag). Bisher erschienen: Band 22 (1–4), Band 23 (1–3), Band 24 (1–3), Band 25 (1–2), Band 26 (1–2), Band 27 (1–4)

Bücher und Buchkapitel
15
S. Jähnichen, A. Küpper, S. Albayrak (Hrsg) Software Engineering 2012. Fachtagung des GI-Fachbereichs Softwaretechnik. 27. Februar bis 2. März 2012, Berlin, Proceedings, LNI P-198, Springer, 2012.
14
X. Zhou, S. Jähnichen, M. Xu, and J. Cao (Eds.) Advanced Parallel Processing Technologies. 5th International Workshop APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings, LNCS, 2834, Springer-Verlag, 2003.
13
S. Jähnichen (Ed). Compiler Construction. LNCS 1575, Springer Verlag, 1999.
12
B. Groth, S. Jähnichen and W. Koch. Software und Softwaretechnik. In: R. Wilhelm (ed.). Informatik: Grundlagen - Anwendungen - Perspektiven. pp. 76-83, C.H. Beck Verlag, München, 1996.
11
M. Broy and S. Jähnichen (eds.). KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report. LCNS 1009, Springer-Verlag 1995
10
S. Jähnichen (ed.). ONLINE '94, 17th European Congress Fair for Technical Communications. Congress VI: Innovative Software Technologies: New Ways with Object-Oriented Methods and Client/Server Architectures. Velbert, 1994.
9
F. Bieler, J. Burghardt and S. Jähnichen (eds.). Seminar Spezifikationstechniken. GMD-Studie No. 176, Sankt Augustin, 1990.
8
M. Anlauff, R. Gabriel, S. Jähnichen, and M. Weber. Supporting Developments of High-Precision Software: The Deva Environment. In: H. Kersten (ed.), Sichere Software, Formale Spezifikation und Verifikation vertrauenswürdiger Systeme, pp. 204-218, Hüthig-Verlag, 1990.
7
S. Jähnichen and W. Tichy (eds.). Seminar Programmierumgebungen II. GMD-Studie No. 123, Sankt Augustin, 1987.
6
S. Jähnichen and J. Röhrich (eds.). Seminar Programmierumgebungen. GMD-Studie No. 112, Sankt Augustin, 1986
5
G. Hommel, S. Jähnichen, and C.H.A. Koster. Methodisches Programmieren. Walter de Gruyter Verlag, Berlin, 1983.
4
S. Jähnichen. 'Exception Handling' in sequentiellen Programmen. PhD thesis, Technische Universität Berlin, 1979
3
G. Hommel, J. Jäckel, S. Jähnichen, K. Kleine, W. Koch, and C.H.A. Koster. ELAN-Sprachbeschreibung. Akademische Verlagsgesellschaft, Wiesbaden, 1979.
2
G. Hommel, J. Jäckel, S. Jähnichen, K. Kleine, W. Koch, and C.H.A. Koster. ELAN-Sprachbeschreibung. Akademische Verlagsgesellschaft, Wiesbaden, 1979.
1
S. Jähnichen. Projektunterricht in Übersetzerbau. In: A. Melezinek (ed.), Lehrmethoden der Informatik, pp. 113-127, Johannes Heyn Verlag, Klagenfurt, 1976.

Nach oben

Begutachtete Artikel und Konferenzpapiere
57
S. Jähnichen, H. Schlingloff ESPRESS - Ingenieurmäßige Entwicklung sicherheitsrelevanter eingebetteter Systeme (1995-1998). In: Reuse, Vollmar (Hrsg.) Informatikforschung in Deutschland. Berlin Heidelberg New York: Springer, S. 226-236, 2008.
56
S. Jähnichen, K. Brieß, R. Burmeister Flying Sensors - Swarms in Space. In: Mahr, Huanye (Hrsg.) Autonomous Systems - Self Organization, Management, and Control. Heidelberg, New York: Springer, S. 71-77, 2008.
55
S. Jähnichen, K.-R. Müller, M. Krauledat, G. Dornhege, G. Curio, B. Blankertz  A note on the Berlin Brain-Computer Interface. In: Hommel, Huanye (Hrsg.) Human Interaction with Machines. Dordrecht, The Netherlands: Springer-Verlag, S. 51-60, 2006.
54
S. Jähnichen and S. Herrmann `Was, bitte, bedeutet Objektorientierung?' Informatik Spektrum , 25 (4) , 266-276, 2002.
53
S. Jähnichen and M. Fabiunke Komponentenbasierte Softwareentwicklung - Der KobrA Komponent Manager. ONLINE 2000, Congressband VI: Software-Offensive mit Java, Agenten, UML XML', Vol. VI of , Velbert: Online GmbH, 2000
52
A. Frery, B. Groth, S. Jähnichen, J. Kelner, B.D.S. Pessoa and V. Teichrieb. Organizing Web Sites with Architectural Metaphors. 3rd Multiconference on Systemics, Cybernetics and Informatics and 5th International Conference on Information Systems, Analysis and Synthesis, Florida, Ufpe, Recife, 1999.
51
A. Frery, B. Groth, S. Jähnichen, J. Kelner, T. Dudziak and V. Teichrieb. Conceptual Navigation in Virtual Reality Applications - ConVIRA. 5th German-Brazilian Workshop on Information Technology, Königswinter, 1999.
50
B. Bokowski, B. Groth, S. Jähnichen and R. Melster. "SCORE" - The Virtual Museum, Development of a CORBA Based, Object Oriented Museum Information System. Informationstechnik im Zeitalter des Internet: Herausforderungen und Trends. Symposium VI-1, ONLINE '99, ONLINE GmbH, Velbert, 1998.
49
M. Heisel and S. Jähnichen. A Two-Layered Approach to Support Systematic Software Development. In: Broy, M. (ed.):, "Requirements Targeting Software and Systems Engineering", LNCS 1526, Springer-Verlag, pp. 179-202, Abstract.
48
M. Bittner, S. Jähnichen and N.B. Serbedzija. Ein verteiltes WEB-basiertes Framework. In: S. Jähnichen (ed.):,Informationstechnik im Zeitalter des Internet: Herausforderungen und Trends. Symposium VI-1, ONLINE '98, ONLINE GmbH, Velbert, 1998.
47
S. Jähnichen et al.. Aspects of the Compilation of Nested Parallel Imperative Languages. Proceedings of the 3rd Working Conference on Massively Parallel Programming Models (MPPM '97), pp. 102-109, IEEE Computer Society, 1998
46
S. Jähnichen and N.B. Serbedzija. Connectionist Programming on an MIMID Computer. Proceedings Artificial Intelligence and Soft Computing, Banff, 1997.
45
T. Ernst, S. Jähnichen, M. Klose. The Architecture of the Smile/M Simulation Environment. Proceedings of the 15th IMACS World Conference on Scientific Computation, Modelling and Applied Mathematics, Volume 6: Application in Modelling and Simulation, pp. 653-658, Verlag Wissenschaft & Technik, Berlin, 1997.
44
M. Anlauff, S. Jähnichen. Qualitätssicherung in objektorientierten Client/Server-Architekturen. In: M. Nagl (ed.). Verteilte integrierte Anwendungsarchitekturen: Die Software-Welt im Umbruch. Symposium VI-3, ONLINE '97, pp. C630.01-C630.12, ONLINE GmbH, Velbert, 1997.
43
M. Broy, S. Jähnichen. KORSO - Korrekte Software durch formale Methoden. Zeitschrift Informatik Forschung und Entwicklung, Band 12 Heft 3 (8/1997) S. 157-160, 1997.
42
S. Jähnichen, M. Weber. Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme. Informationstechnik und Technische Informatik, Heft 3, pp. 7-14, Oldenbourg Verlag, 1997.
41
V. Friesen, S. Jähnichen, M. Weber. Specification of Software Controlling a Discrete-Continuous Environment. Proceedings of the 19th International Conference on Software Engineering, IEEE Computer Society, 1997.
40
K. Au, M. Chakravarty, J. Darlington, Y. Guo, S. Jähnichen, M. Kohler, G. Keller, W. Pfannenstiel, M. Simons. Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. In: W. Giloi (ed.). Proceedings of International Conference on Advances in Parallel and Distributed Computing (APDC-97), IEEE Computer Society, 1997.
39
B. Groth, S. Jähnichen, S. Schuster. Repositorybasiertes Reengineering objektorientierter Systeme. In: W. Wahlster (ed.). Fortschritte der Objektorientierten Softwaretechnologien. Symposium VI-3, ONLINE '96, ONLINE GmbH, Velbert, 1996
38
M. Biersack, V. Friesen, S. Jähnichen, M. Klose and M. Simons. Towards an Architecture for Simulation Environments. In: T.I. Oren, L.G. Birta (eds.). Proceedings of the Summer Computer Simulation Conference (SCSC'95), pp. 205-212, The Society for Computer Simulation, 1995.
37
M. Heisel, S. Jähnichen, M. Simons and M. Weber. Einbettung mathematischer Techniken in den Systementwurf. In: E.E. Doberkat, U. Kelter (eds.). Softwaretechnik-Trends, Band 15, Heft 3, pp. 98-106, Gesellschaft fur Informatik, Bonn, 1995.
36
B. Groth, S. Jähnichen and W. Koch. Konzepte der Entwicklung objektorien-tierter, verteilter Softwaresysteme - Ein Uberblick. In: F. H. Vogt (ed.). Objektorientierte Architekturen und Softwaretechnologiekonzepte im Client/Server-Umfeld. Symposium VI-4: Objektorientierte Softwareentwicklung und verteilte Systeme in der Praxis, ONLINE ?95, pp. C640.01-C640.11, ONLINE GmbH, Velbert, 1995.
35
M. Heisel, S. Jähnichen, M. Simons and M. Weber. Embedding Mathematical Techniques into System Engineering. In: M. Wirsing (ed.). Proceedings of the ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Seattle, April 24-25, pp. 53-60, ACM-Press, 1995.
34
B. Groth, S. Herrmann, S. Jähnichen and W. Koch. Project Integrating Reference Object Library (PIROL): An Object-Oriented Multiple-View SEE. In: M. S. Verrall (ed.). Proceedings of the 7th Conference on Software Engineering Environments (SEE '95), Noordwijkerrhout, April 5-7, ACM-Press, 1995.
33
M. Beyer, S. Jähnichen, F. Kammüller, and T. Santen. Formalization of Algebraic Specification in the Development Language DEVA. In: M. Broy, S. Jähnichen (eds.). KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report. LCNS 1009, Springer-Verlag, 1995.
32
M. Anlauff, S. Jähnichen and M. Simons. An Experimental Support System for Formal Mathematical Reasoning. In: M. Naftalin, T. Denvir, M. Bertran (eds.). FME 94: Industrial Benefit of Formal Methods. Proceedings of the Second International Symposium of Formal Methods Europe, LNCS 873, pp. 421-440, Springer-Verlag, 1994.
31
B. Groth, S. Jähnichen, and W. Koch. Prinzipien und Strukturen objektorientierter Systementwicklung: Eine Übersicht. In: S. Jähnichen (ed.). Innovative Softwaretechnologien: Neue Wege mit objektorientierten Methoden und Client/Server-Architekturen. Symposium VI-1: Objektorientierte Technologien auf dem Prüfstand der Praxis, 17. Europäische Congressmesse für Technische Kommunikation, pp. C610.01-C610.17, ONLINE GmbH, Velbert, 1994.
30
M. Broy, W. Bibel, S. Jähnichen, H.-J. Kreowski, J. Siekmann, and F. Vogt. Sicherheit, Zuverlässigkeit und Korrektheit von Software. Informatik-Spektrum 16(4), pp. 227-228, Springer-Verlag, 1993.
29
M. Broy and S. Jähnichen. Das BMFT-Verbundprojekt "Korrekte Software" (KORSO). Informatik Forschung und Entwicklung, 8(3), pp. 152-165, Springer-Verlag, 1993.
28
S. Jähnichen, G. Kock, and N.B. Serbedzija. Distributed Programming for Neural Networks. In: Proceedings of the Fourth Workshop on Future Trends of Distributed Systems, pp. 128-134, IEEE Computer Society Press, 1993.
27
S. Jähnichen and W. Koch. Mechanisierung von Software-Entwicklungs-Prozessen: Ansätze und Grenzen. In: M. Nagl (ed.), Software- und Information-Engineering. 16. Europäische Congressmesse für Technische Kommunikation, pp. C620.01-C620.16, ONLINE GmbH, Velbert, 1993.
26
S. Jähnichen and H.G. Mayer. The Data-Parallel Ada Run-Time System, Simulation and Empirical Results. In: IPPS `93 Proceedings, IEEE Computer Society Press, 1993.
25
S. Jähnichen and N.B. Serbedzija. High-Level Real-Time Distributed Programming. In: Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems, pp. 72-78, IEEE Computer Society Press, 1992.
24
R. Gabriel and S. Jähnichen. Graphical Representations and Software Engineering. In: Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems, pp. 234-239, IEEE Computer Society Press, 1992
23
M. Besser, R. Gabriel, and S. Jähnichen. A Generator of Hybrid User Interfaces. In: M. Baray and B. Özgüc (eds.). Computer and Information Sciences VI, pp. 1205-1214, Elsevier, 1991.
22
S. Jähnichen. Informatik Spitzenforschung an der GMD-Forschungsstelle für Programmstrukturen. GMD-Spiegel 2/91, pp. 66-73, Sankt Augustin, 1991.
21
S. Jähnichen. Teaching Software Engineering - Experience from the Past, Needs for the Future. In: Proceedings of the IFIP Working Conference on Teaching Informatics at University Level, Education in Computing, 1991.
20
S. Jähnichen, and H.C.R. Lock. LINDA meets Functional Programming. In: Proceedings of the 2nd IEEE Workshop on Future Trends of Distributed Computing Systems, 1990.
19
R. Gabriel and S. Jähnichen. ToolUse: A Uniform Approach to Formal Program Development. Technique et Science Informatiques, 9(2), pp. 166-174, AFCET-Bordas, 1990.
18
R. Gabriel, S. Jähnichen, and M. Weber. Formal Program Developments: A Language and its Support System. Technical report, ESPRIT Technical Week, Brussels, December 1989.
17
R. Gabriel and S. Jähnichen. The ToolUse Approach to Integration. In: Proceedings of the International Workshop on Environments. LNCS 467, pp. 167-178, Springer-Verlag , September 1989.
16
S. Jähnichen and C. Kordecki. The Effective Implementation of a Flexible Communication Mechanism for Distributed and Parallel Programming. In: Proceedings of the IEEE Workshop on the Future Trends of Distributed Computing System in the 1990's, 1988.
15
A. Hussain, S. Jähnichen, and M. Weber. Program Development Using a Design Calculus. In: Proceedings ESPRIT Technical Week, 1986.
14
A. Hussain, S. Jähnichen, and M. Weber. Program Development by Transformation and Refinement. In: Proceedings of the International Workshop on 'Advanced Programming Environments', LNCS 244, Springer-Verlag, 1987.
13
S. Jähnichen and C. Kordecki. Object-Oriented Synchronization in Distributed Multi-Processor Systems. NTG-Fachberichte, 1986.
12
G. Goos and S. Jähnichen. Towards an Alternative Model for Software Developments. In: Proceedings of the International Workshop on "Programming Process Models", 1985.
11
S. Jähnichen, K. Kleine and G. Persch. Aspekte der Konstruktion robuster Software. In: Belli et al. (eds.). Informatik-Fachberichte Nr. 83, Springer-Verlag, 1984.
10
S. Jähnichen, W. Koch, and G. Schürmann. Software Engineering und Lehrerbildung im Fach Informatik. login, Vol. 2 (3. Jhrg.), pp. 25-29, Oldenburg-Verlag, 1983.
9
S. Jähnichen and W. Koch. ELAN: Ziele und Konzepte bei der Entwicklung einer Sprache für die Ausbildung. login, Vol. 1, Oldenburg-Verlag, 1981.
8
R. Hahn, S. Jähnichen, K. Kleine, and W. Koch. Unterstützung systematischer Programmentwicklung durch geeignete Programmiersprachen. In: A. Melezinek (ed.). Ingenieurpädagogik - Perspektiven für die 80er Jahre, pp. 187-192, Leuchtturm-Verlag, Alsbach, 1981.
7
G. Hommel, S. Jähnichen, K. Kleine, and W. Koch. Program Construction with Abstract Notions in ELAN. In: Proceedings of the 3rd World Conference on Computers in Education, pp. 43-48, North Holland, 1981.
6
S. Jähnichen. ELAN - eine Sprache für die Ausbildung. GMD Workshop: Software-Erstellung für Mikroprozessoren. GMD-Studie No. 52, 1980.
5
G. Hommel, S. Jähnichen, and W. Koch. Konzepte der Schulsprache ELAN. Neue Unterrichtspraxis, 11. Jahrgang (Heft 6), Schroedel Verlag, Hannover, 1978.
4
J. Jäckel and S. Jähnichen. Einsatz der Programmiersprache ELAN in der Informatik-Grundausbildung - ein Erfahrungsbericht. In: 8. GI-Jahrestagung, Berlin, 1978.
3
R. Hahn and S. Jähnichen. Systematisches Programmieren mit ELAN. Vortrag auf der WASCO Tagung, München, 1977.
2
S. Jähnichen. A Practical Course on Compiler Construction. In: Proceedings of the 2nd Hungarian Computer Science Conference, Budapest, 1977.
1
G. Hommel, S. Jähnichen, and W. Koch. SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung. In: Informatik-Fachberichte Nr. 1 zur 4. GI-Fachtagung Programmiersprachen, Springer-Verlag, 1976.

Nach oben

Technische Berichte und  Papiere ohne Begutachtung
S. Jähnichen Stefan Formen Agilen Programmierens. In: Redeker, Hoppen (Hrsg.) DGRI Jahrbuch 2011. 21. Köln: Dr. Otto Schmidt, S. 119-125, 2012.
19
S. Jähnichen, J. Loeckx, D. Smith, M. Wirsing (eds.). Logic for System Engineering. Dagstuhl-Seminar-Report; 171 (9710), Schloß Dagstuhl, 1997.
18
J.-P. Finance, S. Jähnichen, J. Loeckx, D. Smith, M. Wirsing (eds.). Logical Theory of Program Construction. Dagstuhl-Seminar-Report; 84 (9410), IBFI GmbH, Schloss Dagstuhl, 1994.
17
S. Jähnichen. Informatik in Berlin-Adlershof: Perspektiven für die Forschung. GMD-Spiegel 1'93, pp. 46-49, Sankt Augustin, 1993.
16
M. Broy and S. Jähnichen. Korrekte Software durch formale Methoden. Interner Bericht des BMFT Verbundprojektes KORSO, 1993.
15
J.P. Finance, S. Jähnichen, J. Loeckx, and M. Wirsing (eds.). Logical Theory for Program Construction. Dagstuhl-Semiar-Report 7, Schloss Dagstuhl, 1991.
14
S. Jähnichen and M. Timm. Auf Software muß Verlass sein. GMD-Spiegel 2/3-89, pp. 30-45, Sankt Augustin, 1989.
13
M. Anlauff, R. Gabriel, S. Jähnichen, and M. Weber. Supporting Formal Program Developments: The DEVA Environment. Technical Report TR-89-053, International Computer Science Institute, Berkeley, 1989.
12
S. Jähnichen et al. DEVA: Current Specifications and Experiments. Arbeitspapiere der GMD, No. 260, Sankt Augustin, 1987.
11
S. Jähnichen. Linguistic Support in Software Engineering and Programming. In: Proceedings of German-Chinese Electronics Week, Berlin, Part 4: Data Processing, VDE Verlag, 1987.
10
S. Jähnichen et al. Esprit Project ToolUse - Requirements and Feasibility Studies for a Development Language. Arbeitspapiere der GMD, No. 214, Sankt Augustin, 1986.
9
G. Goos, P. Heyderhoff, and S. Jähnichen. ESPRIT: Erste Technische Woche. GMD-Spiegel 3/4-84, pp. 57-62, Sankt Augustin, 1984.
8
S. Jähnichen. Methoden zur Spezifikation und Implementierung von Ausnahmesituationen in nebenläufigen Programmen. Abschlußbericht zum DFG Stipendium Ja 379/1-1, Bonn, 1983.
7
S. Jähnichen (et al.). Unterrichtsplanung für einen Informatik-Grundkurs IN-1 an Berliner Schulen. Berlin, 1979. (Wurde fortgeführt als Vorschlag für die Neugestaltung der Curricula Informatik für Berliner Schulen im Auftrage des Senators für Schulwesen.)
6
M. Bittner, S. Jähnichen, W. Jahn, and J. Wahl. ELAN Beispielsammlung. Technical report, Forschungsprojekt Schulsprache, Technische Universität Berlin, 1979; 1. Überarbeitung 1982.
5
R. Hahn and S. JähnichenSystematische Programmentwicklung mit geeigneten Programmiersprachen am Beispiel von ELAN. Technical report, Technische Universität Berlin, 1977.
4
G. Hommel, S. Jähnichen, and W. Koch. ELAN - Eine neue Programmiersprache für den Informatik-Unterricht. Technical report, Technische Universität Berlin, 1976.
3
G. Hommel, S. Jähnichen, K. Kleine, and W. Koch. Beschreibung der Schulsprache ELAN. Technical report, FEoLLGmbH, Paderborn, 1976.
2
S. Jähnichen. Ein Vorschlag für eine Schulsprache. Technical report, FEoLL GmbH, Paderborn, 1975.
1
R. Hahn, G. Hommel, S. Jähnichen, and K. Rebensburg. Using the CDL Compiler-Construction to Construct an ALGOL60 Compiler. Vortrag auf dem Workshop on CDL and Affix Grammars, 1974.

Nach oben

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe