3032 search results - page 433 / 607 » Description Logic Rules |
UML
2001
Springer
15 years 5 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
90
Voted
AGTIVE
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
144
click to vote
WIFT
1998
IEEE
15 years 5 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
110
click to vote
CIKM
1998
Springer
15 years 5 months ago
1998
Springer
We present a new approach to extracting information from unstructured documents based on an application ontology that describes a domain of interest. Starting with such an ontolog...
APSEC
1996
IEEE
15 years 4 months ago
1996
IEEE
Nowadays, for GUI application development, a number of interface builders make possible for the user to create user interfaces easily and UIMSs help to specify and design user int...