1704 search results - page 245 / 341 » Focusing Software Education on Engineering |
IUI
1998
ACM
15 years 2 months ago
1998
ACM
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
WADT
1998
Springer
15 years 2 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
124
click to vote
ER
1997
Springer
15 years 2 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
TAPSOFT
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
105
click to vote
UIST
1994
ACM
15 years 2 months ago
1994
ACM
The human visual system makes a great deal more of images than the elemental marks on a surface. In the course of viewing, creating, or editing a picture, we actively construct a ...