1782 search results - page 253 / 357 » Tool Support for Proof Engineering |
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
SIGCSE
2009
ACM
14 years 9 months ago
2009
ACM
Working remotely is becoming the norm for both professionals and students alike. Software development has become a global industry due to outsourcing, teleworking, flex time, and ...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...