2748 search results - page 36 / 550 » Generating Object-Z Specifications from Use Cases |
VL
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we present a system that helps users test their spreadsheets using automatically generated test cases. The system generates the test cases by backward propagation an...
NAACL
2007
13 years 10 months ago
2007
We study the use of rich syntax-based statistical models for generating grammatical case for the purpose of machine translation from a language which does not indicate case explic...
ECIS
2004
13 years 10 months ago
2004
Speed and availability of information, delivered in past years by Internet technologies, made it easier for any company to outsource primary activities, which resulted in unbundli...
ICASSP
2011
IEEE
13 years 10 days ago
2011
IEEE
Enriching a pronunciation dictionary with phonological variation is a challenging task, not yet solved despite several decades of research, in particular for speech-to-text transc...
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...