1613 search results - page 80 / 323 » Model-Driven Constraint Engineering |
149
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
128
Voted
AUIC
2006
IEEE
15 years 9 months ago
2006
IEEE
User interfaces as well as documents use tabular layout mechanisms. The HTML table construct and the GridBag layout in Java are typical examples. There are, however, shortcomings ...
153
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
124
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
125
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...