Sciweavers

181
Voted
TFM
2009
Springer
292views Formal Methods» more  TFM 2009»
15 years 7 months ago
Teaching Formal Methods Based on Rewriting Logic and Maude
Peter Csaba Ölveczky
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 7 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
101
Voted
TFM
2009
Springer
181views Formal Methods» more  TFM 2009»
15 years 7 months ago
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z
Sureyya Tarkan, Vibha Sazawal
88
Voted
TFM
2009
Springer
151views Formal Methods» more  TFM 2009»
15 years 7 months ago
Which Mathematics for the Information Society?
João F. Ferreira, Alexandra Mendes, Roland ...
Formal Methods
Top of PageReset Settings