96 search results - page 10 / 20 » The role of secondary attributes in formal object modelling |
IEEECIT
2006
IEEE
15 years 5 months ago
2006
IEEE
Dance is the real cultural wealth of any nation and dance media is the source for learning the dance steps by the present and future generation of students. Dance videos exhibit r...
116
click to vote
ICMLA
2009
14 years 9 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
FASE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
ER
2007
Springer
15 years 5 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,...