1836 search results - page 68 / 368 » Hierarchies for semantic classes |
152
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
200
click to vote
RIAO
2004
15 years 7 months ago
2004
This paper introduces a new approach to provide users with solutions to explore a domain via an information space. A key point in our approach is that information searching and ex...
159
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
136
click to vote
APSEC
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
149
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...