Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Softwaretechnik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2722
  • 0261/287-2721
Publikationen
Ergebnisse pro Seite:  10

Jürjens, Jan

Model-based Security Engineering with UML

Aldini, A.; , ; Martinelli, F. (Hrsg). Foundations of Security Analysis and Desing III: FOSAD 2004/2005 Tutorial Lectures. 2005 S. 42 - 77 (Lecture Notes in Computer Science)


Botaschanjan, Jewgenij; Jürjens, Jan

MoDll: Modeling and Analyzing Time-Constraints

Jerzy Rozenblit; Tim O’Neill; Jianfeng Peng (Hrsg). Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems ECBS 2005: 4-7 April 2005; Greenbelt, Maryland. Los Alamitos, CA: IEEE Computer Society 2005 S. 299 - 306


Jürjens, Jan

Return on Security Investment - Tutorial

Infotage. Starnberger See. 2005


Jürjens, Jan

Secure Systems Development with UML

Berlin: Springer 2005



Jürjens, Jan

Sound Methods and Effective Tools for Model-based Security Engineering with UML

Gruia-Catalin Roman; William Griswold; Bashar Nuseibeh (Hrsg). Proceedings of the 27th International Conference on Software Engineering ICSE 2005: May 15. - 21., 2005; St. Louis; MO, USA. New York, NY: ACM Association for Computing Machinery 2005 S. 322 - 331


Jürjens, Jan

Testing Critical and Embedded Systems: Tutorial

6th International Conference on Software Testing (ICSTEST 2005), April 6--8, 2005, Düsseldorf, German, Tutorial. 2005


Jürjens, Jan

Tool-support for Model-Driven Development of Security- Critical Systems with UML

Sami Beydeda;Matthias Book;Volker Gruhn (Hrsg). Model-Driven Software Development. Berlin: Springer 2005 S. 35 - 55


Jürjens, Jan; Shabalin, Pasha

Tools for Critical Systems Development with UML (Tool Demo)

Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Toval Ambrosio (Hrsg). UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Berlin: Springer 2005 S. 250 - 253


Jürjens, Jan; Shabalin, Pasha

Tools for Secure Systems Development with UML: Security Analysis with ATPs

Maura Cerioli (Hrsg). Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Berlin: Springer 2005 S. 305 - 309