Robots for elderly have drawn a great deal of attention as it is a controversial topic being pushed forward by the fact that there will be a dramatic increase of elderly in most we...
The paper gives an overview about the activities in research and development at the University of Applied Sciences Zittau/Görlitz and the IPM-Institute in the field of Soft Compu...
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...