1613 search results - page 228 / 323 » Model-Driven Constraint Engineering |
132
click to vote
EDBTW
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we aim to develop a framework for continuous query processing in spatio-temporal databases. The proposed framework distinguishes itself from other query processors b...
112
click to vote
AGILEDC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper documents a successful implementation of agile at a major telecommunications firm. Critical aspects to mention about this particular software endeavor include a) this c...
127
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
129
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
142
Voted
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...