|
Search the dblp DataBase
Thomas Ruhroth:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thomas Ruhroth, Heike Wehrheim
Refactoring Object-Oriented Specifications with Data and Processes. [Citation Graph (0, 0)][DBLP] FMOODS, 2007, pp:236-251 [Conf]
- H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim
Modelchecking Correctness of Refactorings - Some Experiments. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:3-17 [Journal]
A Quality Circle Tool for Software Models. [Citation Graph (, )][DBLP]
Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models. [Citation Graph (, )][DBLP]
Refinement-Preserving Co-evolution. [Citation Graph (, )][DBLP]
Static Class Elements for Object-Z. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|