1. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications

As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada

IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012

2. AdaptiveRME e aspectCompose: um middleware adaptativo e um processo de composiÃÃo orientado a aspecto para o desenvolvimento de software mÃvel e ubÃquo. / AdaptiveRME and aspectCompose: A middleware adaptative and a guided process of composition the aspects for the development of software mÃvel and ubiquitous

A computaÃÃo ubÃqua à um paradigma computacional de grande abrangÃncia, com aplicabilidades tanto para o cotidiano de um cidadÃo comum quanto para o tratamento de informaÃÃes complexas em ambientes hospitalares. Este paradigma propÃe uma nova forma de interaÃÃo homem-computador baseada na proatividade dos computadores para facilitar a vida dos usu

Publicado em: 2007