3387 search results - page 227 / 678 » Automating the Metamodeling Process |
152
click to vote
ECOOP
2004
Springer
15 years 12 months ago
2004
Springer
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
158
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
172
click to vote
UKCBR
1995
15 years 10 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
133
click to vote
LREC
2010
15 years 8 months ago
2010
WikiWoods is an ongoing initiative to provide rich syntacto-semantic annotations for English Wikipedia. We sketch an automated processing pipeline to extract relevant textual cont...
205
click to vote
SNPD
2003
15 years 7 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...