1782 search results - page 84 / 357 » Tool Support for Proof Engineering |
117
Voted
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
Many tools have been built to analyze source code. Most of these tools do not adequately support reengineering activities because they do not allow a software engineer to simultan...
140
click to vote
CISS
2010
IEEE
14 years 9 months ago
2010
IEEE
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
152
click to vote
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes how the Prometheus Design Tool (PDT) is used to support the Prometheus methodology for designing agent systems. This is done by using an exemplar system that h...
132
click to vote
IPPS
2007
IEEE
15 years 12 months ago
2007
IEEE
Recent advancements in FPGA technology have allowed manufacturers to place general-purpose processors alongside user-configurable logic gates on a single chip. At first glance, ...
159
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...