We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
Franz Huber, Sascha Molterer, Andreas Rausch, Bern...
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
Jing Dong, Sheng Yang, Dushyant S. Lad, Yongtao Su...
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
David Parsons, Awais Rashid, Andreas Speck, Alexan...
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...