2493 search results - page 325 / 499 » Tool Support for Design by Contract |
ER
2008
Springer
15 years 2 days ago
2008
Springer
Abstract. Government regulations are increasingly affecting the security, privacy and governance of information systems in the United States, Europe and elsewhere. Consequently, co...
BCSHCI
2008
14 years 11 months ago
2008
There is a lack of `explicit education' of different modes of creativity and different methodologies for initiating creative processes. This is important for not only art pra...
WSC
1997
14 years 11 months ago
1997
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
CGF
2008
14 years 10 months ago
2008
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...
IEE
2008
14 years 10 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...