User interface design is still more of an art than a science. Interface design and redesign is mostly based on empirical studies or prototypes but there is still surprisingly litt...
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
formation driven paradigm that tends to fail in capturing suitable abstraction when developing conference-oriented telemedicine systems for assisting the proceeding of telemedicine...
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...