Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan
Developing Security-Critical Distributed Systems with UML: Methods and Tools: A Half-day tutorial6th International Conference on Formal Methods for Open Object-based Distributed Systems. Paris (France): IFIP 2003
Jürjens, Jan; Houmb, Siv Hilde
Development of Safety-Critical Systems and Model- Based Risk Analysis with UMLRogério de Lemos;Taisy Silva Weber;João Batista CamargoJr. (Hrsg). Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings. Berlin: Springer 2003 S. 364 - 365 (Lecture Notes in Computer Science)
Jürjens, Jan; Hilde Houmb, Siv
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML.LADC. 2003 S. 364 - 365
Jürjens, Jan
Formal Development of Critical Systems with UML: Methods and Tools: A Half-day tutorialFM 2003 -- 12th International Formal Methods Europe Symposium. Pisa, Italy. 2003
Jürjens, Jan
Half-day tutorial - Developing Critical Information Systems with UML: Concepts and Tool-support, ; , ; , (Hrsg). 2nd International Conference on Information System Technology and its Applications (ISTA 2003). Kharkiv: GI 2003 (LNI)
Jürjens, Jan
IT-Security and Risk-Analysis for Business ProcessesInfotage. Starnberger See. 2003
Jürjens, Jan
IT-Sicherheits- und Risikoanalyse von Geschäftsprozessen - TutorialInfotage. Starnberger See. 2003
Breu, Ruth; Burger, Klaus; Hafner, Michael et al.
Key Issues of a Formally Based Process Model for Security EngineeringSixteenth International Conference Software & Systems Engineering & their Applications. Paris. 2003 S. 1 - 15
Jürjens, Jan
Methoden der Entwicklung sicherer Systeme - Half-day tutorialGI Teiltagung Sicherheit- Schutz und Zuverlässigkeit. Frankfurt. 2003
Kuhn, Thomas A.; Jürjens, Jan
Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorialInternational Conference WWW/Internet 2003. 2003