255 search results - page 33 / 51 » Flexible incremental development by integrating specificatio... |
168
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
122
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
116
click to vote
AISC
1998
Springer
15 years 3 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
102
click to vote
DAC
2005
ACM
16 years 20 days ago
2005
ACM
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. It ha...
120
click to vote
WER
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...