2016 search results - page 145 / 404 » Tool Support for Ontology Engineering |
186
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In the Eclipse JDT, the Java reference resolution rules are applied as fully as possible, thereby either determining the unique target for a given reference or signalling that the...
241
click to vote
OOPSLA
2009
Springer
16 years 29 days ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
188
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
173
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
178
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...