8109 search results - page 71 / 1622 » A Model of Component-Based Programming |
128
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
UM
2005
Springer
15 years 8 months ago
2005
Springer
109
click to vote
SOCO
2005
Springer
15 years 8 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
82
Voted
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...