120 search results - page 15 / 24 » icse 2003 |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Software systems development happens within a context which organizational processes are wellestablished. Hence, software needs to be built with flexible architectures based in so...
ICSE
2003
IEEE-ACM
2003
IEEE-ACM
A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure
15 years 9 months ago
Ubiquitous context-aware computing systems present several challenges in their construction. Principal among them is the tradeoff between easily providing new contextaware service...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Collections of already developed programs are important resources for efficient development of reliable software systems. In this paper, we propose a novel method of ranking softw...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
This paper presents an approach for improving final software system usability by designing for usability, in particular by addressing usability issues in the software architecture...