79 search results - page 12 / 16 » Lightweight validation of natural language requirements |
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
HYBRID
2010
Springer
14 years 15 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...