Buscar
Mostrando ítems 1-10 de 329
Decoding Lua: formal semantics for the developer and the semanticist
(Association for Computing Machinery, 2018-04)
We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, con ...
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales
(Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)
Implementación de un software que tiene como intención ayudar a estudiantes y profesores con el aprendizaje de los sistemas formales propios de la generación y estructuración de lógica en el pensamiento en la ingeniería ...
Experiências de ensino de língua portuguesa para haitianos em contextos educativos formais e não formais: um estudo no município de Pato Branco (PR)
(Universidade Tecnológica Federal do ParanáPato BrancoBrasilPrograma de Pós-Graduação em Desenvolvimento RegionalUTFPR, 2017-02-23)
Haitians started to arrive in Brazil in large numbers since 2010; after a catastrophic earthquake hit their country of origin, leaving thousands homeless, injured and dead. However, as some authors reveal, the diaspora of ...
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales
(Escuela Colombiana de Ingeniería Julio GarvitoIngeniería de Sistemas, 2018)
Por medio de este documento queremos constatar el desarrollo del trabajo realizado durante el proyecto de grado, el cual se centra en la elaboración de un software con una interfaz simple para el aprendizaje de Sistemas ...
AgentSpeak(PL): uma nova linguagem de programação para agentes BDI com um modelo integrado de Redes Bayesianas
(Universidade do Vale do Rio dos Sinos, 2011-04-29)
When this work was started it was not possible to develop so practical and straightforward software with intelligent agents where their beliefs could likely be related to their environment, as the ...