| Startseite | Bücher | Lehrstuhl-Homepage |
Publikationen 1993
Ahrens, K.; Fischer, J.; Prinz, A.; Witazsek, D.: Eine Entwicklungsumgebung für SDL'92. In: König, H. (Hrsg.): "Formale Methoden für Verteilte Systeme". Fokus-Band 8, K.G.Saur-Verlag, München, 1993
Fischer, J.; Prinz, A.; Vogel, A.: Different FDT's confronted with different ODP-viewpoints of the Trader. In: J.C.P. Woodcock, P.G. Larsen (eds.): "FME'93: Industrial-Strength Formal Methods", Lecture Notes in Computer Science, Springer Verlag, Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest, 1993, S. 332-350
Ahrens, K.; Fischer,J.: Objektorientierte Programmierung und Next-Event-Simulation mit strongly typed Sprachen. In: H.Fuss, P.Schwarz (Hrsg.): "ASIM-Mitteilungen", Heft Nr.29, 1993
Fischer, J.; Wasowski, M.: Eine universelle C++ Bibliothek zur objektorientierten Modellierung und Simulation zeitdiskreter und kontinuierlicher Prozesse. In: A.Sydow (Hrsg.): Simulationstechnik (8. Symposium in Berlin), Fortschritte in der Simulationstechnik, Bd. 6, Friedr. Vieweg Verlag, Braunschweig Wiesbaden, 1993
Fischer, J.; Holz, E.; Melzer, C.: Verteilte Systemsimulation in mC++.In: A.Sydow (Hrsg.): Simulationstechnik (8. Symposium in Berlin), Fortschritte in der Simulationstechnik, Bd. 6, Friedr. Vieweg Verlag, Braunschweig Wiesbaden, 1993
Fischer, J.; Holz, E.; v.Löwis, M.; Witaszek, D.: A Run Time Library for the Simulation of SDL'92 Specifications. In: O.Faergemand, A. Sarma (Eds.): "SDL'93 Using Objects" (Proceedings of the 6th SDL FORUM), North Holland Amsterdam, London, New York, Tokyo, 1993
Fischer, J.; Schröder, R.: Combined Specification Using SDL and ASN.1. In: O.Faergemand, A. Sarma (Eds.): "SDL'93 Using Objects" (Proceedings of the 6th SDL FORUM), North Holland Amsterdam, London, New York, Tokyo, 1993
Ahrens, K.; Fischer, J.; Holz, E.; Prinz, A.; Witazsek, D.: Verification and Validation for SDL'92. In: COST 247 Preliminary Workshop Proceedings, Middle East Technical University, Ankara, 1993
Verilog, Humboldt University, Alcatel Bell Telephone, Intracom: INSYDE (INtegrated methods for evolving SYstem DEsign. ESPRIT III Project 8641, April 1993
Verilog, Humboldt University, Alcatel Bell Telephone, Intracom: INSYDE (INtegrated methods for evolving SYstem DEsign. ESPRIT III Project 8641. Technical Annex, September 1993
Fischer, J.; Holz, E.: Towards an Object-Oriented Technology for Specification and Implementation of Distributed Systems. In: R. Ege, M Singh, B. Meyer (Eds.): "TOOLS 11 (Technology of Object-Oriented Languages and Systems", Prentice Hall, Inc. 1993
Fischer, J; Vogel, A.: Towards a formal semantics of the ODP-Reference Model. International Conference on Open Distributed Processing, Workshop "Architectural Semantics" Berlin, 1993
Fischer, J.: An Environment for SDL'92. In: A. Sydow (Ed.): "Systems Analysis Modelling, Simulation", Gordon & Breach Science Publ., New York 1993, S.107-124
Ahrens, K.; Fischer, J.; Witazsek, D.:A Process Library for Simulation in C++. In: A. Sydow (Ed.): "Systems Analysis Modelling, Simulation", Gordon & Breach Science Publ., New York 1993, S.125-138
Fischer, J.; Holz, E.: Towards an Object-Oriented Technology for Specification and Implementation of Distributed Systems. In: A. Sydow (Ed.): "Systems Analysis Modelling, Simulation", Gordon & Breach Science Publ., New York 1993, S.89-106
| Seitenanfang |
Joachim Fischer, erstellt am 22-11-94
|