Exercices for teaching logic in a formal methods course:
Formalizing ERDs
In a first course in formal methods for software engineers, the
emphasis on the topic of logic should be on using (first-order
predicate) logic to specify and formally describe properties. In this
paper, we suggest using ERDs (Entity-Relationship Diagrams) as support
for formalization exercises. Starting from graphical descriptions
(ERDs) and textual informal specification of various constraints,
students have to produce an equivalent textual and formal
specification. We present the notation we use in our course (Spec),
some heuristics to obtain the formal concepts from ERDs and a small
example.
Pour obtenir la version postscript
Cliquez ici
pour obtenir la version postscript.