705 resultados para Linguagens documentárias alfabéticas


Relevância:

20.00% 20.00%

Publicador:

Resumo:

O item não apresenta o texto completo, para aquisição do livro na íntegra você poderá acessar a Editora da UFSCar por meio do link: www.editora.ufscar.br

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O item não apresenta o texto completo, pois está passando por revisão editorial

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O item não apresenta o texto completo, pois está passando por revisão editorial

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O professor faz apresentação das linguagens de programação C++ e Java. Ilustra o que são linguagens de programação e faz uma comparação entre as duas linguagens, mostrando o que cada uma disponibiliza para o desenvolvimento dos projetos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Investiguei a arte como estratégia de ensino/aprendizagem e como esta prática estabelece quebra de paradigmas e incentivo à autonomia discente. Para tanto fiz uma breve descrição histórica acerca do panorama teórico correlacionado com o percurso das inovações educacionais desde o final da Idade Média até a contemporaneidade, buscando identificar de que forma o acúmulo teórico-metodológico gerado por este itinerário influenciou na disciplina Arte/Educação e no seu potencial inovador. Observei ainda como a ilustração textual, produzida pelos educandos, funciona como veículo de reelaboração crítica de suas realidades mediata e imediata. Esta investigação teve como sujeitos alunos do nono ano do Ensino Fundamental II, no decorrer de 2011, na escola autogestionária Waldorf Micael, em Fortaleza, Ceará, Brasil. Ao longo das observações, procurei responder às seguintes questões: De que maneira a ilustração textual se configura na qualidade de mediadora de processos interpretativos no contexto de ensino/aprendizagem em arte e literatura? De que forma, ela, no contexto da sistemática pedagógica, se revela como ferramenta de inovação pedagógica? Qual a sua importância no desenvolvimento do senso crítico do educando, e como tal fato se configura inovador? Como interfere na apreensão da realidade do educando, no seu aspecto estético, político e social? Os dados da investigação foram obtidos por meio de entrevistas, análise documental e observação participante; dessa forma esta pesquisa configurou-se como qualitativa, do tipo etnográfica e de base hermenêutica.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

VANTI, Nadia et al. Linguagens de indexação: uso das linguagens presentes na prática da indexação.In:ENCONTRO REGIONAL DE ESTUDANTES DE BIBLIOTECONOMIA, DOCUMENTAÇÃO, CIÊNCIA DA INFORMAÇÃO E GESTÃO DA INFORMAÇÃO,14, 2011, Maranhão. Anais... Maranhão: EREBD, 2011.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The spread of the Web boosted the dissemination of Information Systems (IS) based on the Web. In order to support the implementation of these systems, several technologies came up or evolved with this purpose, namely the programming languages. The Technology Acceptance Model TAM (Davis, 1986) was conceived aiming to evaluate the acceptance/use of information technologies by their users. A lot of studies and many applications have used the TAM, however, in the literature it was not found a mention of the use of such model related to the use of programming languages. This study aims to investigate which factors influence the use of programming languages on the development of Web systems by their developers, applying an extension of the TAM, proposed in this work. To do so, a research was done with Web developers in two Yahoo groups: java-br and python-brasil, where 26 Java questionnaires and 39 Python questionnaires were fully answered. The questionnaire had general questions and questions which measured intrinsic and extrinsic factors of the programming languages, the perceived usefulness, the perceived ease of use, the attitude toward the using and the programming language use. Most of the respondents were men, graduate, between 20 and 30 years old, working in the southeast and south regions. The research was descriptive in the sense of its objectives. Statistical tools, descriptive statistics, main components and linear regression analysis were used for the data analysis. The foremost research results were: Java and Python have machine independence, extensibility, generality and reliability; Java and Python are more used by corporations and international organizations than supported by the government or educational institutions; there are more Java programmers than Python programmers; the perceived usefulness is influenced by the perceived ease of use; the generality and the extensibility are intrinsic factors of programming languages which influence the perceived ease of use; the perceived ease of use influences the attitude toward the using of the programming language

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work presents the tVoice, software that manipulates tags languages, extracting information and, being integral part of the VoiceProxy system, it aids bearers of special needs in the access to the Web. This system is responsible for the search and treatment of the documents in the Web, extracting the textual information contained in those documents and preceding the capability of generating eventually through translation techniques, an audio script, used by the of interface subsystem of VoiceProxy, the iVoice, in the process of voice synthesis. In this stage the tVoice, besides the treatment of the tag language HTML, processes other two formats of documents, PDF and XHTML. Additionally to allow that, besides the iVoice, other interface subsystems can make use of the tVoice through remote access, we propose distribution systems techniques based in the model Client-Server providers operations of the fashion of a proxy server treatment of documents

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trata-se de um exercício de leitura da coreografia Night Journey (1947), de Martha Graham, como reinvenção do texto de Édipo rei (século IV a. C.), de Sófocles. Pretende-se esboçar um estudo em que se evidenciem os processos interartísticos entre literatura e dança.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O presente artigo encontra-se inserido dentro de um estudo que busca compreender as principais alternativas para a inclusão de alunos com deficiência visual no contexto do ensino de física. Focalizando aulas de óptica, analisa as viabilidades comunicacionais entre licenciandos e discentes com deficiência visual. Para tal, enfatiza as estruturas empírica e semântico-sensorial das linguagens utilizadas, indicando fatores geradores de acessibilidade às informações veiculadas. Recomenda, ainda, alternativas que visam dar condições à participação efetiva do discente com deficiência visual no processo comunicativo, das quais se destacam: a identificação da estrutura semântico-sensorial dos significados veiculados, o conhecimento da história visual do aluno, a utilização de linguagens de estrutura empírica tátil-auditiva interdependente em contextos interativos, bem como, a exploração das potencialidades comunicacionais das linguagens constituídas de estruturas empíricas fundamental auditiva, e auditiva e visual independentes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A comparative evaluation was made of the use of natural language versus two specialized indexing languages, aiming to demonstrate the influence of the availability of indexing languages on the functioning of information retrieval systems. The study was conducted within the ambit of the construction of search strategies by subject in online university library catalogs. The precision ratio was calculated to determine the accuracy of each indexing language in subjectbased information retrieval. From the comparative evaluation of the use of indexing languages, it was concluded that the term specificity required by the user during retrieval was more satisfactory when the query was made through controlled languages, whose availability and simplicity is also an indispensable requisite.