1613 search results - page 98 / 323 » Model-Driven Constraint Engineering |
128
Voted
CGO
2004
IEEE
15 years 7 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
117
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
110
Voted
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
The software industry is increasingly confronted with the issues of understanding and maintaining a special type of object-oriented systems, namely enterprise applications. A spec...
139
Voted
ICCBSS
2005
Springer
15 years 9 months ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
103
Voted
CGO
2003
IEEE
15 years 8 months ago
2003
IEEE
Predicated execution enables the removal of branches wherein segments of branching code are converted into straight-line segments of conditional operations. An important, but gene...