10458 search results - page 15 / 2092 » Modeling Features at Runtime |
OOPSLA
2004
Springer
14 years 4 months ago
2004
Springer
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...
SCOPES
2007
Springer
14 years 5 months ago
2007
Springer
EWSA
2004
Springer
14 years 4 months ago
2004
Springer
CP
2006
Springer
14 years 2 months ago
2006
Springer
FM
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...