Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

69

Voted

CSEDU
2010

109views Education» more CSEDU 2010»

Teaching Programming with Formal Models in Greenfoot

15 years 22 days ago

Teaching Programming with Formal Models in Greenfoot

Download www.mbalz.de

Moritz Balz, Michael Goedicke

Real-time Traffic

CSEDU 2010 | Education |

claim paper

Related Content

» On Teaching Formal Methods Behavior Models and Code Analysis

» UML in Action Integrating Formal Methods in Industrial Design Education

» A Logic Programming Application for the Analysis of Spanish Verse

» Towards MultiMedia Instruction in Safe and Secure Systems

» The GridOccam Project

» GEC A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications

» On Learning the Statistical Representation of a Task and Generalizing it to Various Contex...

» CaTTS calendar types and constraints for Web applications

Post Info
More Details (n/a)

Added	10 Feb 2011
Updated	10 Feb 2011
Type	Journal
Year	2010
Where	CSEDU
Authors	Moritz Balz, Michael Goedicke

Comments (0)