2302 search results - page 125 / 461 » Basic Description Logics |
149
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
It is now generally accepted that separating software architecture into multiple views can help in reducing complexity and in making sound decisions about design trade-offs. Our f...
112
click to vote
DEXAW
1997
IEEE
15 years 8 months ago
1997
IEEE
In order to solve the wear problem in terms of quality there is need for a experienced expert with a lengthy practice. Such valuable persons in practice are regularly missing and ...
169
click to vote
INLG
2010
Springer
15 years 2 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
150
click to vote
IJAC
2010
15 years 1 months ago
2010
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
131
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...