15779 search results - page 2911 / 3156 » Change-oriented software engineering |
132
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
95
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Information foraging models have predicted the navigation paths of people browsing the web and (more recently) of programmers while debugging, but these models do not explicitly m...
112
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
102
Voted
EVOW
2010
Springer
15 years 7 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...