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

Houmb, Siv Hilde; Georg, Geri; France, Robert B. et al.

Cost-Benefit Trade-Off Analysis using BBN for Aspect- Oriented Risk-Driven Development

Carlo 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


Hilde Houmb, Siv; Georg, Geri; B. France, Robert et al.

Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development.

ICECCS. 2005 S. 195 - 204


Houmb, S. H.; Jürjens, Jan; France, R.

Critical Systems Development Using Modeling Languages

2005 (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 (Lecture Notes in Computer Science)


Jürjens, Jan; Houmb, Siv Hilde

Dynamic Secure Aspect Modeling with UML: From Models to Code

Lionel 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 (Lecture Notes in Computer Science)


Jürjens, Jan; Hilde Houmb, Siv

Dynamic Secure Aspect Modeling with UML: From Models to Code.

MoDELS. 2005 S. 142 - 155


Jürjens, Jan

Formal Development of Critical Systems with UML: Methods and Tools

International Symposium on Formal Methods for Components and Objects (FMCO 2005). 2005


Fox, Jorge; Jürjens, Jan

Introducing Security Aspects with Model Transformation

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. 543 - 549


Fox, Jorge; Jürjens, Jan

Introducing Security Aspects with Model Transformations.

ECBS. 2005 S. 543 - 549


Botaschanjan, Jewgenij; Jürjens, Jan

MoDeII: Modeling and Analyzing Time-Constraints.

ECBS. 2005 S. 299 - 306