5228 search results - page 647 / 1046 » Case Studies for Software Engineers |
214
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
In the software engineering literature, many works claim that the use of design patterns improves the comprehensibility of programs and, more generally, their maintainability. Yet...
172
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
183
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
185
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
We introduce “fisheye menus” which apply traditional fisheye graphical visualization techniques to linear menus. This provides for an efficient mechanism to select items from ...
168
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Diagram manipulation in conventional CAD systems requires frequent mode switching and explicit placement of the pivot for rotation and scaling. In order to simplify this process, ...