24 citations · 120 across the 25 of their papers we have counts for
Showing 2015 · cs.SEShow all
2 papers · 2 filters
cs.SE2015★ 6 cited
An Example for BeSpaceD and its Use for Decision Support in Industrial Automation
Jan Olaf Blech
We describe our formal methods-based spatial reasoning framework BeSpaceD and its application in decision support for industrial automation. In particular we are supporting analysi…
cs.SE2015
Analysis of Software Binaries for Reengineering-Driven Product Line ArchitectureâAn Industrial Case Study
Ian D. Peake, Jan Olaf Blech, Lasith Fernando +3
This paper describes a method for the recovering of software architectures from a set of similar (but unrelated) software products in binary form. One intention is to drive refacto…