732 search results - page 36 / 147 » Automated Test Generation from Models Based on Functional So... |
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
JSS
2002
13 years 7 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
JWSR
2006
13 years 7 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
RE
1999
Springer
13 years 11 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
In this paper, we propose a novel unsupervised approach to query segmentation, an important task in Web search. We use a generative query model to recover a query's underlyin...