Natural Language Requirements
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications / SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software
Em maior ou menor extensão, a Linguagem Natural (LN) é ainda amplamente usada para elaborar especificações de requisitos de software ou outros artefatos criados para a documentação de requisitos. Entretanto, fornecimentos elaborados em LN apresentam ambiguidade, inconsistência e não completude. Esta tese de doutorado apresenta uma metodologia, SOLIMV
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2011
-
2. Auxílio à leitura de textos em português facilitado: questões de acessibilidade / Reading assistance for texts in facilitated portuguese: accessibility issues
The large capacity of Web for providing information leads to multiple possibilities and opportunities for users. The development of high performance networks and ubiquitous devices allow users to retrieve content from any location and in different scenarios or situations they might face in their lives. Unfortunately the possibilities offered by the Web are n
Publicado em: 2010
-
3. Automated formal specification generation and refinement from requirement documents
The automatic generation of formal specifications from requirements suppresses the complexity of formal models manual creation and reveals the immediate benefits of its usage, such as the possibility to carry out refinements, and property verification, which contributes to project cost reduction and quality improvement. This paper proposes a Controlled Natur
Journal of the Brazilian Computer Society. Publicado em: 2008-03
-
4. Sobre o uso da gramática de dependência extensível na geração de língua natural: questões de generalidade, instanciabilidade e complexidade / On the application of extensible dependency grammar to natural language generation: generality, instantiability and complexity issues
Natural Language Generation (NLG) concerns assigning linguistic form to data in nonlinguistic representation (Reiter &Dale, 2000); Linguistic Realization (LR), in turn, comprises all strictly target language-dependent NLG tasks. This work looks into RL systems from the perspective of three fundamental requirements - namely generality, instantiability, and co
Publicado em: 2008
-
5. VERIFICAÇÃO E VALIDAÇÃO EM REQUISITOS: PROCESSAMENTO DA LINGUAGEM NATURAL E AGENTES / REQUIREMENTS VERIFICATION AND VALIDATION: NATURAL LANGUAGE PROCESSING AND SOFTWARE AGENTS
No processo de desenvolvimento do software, atividades relacionadas ao Processo de Requisitos envolvem elicitação, modelagem, verificação e validação dos requisitos. O uso da linguagem natural no registro dos requisitos facilita a comunicação entre os participantes do processo, além de possibilitar que clientes e usuários validem requisitos sem nec
Publicado em: 2007
-
6. Mapeamento e construÃÃo de um processo de aprendizagem baseado em competÃncias conversacionais para a realizaÃÃo da elicitaÃÃo de requisitos
The main problem observed by researches and reports with softwareâs engineering is the inadequate approach that the developers and users have been used during the project. This process frequently happen in the beginning of the construction of requirement eliciting, consequence of the conversations. Because conversations is the more natural and common activi
Publicado em: 2007
-
7. Identidades de gênero emergentes na fala-em-interação em negociação da esterilização
The poststructuralist conception of identity, no longer seen as static, pre-discursive and natural, nor centered in the arguments of deficit, dominance and difference, proposes that there are several identities negotiated in situated sociocultural contexts (BUCHOLTZ and HALL, 2005; WENGER, 1998; ECKERT and McCONNELL-GINET, 1992; OSTERMANN, 2003, 2006; BUTLER
Publicado em: 2007
-
8. NLForSpec: Uma Ferramenta para GeraÃÃo de EspecificaÃÃes Formais a partir de Casos de Teste em Linguagem Natural
This work describes the NLForSpec, a Natural Language Processing tool to translate software test cases descriptions in English into a formal representation. NLForSpec is part of a larger project (CIn-Motorola BTC Test Research Project), which aims to automate test case generation, selection and evaluation for mobile phone applications. One of the projects ma
Publicado em: 2006
-
9. An implemetantion of policies in web servers.
The development of Web based software has acquired a more important role to the business success in the Internet. The softwares are used by users that require dynamic, customized, fast and secure interactions. A characteristic for the success of the Web-based paradigm is the fact that the client is relatively simple and most of the integration and system dec
Publicado em: 2004
-
10. Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
We present a system to analyse a set of assertions, to introduce the analysed assertions into a knowledge base and to retrieve informationfrom it. These assertions are requirements specified by the system engineer. They correspond to a particular type of sentences in Natural Language referring to Space Science context. The assertions are stored in the Knowle
Publicado em: 1995
-
11. Um assistente especialista para especialização de requisitos
Requirements specification, the first phase of software development, has been always one of the main concerns of the software engineering. Nowadays, several techniques and methodologies try to solve, in a friendly manner, the difficulties encountered in this phase. In this thesis the architecture of an assistant, expert in methodologies, is defined. Its func
Publicado em: 1992
-
12. Models of natural language understanding.
This paper surveys some of the fundamental problems in natural language (NL) understanding (syntax, semantics, pragmatics, and discourse) and the current approaches to solving them. Some recent developments in NL processing include increased emphasis on corpus-based rather than example- or intuition-based work, attempts to measure the coverage and effectiven