— Intense efforts to define a common structure in robotic applications, both from a conceptual and from an implementation point of view, have been carried out in the last years ...
Daniele Calisi, Andrea Censi, Luca Iocchi, Daniele...
In spite of the overwhelming success of Free/Open Source Software (F/OSS) like Apache and GNU/Linux, there is a limited understanding of the processes and methodologies that speci...
Do software engineering students need interdisciplinary skills? Do students learn different things from an interdisciplinary project work than from software development projects? ...
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanc...