Modern software applications require internationalization to be distributed to different regions of the world. In various situations, many software applications are not internatio...
Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu S...
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
Margaret M. Burnett, Curtis R. Cook, Omkar Pendse,...
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
In this paper a new Experimental and Explorative Research (EER) research strategy is proposed. It combines experimental software engineering with exploratory research of new techno...
Markku Oivo, Pasi Kuvaja, Petri Pulli, Jouni Simil...