15783 search results - page 655 / 3157 » Evidence-Based Software Engineering |
198
click to vote
SCAM
2003
IEEE
16 years 21 days ago
2003
IEEE
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...
183
click to vote
JSW
2007
15 years 7 months ago
2007
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...
162
click to vote
WIKIS
2006
ACM
16 years 1 months ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
219
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
221
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...