509 search results - page 36 / 102 » A Heterogeneous Approach to UML Semantics |
155
Voted
CSMR
2010
IEEE
14 years 10 months 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...
137
Voted
ACMICEC
2008
ACM
15 years 5 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...
157
click to vote
FMICS
2007
Springer
15 years 10 months 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...
149
click to vote
ACMICEC
2005
ACM
15 years 9 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...
133
click to vote
MODELS
2007
Springer
15 years 9 months 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...