Results 161 to 170 of about 1,964,036 (248)

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

, 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   +2 more sources

Inteligencia artificial en atención primaria: efectos y controversias sociales. Revisión sistemática de la bibliografía. [PDF]

Aten Primaria
Prat-Carreño M, Umaña V, Bermejo V, Vallès-Peris N.   +3 more
europepmc   +1 more source

Effectiveness of menstruation and fertility tracking technology in childbearing women: a scoping review. [PDF]

Rev Esc Enferm USP
Li Y, Fang Y, Gu S.
europepmc   +1 more source

Una herramienta de portabilización de aplicaciones Web 1.0 a Web Mobile

, 2019
Licenciado en ...
Witkin, Mauricio Javier, Serrano, Ramón Maximiliano   +1 more
openaire   +1 more source

Desarrollo de Aplicaciones Web. Práctica 4: CSS (1) (curso 2018-2019)

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

Mobile applications offering non-pharmacological therapies aimed at improving the quality of life of cancer patients: a scoping review. [PDF]

Rev Bras Enferm
Ribeiro CO, Silva LDS, Gomes LMRL, Pinto DL, Barroso TMMDA, Kalinke LP.   +5 more
europepmc   +1 more source

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

Rev Bras Enferm
Vicente C, Amante LN, Silveira LBD, Pina RMP, Lucca HC.   +4 more
europepmc   +1 more source

Aplicaciones web para el trabajo colaborativo

, 2013
Presentació del Projecte de Fi de Carrera en el qual s'ha desenvolupat una aplicació web dinàmica que permet la generació de diferents tipus d'informes (formularis) i que permet als estudiants omplir i enviar els resultats dels informes en una BBDD.
openaire   +1 more source

Programación unidad didáctica aplicaciones web 4º ESO

, 2022
En el presente trabajo, realizaremos un estudio acerca de las aplicaciones web, que cada vez están más presentes en nuestro día a día. Para ello, en primer lugar nos centraremos en analizar que es una aplicación web y sus diferencias con una aplicación de escritorio, así como cuáles son los principales tipos de aplicaciones web existentes según la ...
openaire   +1 more source

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

Int J Environ Res Public Health
Alfredo Ardisson Cirino Campos F, Feitosa FB, Moll MF, Reis IO, Sánchez García JC, Ventura CAA.   +5 more
europepmc   +1 more source