A framework for semi-automated co-evolution of security knowledge and system models
Bürger, Jens, Strüber, Daniel, Gärtner, Stefan, Ruhroth, Thomas, Jürjens, Jan, Schneider, Kurt
Published in The Journal of systems and software (01.05.2018)
Published in The Journal of systems and software (01.05.2018)
Get full text
Journal Article
ReL: A Generic Refactoring Language for Specification and Execution
Ruhroth, T., Wehrheim, H., Ziegert, S.
Published in 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (01.08.2011)
Published in 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (01.08.2011)
Get full text
Conference Proceeding
Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models
Ruhroth, T., Voigt, H., Wehrheim, H.
Published in 2009 35th Euromicro Conference on Software Engineering and Advanced Applications (01.08.2009)
Published in 2009 35th Euromicro Conference on Software Engineering and Advanced Applications (01.08.2009)
Get full text
Conference Proceeding
Static Class Elements for Object-Z
Ruhroth, Thomas, Wehrheim, Heike
Published in Electronic notes in theoretical computer science (31.12.2009)
Published in Electronic notes in theoretical computer science (31.12.2009)
Get full text
Journal Article
Restoring Security of Long-Living Systems by Co-evolution
Burger, Jens, Gartner, Stefan, Ruhroth, Thomas, Zweihoff, Johannes, Jurjens, Jan, Schneider, Kurt
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Published in 2015 IEEE 39th Annual Computer Software and Applications Conference (01.07.2015)
Get full text
Conference Proceeding
Journal Article
Maintaining requirements for long-living software systems by incorporating security knowledge
Gartner, Stefan, Ruhroth, Thomas, Burger, Jens, Schneider, Kurt, Jurjens, Jan
Published in 2014 IEEE 22nd International Requirements Engineering Conference (RE) (01.08.2014)
Published in 2014 IEEE 22nd International Requirements Engineering Conference (RE) (01.08.2014)
Get full text
Conference Proceeding
Modelchecking Correctness of Refactorings - Some Experiments
Estler, H.-Christian, Ruhroth, Thomas, Wehrheim, Heike
Published in Electronic notes in theoretical computer science (15.07.2007)
Published in Electronic notes in theoretical computer science (15.07.2007)
Get full text
Journal Article