320 search results - page 36 / 64 » End-User Software Engineering Position Paper |
142
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
141
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
125
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
A grammar-based approach to tool development in re- and reverse engineering promises precise structure awareness, but it is problematic in two respects. Firstly, it is a considera...
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
TPTL and MTL are two classical timed extensions of LTL. In this paper, we positively answer a 15-year-old conjecture that TPTL is strictly more expressive than MTL. But we show tha...
156
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...