1613 search results - page 143 / 323 » Model-Driven Constraint Engineering |
99
Voted
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
124
click to vote
EUROMICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
142
Voted
AADEBUG
1997
Springer
15 years 8 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
119
Voted
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
We show how the formal description language LOTOS can be used to de ne software architectures and how patterns over LOTOS can serve to characterize architectural styles. We charact...
129
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...