2700 search results - page 505 / 540 » The role of abstraction in software engineering |
134
click to vote
FSTTCS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
171
click to vote
FSTTCS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This paper proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton’s iterated fixed point algorithm with...
166
click to vote
REFSQ
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
164
click to vote
SOCO
2007
Springer
16 years 6 days ago
2007
Springer
Aspects require access to the join point context in order to select and adapt join points. For this purpose, current aspect-oriented systems offer a large number of pointcut constr...
150
click to vote
SOCO
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...