Uso de modelos formais em sistemas pervasivos de cuidados de saúde: um estudo de caso em auxílio à prática de exercícios físicos.

EAS OLIVEIRA - 2015 - dspace.sti.ufcg.edu.br
Diversas soluções de software têm sido desenvolvidas para a área de cuidados de saúde.
Nesta área, destacam-se as pesquisas em exercícios físicos, que tem recebido grande …