Abstract Teaching computer programming is an important topic. Due to Science and Technology initiatives, these topics are considered in different training cycles. For higher education, students must cultivate fundamental concepts for the development of software applications, which not only contribute knowledge languages but also opening guidelines computational thinking. However, selecting a pr...

Project-based learning (PjBL) is a promising approach for supporting learning of computer programming by addressing the gap between the attainment of abstract knowledge and the application of this knowledge to authentic programming tasks. The World Wide Web has considerable potential to expand and improve PjBL environments. However, making implicit aspects of a programming task accessible to le...

It is difficult and challenging to comprehend the internal aspects of a program. The internal aspects are seen as contrasts to end user aspects and interface aspects. Internal program documentation is relevant for almost any kind of software. The internal program documentation represents the original as well as the accumulated understanding of the program, which is very difficult to extract fro...

Infinite recursion is a known problem of aspect-oriented programming with AspectJ: if no special precautions are taken, aspects advising aspects can easily and unintentionally advise themselves. We present a compiler for an extension of the AspectJ programming language that avoids self reference by associating aspects with levels, and by automatically restricting the scope of pointcuts used by ...

My research interests are in the area of programming languages, with a focus on functional programming and object-oriented programming. I am especially interested on the modularity aspects of programs, proofs and programming languages. I am also interested in better programming models for graphs, parallelism and concurrency. I believe that existing programming languages and proof/programming te...

The performance of any finite element (FE) structural analysis is directly related to the global number of nodes and degrees of freedom (DOF) of the discretized structure and mesh distribution attributes. It is obvious that the appropriate numerical analysis needs finer elements in the zone of interest, e.g. zone of high stress concentration and intensity, and coarser elements for farther porti...