Answers are grounded in this paper and cite their sources.
A formal method, eb, inspired by B method, has been used for the first time for teaching “data structures”. Starting on one hand from a set oriented specification of an abstract type and on the other from the specification of an implementation, method eb favours the calculation of the representation of concrete operations. We present the principle of this approach as well as several examples. The context of its application in a data structures teaching module is then detailed. A first balance sheet is drawn up.
No takes yet. Share an insight, caveat, or question.
Guyomard et al. (2008) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: