Sciweavers

5664 search results - page 148 / 1133
» Creativity support tools
Sort
View
SEMCO
2008
IEEE
15 years 10 months ago
OPTIMA: Tool for Ontology Alignment with Application to Semantic Reconciliation of Sensor Metadata for Publication in SensorMap
We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...
Ravikanth Kolli, Prashant Doshi
113
Voted
OOPSLA
2005
Springer
15 years 9 months ago
CanonSketch and TaskSketch: innovative modeling tools for usage-centered design
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
Larry L. Constantine, Pedro Campos
112
Voted
ITICSE
2000
ACM
15 years 7 months ago
A suite of WWW-based tools for advanced course management
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...
Kurt Nørmark
103
Voted
KBSE
1997
IEEE
15 years 7 months ago
Distributed Cooperative Formal Methods Tools
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, ...
ECOOP
2007
Springer
15 years 7 months ago
Product Line Variability Refactoring Tool
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba...