4476 search results - page 826 / 896 » Modeling software architectures in the Unified Modeling Lang... |
142
Voted
TIC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
128
Voted
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
153
click to vote
AVI
2008
15 years 8 months ago
2008
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
138
Voted
IUI
2010
ACM
15 years 7 months ago
2010
ACM
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...
162
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...