Um ambiente expert para o apoio ao Desenvolvimento de Software

O emprego de assistentes inteligentes em ambientes de desenvolvimento de software é, hoje, além de uma característica desejável, uma necessidade, principalmente, em função da distância conceitual existente entre as semânticas do domínio do problema e os artefatos de software. Tais assistentes, apesar dos vários exemplos presentes na literatura referentes ao seu desenvolvimento e aplicação, não receberam em sua construção um tratamento formal. O objetivo deste trabalho é modelar e especificar formalmente uma ferramenta shell para a construção de sistemas especialistas, que possa ser incorporada ao conjunto de ferramentas de um ambiente de desenvolvimento de software. O método formal escolhido para a especificação foi o algébrico e como PROSOFT é um ambiente que baseia-se nesse método, ele foi escolhido para o desenvolvimento da ferramenta. Ingeniería de Software Red de Universidades con Carreras en Informática (RedUNCI)