2016 search results - page 176 / 404 » Tool Support for Ontology Engineering |
153
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
160
click to vote
CSMR
1998
IEEE
15 years 10 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
155
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
136
click to vote
COMSIS
2004
15 years 6 months ago
2004
This paper describes architecture, design, and implementation of Multitutor, a Web-based environment for the development the elearning courses and for the use of them by the studen...
193
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...