509 search results - page 36 / 102 » A Heterogeneous Approach to UML Semantics |
187
click to vote
CSMR
2010
IEEE
15 years 25 days ago
2010
IEEE
Abstract--Concept or feature identification, i.e., the identification of the source code fragments implementing a particular feature, is a crucial task during software understandin...
160
click to vote
ACMICEC
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
182
click to vote
FMICS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
181
click to vote
ACMICEC
2005
ACM
15 years 11 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
168
click to vote
MODELS
2007
Springer
16 years 18 hour ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...