R. Kollmann is an author at University of Bremen specializing in formal methods, engineering, and program analysis.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringSystem SoftwareSystems Engineering
Publications per year
2002–2003
4
4
Metric-based selective representation of UML diagrams
R. Kollmann, Martin Gogolla · 2003 · 24 citations
Rows per page
1–4 of 4