1782 search results - page 176 / 357 » Tool Support for Proof Engineering |
161
click to vote
UIST
2010
ACM
2010
ACM
D-Macs: building multi-device user interfaces by demonstrating, sharing and replaying design actions
15 years 4 months ago
Multi-device user interface design mostly implies creating a suitable interface for each targeted device, using a diverse set of design tools and toolkits. This is a time consumin...
170
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
207
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
183
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
190
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The application of spectral methods to the software clustering problem has the advantage of producing results that are within a known factor of the optimal solution. Heuristic sea...