1152 search results - page 20 / 231 » The Scratch Programming Language and Environment |
BMCBI
2007
14 years 9 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
IWFM
1998
14 years 11 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
114
Voted
SEKE
2007
Springer
15 years 3 months ago
2007
Springer
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
VLC
2008
14 years 9 months ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
ECOOP
1987
Springer
15 years 1 months ago
1987
Springer
The Smalltalk-80 system offers a language with a small and elegant conceptual core, and a highly interactive programming environment. We believe, however, that it could be made mor...