232 search results - page 2 / 47 » From Requirements Documents to System Models: A Tool for Int... |
ENTCS
2008
13 years 6 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
ACL
2006
13 years 7 months ago
2006
Obtaining high-quality machine translations is still a long way off. A postediting phase is required to improve the output of a machine translation system. An alternative is the s...
EMNLP
2004
13 years 7 months ago
2004
State-of-the-art machine translation techniques are still far from producing high quality translations. This drawback leads us to introduce an alternative approach to the translat...
JOT
2010
13 years 4 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
RE
2004
Springer
13 years 11 months ago
2004
Springer
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...