1585 search results - page 187 / 317 » A framework for computer-aided validation |
148
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
146
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
142
Voted
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
115
click to vote
DAGM
2003
Springer
15 years 9 months ago
2003
Springer
This paper addresses the issue of optimal scale selection for circular edge extraction in the context of higher dimensional multiscale edge extraction. Based on a classification o...
136
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...