2501 search results - page 8 / 501 » Obligations and Their Interaction with Programs |
WICSA
2001
13 years 8 months ago
2001
This paper presents an approach to defining component-based software architectures in which interfaces rather than components play the key role. Architectural descriptions are bui...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
JUCS
2008
13 years 7 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
MUM
2009
ACM
14 years 2 months ago
2009
ACM
Different kinds of computing environment effect human interaction in different kinds of ways and understanding how different environments ‘work’, as it were, is important to t...
CHI
2008
ACM
13 years 9 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...