Results 141 to 150 of about 1,818,436 (232)

Verificación de aplicaciones web dinámicas con Web-TLR

open access: yes, 2011
Web-TLR is a software tool designed for model-checking Web applications that is based on rewriting logic. Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR model-checker. Whenever a property is refuted, it produces a counterexample trace that underlies the failing model checking ...
openaire   +1 more source

Desarrollo de Aplicaciones Web. Práctica 3: HTML (2) (curso 2018-2019)

open access: yes, 2018
Enunciado de la práctica 3 de la asignatura Desarrollo de Aplicaciones Web del grado de Ingeniería en ...
Luján-Mora, Sergio
core  

Transboard : Aplicación web colaborativa para traducción de aplicaciones web

open access: yes, 2012
El proyecto consiste en una aplicación web que permita a diferentes grupos de usuarios colaborar en la internacionalización y traducción de aplicaciones de una manera coordinada y eficiente. En su desarrollo se han evaluado diferentes aproximaciones de cara a obtener las mejores soluciones para este problema.
openaire   +1 more source

Educational games for self-care of people with intestinal ostomies: a scoping review. [PDF]

open access: yesRev Bras Enferm
Vicente C   +4 more
europepmc   +1 more source

Initial Requirements for the Prototyping of an App for a Psychosocial Rehabilitation Project: An Integrative Review. [PDF]

open access: yesInt J Environ Res Public Health
Alfredo Ardisson Cirino Campos F   +5 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy