2527 search results - page 278 / 506 » A UML-Based Approach to System Testing |
121
click to vote
ITS
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
120
click to vote
CC
2006
Springer
15 years 8 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
151
click to vote
AAAI
1990
15 years 5 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
159
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
144
click to vote
ACL
2009
15 years 2 months ago
2009
An efficient decoding algorithm is a crucial element of any statistical machine translation system. Some researchers have noted certain similarities between SMT decoding and the f...