4061 search results - page 523 / 813 » Framework Evolution Tool |
157
click to vote
ECMDAFA
2007
Springer
16 years 24 days ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
193
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
173
click to vote
ESWA
2006
15 years 6 months ago
2006
The paper describes JavaDON, an open-source expert systems shell based on the OBOA framework for developing intelligent systems. The central idea of the JavaDON project was to mak...
185
click to vote
TOMS
1998
15 years 6 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
196
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...