4895 search results - page 435 / 979 » Tools for Grammar Engineering |
190
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
198
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
155
click to vote
LREC
2008
15 years 8 months ago
2008
This paper discusses development and evaluation of a practical, valid and reliable instrument for evaluating the spoken language abilities of second-language (L2) learners of Engl...
192
click to vote
WSCG
2001
15 years 8 months ago
2001
In this paper we focus on a visualization tool for car crash simulations. By means of some examples we show how various data pre-processing features can facilitate the engineer�...
211
click to vote
INTERACT
1997
15 years 8 months ago
1997
The tutorial explains the benefits of measuring usability as part of a user-centred design process, and introduces the participants to the methodology for usability measurement dev...