Esta livro apresenta uma abordagem para melhoria da qualidade de requisitos baseada em modelos de estados. Estende o contexto do trabalho com informacoes relevantes da area em estudo, discute e compara solucoes apresentadas por diferentes pesquisas. Esta proposta tem como origem a necessidade de melhoria dos requisitos nas fases iniciais de um projeto na area espacial. Apresenta a abordagem com um exemplo didatico e a aplica em um estudo de caso dos requisitos de missao do satelite ITASAT-1, o primeiro satelite universitario tecnologico brasileiro. O caso de estudo descrito mostra detalhes sobre os modos de operacao e os requisitos de missao do satelite que deram embasamento para a abordagem desenvolvida, chamada COFI-ref. Esta abordagem procura mitigar problemas de requisitos incompletos definindo uma sistematica para garantir a consistencia no refinamento dos requisitos."