414 search results - page 67 / 83 » Using Strongest Postconditions to Improve Software Quality |
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
Reliable methods to assess the costs and benefits of ontologies are an important instrument to demonstrate the tangible business value of semantic technologies within enterprises,...
IDEAL
2005
Springer
14 years 2 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
LREC
2010
13 years 10 months ago
2010
For some years now, the Nederlandse Taalunie (Dutch Language Union) has been active in promoting the development of human language technology (HLT) applications for users of Dutch...
BIOCOMP
2006
13 years 10 months ago
2006
In the past decades, many clustering algorithms have been proposed for the analysis of gene expression data, but little guidance is available to help choose among them. Given the ...
SOSYM
2010
13 years 7 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...