1613 search results - page 80 / 323 » Model-Driven Constraint Engineering |
185
click to vote
SAC
2006
ACM
15 years 6 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...
160
click to vote
AUIC
2006
IEEE
16 years 7 days 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 ...
181
click to vote
ICSM
2005
IEEE
15 years 11 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...
154
click to vote
COMPSAC
2008
IEEE
16 years 19 days 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...
168
click to vote
APSEC
2005
IEEE
15 years 11 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...