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

Wenzel, Sven; Poggenpohl, Daniel; Jürjens, Jan et al.

UMLchange - Specifying Model Changes to Support Security Verification of Potential Evolution

Jens Knoop; Uwe Zdun (Hrsg). Software Engineering 2016: Fachtagung des GI-Fachbereichs Softwaretechnik; 23.-26. Februar 2016 Wien, Proceedings. Bonn: Gesellschaft für Informatik 2016 S. 91 - 92


Heinrich, Robert; Gärtner, Stefan; Hesse, Tom-Michael et al.

A Platform for Empirical Research on Information System Evolution

Marek Reformat; Haiping Xu; Kehan Gao; Shihong Huang (Hrsg). Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering SEKE 2015: Technical Program; July 6 – 8, 2015; Wyndham Pittsburgh University Center, Pittsburgh, USA. Pittsburgh: Knowledge Systems Institute 2015 S. 415 - 420


Peldszus, Sven; Kulcsár, Géza; Lochau, Malte

A Solution to the Java Refactoring Case Study using eMoflon

Louis M. Rose; Tassilo Horn; Filip Krikava (Hrsg). Proceedings of the 8th Transformation Tool Contest TTC 2015, a part of the Software Technologies: Applications and Foundations STAF 2015 federation of conferences L'Aquila, Italy, July 24, 2015. Aachen: CEUR/RWTH 2015 S. 118 - 122


Jürjens, Jan

Beyond One-Shot Security: Keeping Software Secure during Evolution

12. Jahrestreffen der GI-FG FFormale Methoden und Software Engineering für Sichere Systeme (FoMSESS). Bremen. 2015



Kulcsár, Géza; Peldszus, Sven; Lochau, Malte

Case Study: Object-oriented Refactoring of Java Programs using Graph Transformation

Louis M. Rose; Tassilo Horn; Filip Krikava (Hrsg). Proceedings of the 8th Transformation Tool Contest TTC 2015, a part of the Software Technologies: Applications and Foundations STAF 2015 federation of conferences L'Aquila, Italy, July 24, 2015. Aachen: CEUR/RWTH 2015 S. 53 - 82





Peldszus, Sven; Kulcsár, Géza; Lochau, Malte et al.

Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation

Ryan Stansifer; Andreas Krall (Hrsg). Proceedings of the 2015 International Conference on Principles and Practices of Programming on the Java platform PPPJ: Virtual Machines, Languages, and Tools; Melbourne, Florida; September 8 – 10, 2015. New York, NY: ACM Association for Computing Machinery 2015 S. 138 - 151