Results 11 to 20 of about 216,524 (170)
Assessing learners' reflective thinking in computer programming
African Journal of Research in Mathematics, Science and Technology Education, 2008 AbstractThis article reports on an investigation into the reflective thinking activities of secondary school learners in computer programming while they are involved in programming activities. With the emphasis on the role of reflection in effective learning, problem solving, and computer programming, the investigation on which this article is based ...
Monteith, Jan L de K +2 more
openaire +2 more sources
, 2015 This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership.
Clavel, Manuel +6 more
core +1 more source
Pure Compiled Execution as a Programming Paradigm
Труды Института системного программирования РАН, 2018 Interpreted execution of computer programs, its capabilities and advantages is well-covered in the computer science literature. Its key feature is reflection: the ability to access and modify the source code at run time.
A. V. Stolyarov +2 more
doaj +1 more source
A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings [PDF]
, 2005 We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to reason abstractly about operators, languages, open-ended languages ...
Hickey, Jason +3 more
core +4 more sources
Open Programming Language Interpreters [PDF]
, 2017 Context: This paper presents the concept of open programming language interpreters and the implementation of a framework-level metaobject protocol (MOP) to support them.
Cazzola, Walter, Shaqiri, Albert
core +2 more sources
A Comparative Study of the Dot’s Shape in Traditional Way of Nastaliq Script and Dot’s Implementation in Computer-based Types [PDF]
نگره, 2019 In recent decades, calligraphy types have replaced the traditional calligraphy seriously. The form of the letters and dots in these types are subject to predetermined principles and rules set by computer designers and programmers based on traditional ...
hoda kaspour, Abdolreza Charei
doaj +1 more source
Informatics in Education, 2003 The use of informatics in education has provided many contributions to the understanding of teaching and learning processes. First, it made possible the distinction between instructionism, seen as transmission of information, and constructionism, as the ...
José Armando VALENTE
doaj +1 more source
MEDIA-REALITY IN THE VISUAL ARTS / МЕДИАРЕАЛЬНОСТЬ В ИЗОБРАЗИТЕЛЬНОМ ИСКУССТВЕ [PDF]
Наука телевидения, 2019 The article researches the influence of the media on contemporary visual arts in its aesthetic, technological and sociocultural aspects. The author stems from the fact that in the works of contemporary artists the influence of media reality becomes more
YUGAY INGA I. / ЮГАЙ И.И.
doaj +1 more source
REFLECT: A computer program for the x-ray reflectivity of bent perfect crystals [PDF]
, 1989 The design of monochromators for x-ray applications, using either standard laboratory sources on synchrotron radiation sources, requires a knowledge of the reflectivity of the crystals. The reflectivity depends on the crystals used, the geometry of the reflection, the energy range of the radiation, and, in the present case, the cylindrical bending ...
Etelaeniemi, V. +6 more
openaire +2 more sources
Computational program to evaluate local defects type Chalmers Test on a reflective optical surface
Journal of Scientific and Technical Applications, 2021 A computational tool is developed to measure the local deformations in optical surfaces from the interference patterns obtained by the Chalmers test principle and from the analysis of a reflective optical surface using a commercial Fizeau interferometer of the ZYGO.
Benito CANALES-PACHECO +3 more
openaire +1 more source