Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan; Wagner, Stefan
Component-Based Development of Dependable Systems with UMLColin Atkinson; Christian Bunse; Hans-Gerhard Gross; Christian Peper (Hrsg). Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends. Berlin: Springer 2005 S. 320 - 344
Houmb, Siv Hilde; Georg, Geri; France, Robert B. et al.
Cost-Benefit Trade-Off Analysis using BBN for Aspect- Oriented Risk-Driven DevelopmentCarlo Ghezzi; Yuxi Fu; Shaoying Liu; Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 195 - 204
Houmb, S. H.; Jürjens, Jan; France, R.
Critical Systems Development Using Modeling Languages2005 (TU München Technical Report)
Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages (CSDUML’04): Current Development and Future Challenges (Report on the Third International Workshop)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. 76 - 84
Jürjens, Jan; Houmb, Siv Hilde
Dynamic Secure Aspect Modeling with UML: From Models to CodeLionel Briand; Clay Williams (Hrsg). Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings. Berlin: Springer 2005 S. 142 - 155
Jürjens, Jan
Formal Development of Critical Systems with UML: Methods and ToolsInternational Symposium on Formal Methods for Components and Objects (FMCO 2005). 2005
Fox, Jorge; Jürjens, Jan
Introducing Security Aspects with Model TransformationJerzy 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. 543 - 549
Jürjens, Jan; Lehrhuber, Markus; Wimmel, Guido
Model-Based Design and Analysis of Permission-Based SecurityCarlo Ghezzi; Yuxi Fu; Shaoying Liu; Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 224 - 233
Wagner, Stefan; Jürjens, Jan
Model-Based Identification of Fault-Prone ComponentsMario Dal Cin; Mohamed Kaâniche; András Pataricza (Hrsg). Dependable Computing - EDCC 5: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings. Berlin: Springer 2005 S. 435 - 452
Jürjens, Jan
Model-based Security Engineering with UMLAlessandro Aldini; Roberto Gorrieri; Fabio Martinelli (Hrsg). Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures. Berlin: Springer 2005 S. 42 - 77