3255 search results - page 273 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
197
click to vote
CBSE
2004
Springer
16 years 1 days ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
141
click to vote
METRICS
2003
IEEE
15 years 12 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
141
click to vote
ISPW
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Organizations are increasingly moving to the global software development (GSD) model because of significant benefits that can accrue. However, GSD is fraught with difficu...
181
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
169
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...