4716 search results - page 748 / 944 » Tangible functional programming |
JSS
2002
14 years 10 months ago
2002
Most software development errors are caused by incorrect or ambiguous requirement specifications gathered during the requirement elicitation and analysis phase. For the past decad...
81
Voted
IGPL
2008
14 years 10 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
118
Voted
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Web sites and web browsers have recently evolved into platforms on top of which entire applications are delivered dynamically, mostly as JavaScript source code. This delivery form...
114
Voted
RV
2010
Springer
14 years 9 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
126
click to vote
SOCO
2010
Springer
14 years 9 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...