Sciweavers

81
Voted
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 1 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack