This paper explores the nature of software and software development, discusses the importance of specialization in software development, and infers that separation of design and i...
We present an overview of the VL approach to promote research and education in developing countries and to help reduce the technology gap of the digital divide. We discuss softwar...
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
Matthijs Pontier, Ghazanfar F. Siddiqui, Johan F. ...
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...