9 search results - page 1 / 2 » Teaching Programming with Formal Models in Greenfoot |
CSEDU
2010
13 years 3 months ago
2010
TFM
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
EDUTAINMENT
2007
Springer
13 years 11 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
CL
2000
Springer
13 years 9 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...