Programming by predicates: a formal model for interactive synthesis
Sign Up to like & getrecommendations! Published in 2019 at "Acta Informatica"
DOI: 10.1007/s00236-019-00340-y
Abstract: Program synthesis is the problem of computing from a specification a program that implements it. New and popular variations on the synthesis problem accept specifications in formats that are easier for the human synthesis user… read more here.
Keywords: formal model; model interactive; model; specification ... See more keywords
Research on evaluation model for interactive classroom enabled with mobile terminals
Sign Up to like & getrecommendations! Published in 2019 at "Interactive Learning Environments"
DOI: 10.1080/10494820.2018.1489854
Abstract: ABSTRACT Information and Communication Technology (ICT) has improved education widely in China, transforming traditional teaching into an interactive one. It is important to build a new evaluation model to measure teaching efficiency in an “ICT-enabled… read more here.
Keywords: evaluation model; classroom; model interactive; model ... See more keywords