1613 search results - page 162 / 323 » Model-Driven Constraint Engineering |
136
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
118
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
149
click to vote
COMPUTER
2007
15 years 3 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
118
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
137
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Relevance Feedback is an important way to enhance retrieval quality by integrating relevance information provided by a user. In XML retrieval, feedback engines usually generate an ...