Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings(1)
Science of Computer Programming(1)
Área temáticas
Ciencias de la computación(1)
Instrumentos de precisión y otros dispositivos(1)
Lengua(1)
Programación informática, programas, datos, seguridad(1)
Área de conocimiento
Ingeniería de software(2)
Origen
scopus(2)
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:scopus