5407 search results - page 887 / 1082 » The Software Engineering Global Model |
144
click to vote
FASE
2008
Springer
15 years 6 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 ...
141
click to vote
AVI
2010
15 years 6 months ago
2010
We study the effectiveness of stereoscopy and smooth motion as 3D cues for medical interpretation of vascular structures as obtained by 3D medical imaging techniques. We designed ...
175
click to vote
AVI
2006
15 years 5 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
137
click to vote
AVI
2006
15 years 5 months ago
2006
This methodological note focuses on the edge density of real world examples of networks. The edge density is a parameter of interest typically when putting up user studies in an e...
143
click to vote
AVI
1996
15 years 5 months ago
1996
: This paper introduces a visual interface for computer-supported cooperative work (CSCW). The interface is an extension of the editor interface of ESCHER, a prototype database sys...