Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings(1)
Ingenius(1)
Proceedings - 2015 Asia-Pacific Conference on Computer-Aided System Engineering, APCASE 2015(1)
Science of Computer Programming(1)
Área temáticas
Programación informática, programas, datos, seguridad(3)
Ciencias de la computación(2)
Fuerzas aéreas y otras fuerzas especializadas(1)
Funcionamiento de bibliotecas y archivos(1)
Física aplicada(1)
Origen
scopus(4)
Automated generation of program translation and verification tools using annotated grammars
ArticleAbstract: Automatically generating program translators from source and target language specifications is a nonPalabras claves:Annotated grammars, Asf+Sdf, Automated translation, Language families, operations languages, Program translationAutores:Diego Ordonez-Camacho, Mens K., Van Den Brand M.G.J., Vinju J.Fuentes:scopusAPPAREIL: A tool for building automated program translators using annotated grammars
Conference ObjectAbstract: Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automatesPalabras claves:Autores:Diego Ordonez-Camacho, Mens K.Fuentes:scopusRedfang: A High-Level Bluetooth Library for Building Distributed Android Applications
Conference ObjectAbstract: Android portable devices are well equipped with sensors and communication capabilities, and start toPalabras claves:development framework, peer-to-peer, robotics, software libraryAutores:Diego Ordonez-CamachoFuentes:scopusReducing the IoT security breach with a microservice architecture based on TLS and OAuth2
ArticleAbstract: The Internet of Things has emerged as one of the most promising trends today. The speed of its adoptPalabras claves:IOT, Microservices, OAuth, Software architecture, systems security, TLSAutores:Diego Ordonez-CamachoFuentes:scopus