1088 search results - page 139 / 218 » Tools for support of automata-based programming |
246
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
236
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
158
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Continuous testing uses excess cycles on a developer’s workstation to continuously run regression tests in the background, providing rapid feedback about test failures as source...
126
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
126
click to vote
CGO
2010
IEEE
15 years 8 months ago
2010
IEEE
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...