7202 search results - page 1279 / 1441 » Software System Engineering: A Tutorial |
165
click to vote
PEPM
2007
ACM
16 years 13 days ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
140
click to vote
VMCAI
2007
Springer
16 years 13 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
151
click to vote
VMCAI
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
163
click to vote
KBSE
2006
IEEE
16 years 10 days ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
187
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...