Software tools for the learning of programming: A proposal

Forcheri, Paola; Molfino, Maria Teresa

doi:10.1016/0360-1315(94)90015-9

Cited by 4 publications

(2 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…MEMO-II (Forcheri & Molfino, 1994) is the only existing CBL system we have found which is related to our research. As declared by its authors, MEMO-II is intended to be used in teaching/learning of programming with University students.…”

Section: Cbl Systems For Formal Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Towards an Interactive Learning Environment for Object-Z

Mohanarajah

Kemp²,

Kemp³

2004

IISIT

View full text Add to dashboard Cite

We have been engaged in research towards designing a software system called LOZ for learning the object oriented formal specification notation Object-Z. Initially, we conducted a survey to analyse the effectiveness of traditional methodologies for learning Z notation. In LOZ, the semiformal model UML is used in the intermediate phase between informal textual description and formal Object-Z description. We also employ a refinement unit that produces code from the specification. Based on the cognitive apprenticeship approach, we employ a four-phase instructional model in our system. Persuading the learners to be partially responsible for their own model and allowing them to decide their own levels of control over the learning process are key features of our system.

show abstract

Section: Cbl Systems For Formal Methodsmentioning

confidence: 99%

“…Learning to construct abstract models helps software practitioners to switch effortlessly between different paradigms. MEMO-II follows the second approach, and additionally, Forcheri and Molfino (1994) assert that it also offers facilities to map this abstract model into effective implementations.…”

Section: Cbl Systems For Formal Methodsmentioning

confidence: 99%