Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Gärtner, Stefan; Ruhroth, Thomas; Bürger, Jens et al.
Maintaining Requirements for Long-Living Software Systems by Incorporating Security KnowledgeTony Gorschek; Robyn Lutz (Hrsg). Proceeding of the 2014 IEEE 22nd International Requirements Engineering Conference RE: August 25-29, 2014; Karlskrona, Sweden. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2014 S. 103 - 112
Bürger, Jens; Jürjens, Jan; Ruhroth, Thomas et al.
Model-based Security Engineering: Managed Co-Evolution of Security Knowledge and Software ModelsAlessandro Aldini; Javier Lopez; Fabio Martinelli (Hrsg). Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 34 - 53
Lochau, Malte; Peldszus, Sven; Kowal, Matthias et al.
Model-Based TestingMarco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer (Hrsg). Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 310 - 342
Jürjens, Jan
Security Certification in the Presence of Evolution: Models vs. Code (Keynote)International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014). 2014
Blanco, Carlos; Rosado, David G.; Sanchez, Luís Enrique et al.
Security in information systems: Advances and new challengesComputer Standards & Interfaces. Bd. 36. H. 4. Amsterdam: Elsevier 2014 S. 687 - 688
Rosado, David G.; Blanco, Carlos; Mellado, Daniel et al.
Security in Information Systems: Proceedings of the 11th International Workshop on Security in Information Systems WOSIS 2014; in conjunction with ICEIS 2014; Lisbon, Portugal; April 27-27, 2014Setúbal: SciTePress 2014
Wenzel, Sven; Poggenpohl, Daniel; Jürjens, Jan et al.
Specifying model changes with UMLchange to support security verification of potential evolutionComputer Standards & Interfaces. Bd. 36. H. 4. Amsterdam: Elsevier 2014 S. 776 - 791
Jürjens, Jan; Schneider, Kurt
The SecReq Approach: From Security Requirements to Secure Design while Managing Software EvolutionWilhelm Hasselbring; Nils Christian Ehmke (Hrsg). Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014 in Kiel, Deutschland. Bonn: Gesellschaft für Informatik 2014 S. 89 - 90
Ruhroth, Thomas; Gärtner, Stefan; Bürger, Jens et al.
Towards Adaptation and Evolution of Domain-specific Knowledge for Maintaining Secure SystemsAndreas Jedlitschka; Pasi Kuvaja; Marco Kuhrmann; Tomi Männistö; Jürgen Münch; Mikko Raatikainen (Hrsg). Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 239 - 253
Humberg, Thorsten; Wessel, Christian; Poggenpohl, Daniel et al.
Using Ontologies to Analyze Compliance Requirements of Cloud-Based ProcessesMarkus Helfert; Frédéric Desprez; Donald Ferguson; Frank Leymann (Hrsg). Cloud Computing and Services Science: Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 36 - 51