Sciweavers

9 search results - page 1 / 2

» tfm 2009

11

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

13 years 11 months ago

Teaching Program Specification and Verification Using JML and ESC/Java2

Download www.di.uminho.pt

Erik Poll

claim paper

Read More »

40

TFM
2009
Springer

292views Formal Methods» more TFM 2009»

Teaching Formal Methods Based on Rewriting Logic and Maude

13 years 11 months ago

Teaching Formal Methods Based on Rewriting Logic and Maude

Download www.di.uminho.pt

Peter Csaba Ölveczky

claim paper

Read More »

13

TFM
2009
Springer

181views Formal Methods» more TFM 2009»

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

13 years 11 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 »

11

TFM
2009
Springer

128views Formal Methods» more TFM 2009»

How to Explain Mistakes

13 years 9 months ago

How to Explain Mistakes

Download www3.di.uminho.pt

Stefan Hallerstede, Michael Leuschel

claim paper

Read More »

10

TFM
2009
Springer

151views Formal Methods» more TFM 2009»

Which Mathematics for the Information Society?

13 years 11 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 »