scholarly journals A Rewriting Logic Approach to Static Checking of Units of Measurement in C

2012 ◽  
Vol 290 ◽  
pp. 51-67 ◽  
Author(s):  
Mark Hills ◽  
Feng Chen ◽  
Grigore Roşu
Keyword(s):  
Rewriting Logic ◽  
Units Of Measurement ◽  
Logic Approach ◽  
Static Checking

scholarly journals A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

2007 ◽  
Vol 192 (1) ◽  
pp. 125-141 ◽  
Author(s):  
Traian Florin Şerbănuţă ◽  
Grigore Roşu ◽  
José Meseguer
Keyword(s):  
Operational Semantics ◽  
Rewriting Logic ◽  
Logic Approach

scholarly journals A rewriting logic approach to operational semantics

2009 ◽  
Vol 207 (2) ◽  
pp. 305-340 ◽  
Author(s):  
Traian Florin Şerbănuţă ◽  
Grigore Roşu ◽  
José Meseguer
Keyword(s):  
Operational Semantics ◽  
Rewriting Logic ◽  
Logic Approach

THE INTEGRAL DEVELOPMENT OF PROFESSIONAL AND METHODOLOGICAL COMPETENCIES IN SPECIAL EDUCATION TEACHERS OF BASIC SCHOOLS WHEN TEACHING THE UNITS OF MEASUREMENT TO PERSONS WITH INTELLECTUAL DISABILITIES

2020 ◽  
Vol 5 (98) ◽  
pp. 115-124
Author(s):  
ANDREI N. VESELOV ◽  
OLGA A. DENISOVA
Keyword(s):  
Special Education ◽  
Intellectual Disabilities ◽  
Special Education Teachers ◽  
Educational Process ◽  
Units Of Measurement ◽  
Strategic Changes ◽  
Integral Development ◽  
Basic School

In the article, the authors consider the strategic changes in the students’ educational process from the perspective of the development of professional integral methodological competencies among teachers in basic school. A special emphasis is placed on the description of the technology for the development of the integral methodological competencies in special education teachers who train children with intellectual disabilities in basic school.

Sign in / Sign up

Export Citation Format

Share Document