606 search results - page 74 / 122 » A Comparative Study of Industrial Static Analysis Tools |
114
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
95
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
90
Voted
WSC
1997
15 years 2 months ago
1997
A framework to design simulation models is described in order to perform activity-based costing for flexible manufacturing systems before actual manufacturing activities. For illu...
125
Voted
WCRE
2006
IEEE
15 years 6 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...