Sciweavers

2016 search results - page 193 / 404
» Tool Support for Ontology Engineering
Sort
View
VISSOFT
2005
IEEE
16 years 2 days ago
SAB - The Software Architecture Browser
SAB is a tool for automatic generation of class diagrams from Java code. In addition to hierarchical layout, it features a wealth of user interaction facilities for dealing with c...
Nils Erben, Klaus-Peter Löhr
SEFM
2003
IEEE
15 years 11 months ago
Architecting Specifications for Test Case Generation
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
Richard O. Sinnott
AVI
2008
15 years 8 months ago
Interactive visual interfaces for evacuation planning
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
Gennady L. Andrienko, Natalia V. Andrienko, Ulrich...
RE
2002
Springer
15 years 6 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
SEMWEB
2010
Springer
15 years 4 months ago
Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System
OWL 2 RL was standardized as a less expressive but scalable subset of OWL 2 that allows a forward-chaining implementation. However, building an enterprise-scale forward-chaining ba...
Vladimir Kolovski, Zhe Wu, George Eadon