Mostrando 10 resultados de: 36
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(5)
International Journal of Software Engineering and Knowledge Engineering(3)
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(2)
Journal of Systems and Software(2)
Requirements Engineering(2)
Área temáticas
Escuelas y sus actividades; educación especial(5)
Funcionamiento de bibliotecas y archivos(5)
Física aplicada(5)
Métodos informáticos especiales(5)
Comunicaciones(3)
A six-valued logic to reason about uncertainty and inconsistency in requirements specifications
ArticleAbstract: The development of requirements specifications is characterized by the uncertain and changeable knowPalabras claves:Autores:Blanco-FernÁndez Y., 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:scopusA two-sided simulator for the assessment of coordination policies in mobile ad-hoc networks
Conference ObjectAbstract: When multiple mobile devices are brought together into an ad-hoc network, some kind of coordinationPalabras claves:Autores:Blanco-FernÁndez Y., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Vilas F.Fuentes:scopusA virtualization layer for mobile consumer devices to support demanding communication services in vehicular ad-hoc networks
Conference ObjectAbstract: The high mobility and variability of road traffic has hampered the design and deployment of automotiPalabras claves:Autores:Blanco-FernÁndez Y., GarcÍa-Duque J., Jack Fernando Bravo-Torres, Martín López-Nores, Servia-Rodriguez S.Fuentes:googlescopusARIFS methodology: Reusing incomplete models at the requirements specification stage
ArticleAbstract: In a totally formalized, iterative and incremental software process, each iteration usually impliesPalabras claves:Approximate retrieval, component-based requirements engineering, Formal requirements reuse, Iterative and incremental specification, Reuse of verification resultsAutores:GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusATLAS: A framework to provide multiuser and distributed t-learning services over MHP
ArticleAbstract: The increasing need of the developed countries to carry out effective distance learning strategies hPalabras claves:Formal specification, Peer-to-peer technologies, Synchronous interaction, t-learning, Visual developmentAutores:Blanco-FernÁndez Y., 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:scopusAn Ecosystem of Intelligent ICT Tools for Speech-Language Therapy Based on a Formal Knowledge Model
Conference ObjectAbstract: The language and communication constitute the development mainstays of several intellectual and cognPalabras claves:Electronic health records, Medical informatics, Rehabilitation of speech and language disordersAutores:Diego Quisi-Peralta, GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Vladimir Robles-BykbaevFuentes:scopusCOSTE: open environment for teaching in computer science area
ArticleAbstract: In this paper we introduce a generic teleeducation system, referred to as COSTE (COmputer Science TePalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusAn analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology
Conference ObjectAbstract: The development of requirements specifications can be supported by a cycle composed of two phases: aPalabras claves:bridges, heart, Information analysis, Multivalued logic, TelematicsAutores:Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-AriasFuentes:scopusAn ecosystem based on ontologies and robotic assistants to support the development of social communication skills in children with autism
Conference ObjectAbstract: The term Autism Spectrum Disorders (ASDs) covers conditions such as autism, childhood disintegrativePalabras claves:Autism Spectrum Disorder, Mobile Applications, ontology, robotic assistantAutores:Diego Lima-Juma, Eulalia Naranjo-Cabrera, GarcÍa-Duque J., Jhonny Pauta-Pintado, José Pazos-Arias, Martín López-Nores, Verónica Cevallos León-Wong, Vladimir Robles-BykbaevFuentes:scopusAn extension to the ADL SCORM standard to support adaptivity: The t-learning case-study
ArticleAbstract: Current e-learning standards have been designed to provide reusability and interoperability. BesidesPalabras claves:Adaptive hypermedia, distance learning, SCORM, t-learningAutores:GarcÍa-Duque J., José Pazos-Arias, Ramos-Cabrer M., Redondo R.P.D., Rey-López M., Solla A.G., Vilas F.Fuentes:scopus