Sciweavers

9 search results - page 1 / 2

» tfm 2009

158

Voted

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

16 years 29 days ago

Teaching Program Specification and Verification Using JML and ESC/Java2

Download www.di.uminho.pt

Erik Poll

claim paper

Read More »

314

TFM
2009
Springer

292views Formal Methods» more TFM 2009»

Teaching Formal Methods Based on Rewriting Logic and Maude

16 years 29 days ago

Teaching Formal Methods Based on Rewriting Logic and Maude

Download www.di.uminho.pt

Peter Csaba Ölveczky

claim paper

Read More »

164

Voted

TFM
2009
Springer

181views Formal Methods» more TFM 2009»

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

16 years 29 days 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 »

135

Voted

TFM
2009
Springer

128views Formal Methods» more TFM 2009»

How to Explain Mistakes

15 years 11 months ago

How to Explain Mistakes

Download www3.di.uminho.pt

Stefan Hallerstede, Michael Leuschel

claim paper

Read More »

148

TFM
2009
Springer

151views Formal Methods» more TFM 2009»

Which Mathematics for the Information Society?

16 years 29 days 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 »