Sciweavers

3883 search results - page 159 / 777
» Design mentoring based on design evolution analysis
Sort
View
AUIC
2005
IEEE
14 years 2 months ago
The Semiotics of User Interface Redesign
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...
Jennifer Ferreira, Pippin Barr, James Noble
ICSE
2011
IEEE-ACM
13 years 20 days ago
A lightweight code analysis and its role in evaluation of a dependability case
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,...
CC
2008
Springer
137views System Software» more  CC 2008»
13 years 11 months ago
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
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...
Francesco Logozzo, Manuel Fähndrich
JISE
2006
73views more  JISE 2006»
13 years 9 months ago
TeMeFr: Towards a Reuse-Based Development for Conference-Oriented Telemedicine Systems
formation driven paradigm that tends to fail in capturing suitable abstraction when developing conference-oriented telemedicine systems for assisting the proceeding of telemedicine...
Hewijin Christine Jiau, Jinghong Cox Chen, Kuo-Fen...
SIGSOFT
2005
ACM
14 years 10 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
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...