613 search results - page 35 / 123 » Executable Visual Contracts |
106
click to vote
AVI
2004
15 years 2 months ago
2004
Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with differen...
83
Voted
ICSE
2008
IEEE-ACM
16 years 21 days ago
2008
IEEE-ACM
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
93
Voted
RULEML
2005
Springer
15 years 6 months ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
121
Voted
JISE
1998
15 years 9 days ago
1998
In the framework of perfect loop nests with uniform dependences, tiling has been extensively studied as a source-to-source program transformation. We build upon recent results by ...
116
click to vote
TVCG
2010
14 years 11 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...