1733 search results - page 143 / 347 » On the naturalness of software |
170
click to vote
WM
2003
15 years 7 months ago
2003
: After years of constant progress in developing software tools to support education and training, the focus in eLearning has recently been shifted from the supporting tools toward...
160
click to vote
IWFM
1998
15 years 7 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
134
click to vote
ECSCW
1993
15 years 7 months ago
1993
: We describe the development of a system to support cooperative software design. An iterative development approach has been used, based upon the observation of system use in authe...
183
click to vote
FGCS
2006
15 years 6 months ago
2006
The hypre software library is being developed with the aim of providing scalable solvers for the solution of large, sparse linear systems on massively parallel computers. To this e...
154
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allow...