2493 search results - page 167 / 499 » Tool Support for Design by Contract |
148
click to vote
ICSM
2008
IEEE
16 years 27 days ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
184
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
189
click to vote
AVI
2010
15 years 8 months ago
2010
The paper proposes an approach to EUD focusing on communities: on the one hand, users are considered as a community of cooperating actors; on the other hand, applications and devi...
172
click to vote
LREC
2010
15 years 8 months ago
2010
Corpora of sentences annotated with grammatical information have been deployed by extending the basic lexical and morphological data with increasingly complex information, such as...
163
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
- microRNAs (miRNAs) are 20-22 nt noncoding RNAs which are rapidly emerging as crucial regulators of gene expression in plants and animals. Identification of the hairpins which yie...