5343 search results - page 464 / 1069 » Keyword programming in java |
150
click to vote
TSE
2002
15 years 4 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
160
click to vote
TVCG
2010
15 years 3 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
154
click to vote
USS
2010
15 years 2 months ago
2010
The browser has become the de facto platform for everyday computation. Among the many potential attacks that target or exploit browsers, vulnerabilities in browser extensions have...
136
click to vote
DSL
2009
15 years 2 months ago
2009
Abstract. Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of cust...
165
click to vote
ERSHOV
2009
Springer
15 years 2 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...