2662 search results - page 80 / 533 » Objects-early tools: a demonstration |
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Significant opportunities for power optimization exist at application design stage and are not yet fully exploited by system and application designers. We describe the challenges ...
108
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
110
click to vote
INFSOF
2007
15 years 1 months ago
2007
An infrastructure is a set of interconnected structural elements, such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering c...
106
click to vote
ANSOFT
2002
15 years 1 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
135
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...