2015 search results - page 360 / 403 » Hidden Software Capabilities |
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
MATES
2005
Springer
14 years 1 months ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...