A computação ubíqua se caracteriza como um paradigma onde o poder de processamento está presente de forma imperceptível e onipresente no ambiente do usuário. Poucas abordagens são encontradas na literatura técnica para apoiar a construção deste tipo de software e, neste sentido, sua qualidade pode ficar comprometida pela utilização de abordagens tradicionais da Engenharia de Software, que normalmente não tratam as características específicas deste domínio. Portanto, existe a necessidade de investigação sobre como apoiar o desenvolvimento de softwares ubíquos.
Esta dissertação propõe uma abordagem de apoio a especificação de requisitos funcionais de ubiquidade que possibilita tratar questões relacionadas à garantia da qualidade, baseada em um metamodelo elaborado, denominado UbiModel, que organiza as características e fatores de ubiquidade e suas interrelações. UbiModel foi integrado a uma abordagem para especificação de requisitos de aplicações web para tornar a especificação mais abrangente ao permitir a descrição detalhada do comportamento sistêmico, tendo em vista que esse tipo de aplicação possui características comuns que favorecem a integração.
Foi desenvolvida e avaliada uma infraestrutura computacional a partir do UbiModel para apoiar a especificação de requisitos de ubiquidade, onde os resultados permitiram observar que a abordagem é viável, a infraestrutura é útil e fácil de usar nesse contexto específico.