Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Article(3)
Área temáticas
Ciencias de la computación(2)
Instrumentos de precisión y otros dispositivos(2)
Biblia(1)
Economía laboral(1)
Funcionamiento de bibliotecas y archivos(1)
Origen
scopus(3)
A mixed XML-JavaBeans approach to developing t-learning applications for the multimedia home platform
ArticleAbstract: E-learning technologies have developed greatly in recent years, with considerable success, which hasPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusImproving the consistency checking process by reusing formal verification knowledge
ArticleAbstract: At an iterative and incremental requirements capture stage, each iteration implies identifying new rPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusReuse of formal verification efforts of incomplete models at the requirements specification stage
ArticleAbstract: Even though verifying systems during any phase of the development process is a remarkable advantagePalabras claves:Autores:José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopus