Key points are not available for this paper at this time.
Uma ampla gama de inconsistências pode surgir durante a engenharia de requisitos à medida que objetivos e requisitos são extraídos de múltiplos stakeholders. Resolver tais inconsistências mais cedo ou mais tarde no processo é uma condição necessária para o desenvolvimento bem-sucedido do software que implementa esses requisitos. O artigo primeiro revisa os principais tipos de inconsistência que podem surgir durante a elaboração de requisitos, definindo-os em um quadro integrado e explorando suas inter-relações. Em seguida, concentra-se no caso específico de formulações conflitantes de objetivos e requisitos entre diferentes pontos de vista de stakeholders ou dentro de um único ponto de vista. Uma forma frequente e mais fraca de conflito chamada divergência é introduzida e estudada em profundidade. Técnicas formais e heurísticas são propostas para detectar conflitos e divergências a partir de especificações de objetivos/requisitos e de propriedades de domínio. Várias técnicas são então discutidas para resolver conflitos e divergências sistematicamente pela introdução de novos objetivos ou pela transformação das especificações de objetivos/objetos em versões livres de conflito. Numerosos exemplos são dados ao longo do artigo para ilustrar a relevância prática dos conceitos e técnicas apresentados. Estes últimos são discutidos no contexto da metodologia KAOS para engenharia de requisitos orientada a objetivos.
Lamsweerde et al. (Thu,) estudaram essa questão.