Sciweavers

9 search results - page 1 / 2

» tfm 2009

22

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

14 years 3 months ago

Teaching Program Specification and Verification Using JML and ESC/Java2

Download www.di.uminho.pt

Erik Poll

claim paper

Read More »

65

TFM
2009
Springer

292views Formal Methods» more TFM 2009»

Teaching Formal Methods Based on Rewriting Logic and Maude

14 years 3 months ago

Teaching Formal Methods Based on Rewriting Logic and Maude

Download www.di.uminho.pt

Peter Csaba Ölveczky

claim paper

Read More »

27

TFM
2009
Springer

181views Formal Methods» more TFM 2009»

Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z

14 years 3 months ago

Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z

Download www.di.uminho.pt

Sureyya Tarkan, Vibha Sazawal

claim paper

Read More »

23

TFM
2009
Springer

128views Formal Methods» more TFM 2009»

How to Explain Mistakes

14 years 1 months ago

How to Explain Mistakes

Download www3.di.uminho.pt

Stefan Hallerstede, Michael Leuschel

claim paper

Read More »

20

TFM
2009
Springer

151views Formal Methods» more TFM 2009»

Which Mathematics for the Information Society?

14 years 3 months ago

Which Mathematics for the Information Society?

Download www.di.uminho.pt

João F. Ferreira, Alexandra Mendes, Roland ...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »