Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG
Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help     search: People Departments Other entries Lecture list Module Rooms Publications Research projects Internat. contacts Job offers Furniture and equipment offers Thesis offers      semester: WS 2024/2025 SS 2024 WS 2023/2024 SS 2023 WS 2022/2023 SS 2022 WS 2021/2022 SS 2021 WS 2020/2021 SS 2020 WS 2019/2020 SS 2019 WS 2018/2019 SS 2018 WS 2017/2018 SS 2017 WS 2016/2017 SS 2016 WS 2015/2016 SS 2015 WS 2014/2015 SS 2014 WS 2013/2014 SS 2013 WS 2012/2013 SS 2012 WS 2011/2012 SS 2011 WS 2010/2011 SS 2010 WS 2009/2010 SS 2009 WS 2008/2009 SS 2008 WS 2007/2008 SS 2007 WS 2006/2007 SS 2006 WS 2005/2006 SS 2005 WS 2004/2005 SS 2004 WS 2003/2004 SS 2003 WS 2002/2003 SS 2002 WS 2001/2002 SS 2001 WS 2000/2001 SS 2000 WS 1999/2000 SS 99 WS 98/99 SS 98 WS 97/98 SS 97 WS 96/97      Lectures     Staff/ Facilities     Room directory     Research- report     Publications     Internat. contacts     Thesis offers     Phone book
Layout   printable version      Also in UnivIS   course list lecture directory     events calendar job offers furniture and equipment offers	Departments >> Faculty of Engineering >> Department of Computer Science >> Chair of Computer Science 3 (Hardware Architectures) >> UML-basierte Modellierung und Entwurf von technologischen Prozessen Zielsetzung dieses Forschungsvorhabens ist, den Entwurfsprozess für eingebettete Industriesteuerungen mit modernen Softwareengineering-Methoden zu verknüpfen und deren Zuverlässigkeit durch eine automatische Analyse der Auswirkungen potenzieller Fehler im System zu verbessern. Project manager: Prof. a.D. Dr. Dr. h.c. Mario Dal Cin Project participants: Dipl.-Inf. Konstantinos Kosmidis, Dipl.-Inf. David Kreische Duration: 1.1.2000 - 31.12.2001 Sponsored by: Deutscher Akademischer Austauschdienst Mitwirkende Institutionen: TWU Budapest, Dept. of Measurement and Information Systems Publications Kosmidis, Konstantinos ; Huszerl, G.: UML Extensions for Quantitative Analysis. In: LMU-München, Insitut für Informatik (Ed.) : Workshop Proceedings LMU-München, Insitut für Informatik (Workshop Dynamic Behaviour in UML Models: Semantic Questions, UML 2000 York, UK 2.10. 2000). 2000, pp 70-75. Kosmidis, Konstantinos ; Sand, Matthias: Assurance Analysis by Scenario-based UML Modeling. In: - (Ed.) : Fast Abstracts Proc. High-Assurance System Engineering Symposium HASE 2001 (High-Assurance System Engineering Symposium HASE 2001 Boca Raton 22.-24.10.2001). 2001, pp -. Dal Cin, Mario ; Kosmidis, Konstantinos ; Ioannid, A.: Modeling Requirements for Dependable Systems with UML Statecharts. In: . (Ed.) : Fast Abstracts Proc. DSN-2001 The International Conference on Dependable Systems and Networks (DSN-2001 The International Conference on Dependable Systems and Networks Göteborg 01.-04.06.01). 2001, pp B112-113. UnivIS is a product of Config eG, Buckenhof