2016 search results - page 95 / 404 » Tool Support for Ontology Engineering |
162
click to vote
ASE
2007
15 years 6 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
221
click to vote
ISCI
2011
15 years 1 months ago
2011
It is well known that software maintenance and evolution are expensive activities, both in terms of invested time and money. Reverse engineering activities support the obtainment ...
166
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
180
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
127
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
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 ...