87 search results - page 1 / 18 » Automatic Generation of Object Usage Specifications from Lar... |
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
ICMCS
2007
IEEE
13 years 11 months ago
2007
IEEE
An algorithm is presented that automatically generates groundtruthed video from a symbolic description for an object and a specification for the movement of a handheld video camer...
DAC
2003
ACM
14 years 5 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...