Ana Pasztor

Learn More
In this paper, we present an approach to teaching induction that we call the "conceptual route" of teaching induction. Proofs by induction are central to the study of computer science and students come across them in many courses of their curricula. It is documented in the literature that in general students have difficulties with proofs by induction. Even(More)
  • A M Adjouadi, Jean Barreto, Kang Andrian, Yen, W M Adjouadi, Yao +6 others
  • 2002
Our efforts this prior year were in applied signal/imaging processing and exploiting the power of the Electrical Source Imaging (ESI) machine with 256 electrodes in order to begin research on EEG-Brain research, and on focusing our research collaboration with industry and the private sector. In so doing our efforts resulted in a good number of publications(More)
This paper is concerned with problems inherent in the informal speciication of design. It describes a domain-independent, generic knowledge-based requirement elic-itation tool for design, called DDSC (Design Speciica-tion with Chunking). Design speciication with DDSC is a dynamic process evolving through continuous participant interaction. The elicitation(More)