Service orientation is one of the solutions for achieving agile enterprises, that helps make an alignment between business and information technology. By the influx of service ori...
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Software development organizations wanting to introduce usability practices into their defined software process have to undertake laborious efforts for that purpose, since, for the...
This paper argues for a model-driven framework for integrating human interface engineering with software engineering. The usage-centered design process, a robust and proven proces...