2514 search results - page 3 / 503 » The use of industrial-strength formal methods |
ECOOP
2009
Springer
14 years 6 months ago
2009
Springer
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...
DBA
2004
13 years 7 months ago
2004
In order to guarantee efficient query processing together with industrial strength, spatial index structures have to be integrated into fully-fledged object-relational database ma...
CSFW
2009
IEEE
14 years 15 days ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
DATE
2009
IEEE
14 years 15 days ago
2009
IEEE
—This paper describes a waveform compression technique suitable for the efficient utilization, storage and interchange of the emerging current source model (CSM) based cell libra...
DSVIS
1998
Springer
13 years 10 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...