950 resultados para NiPAT, code pattern analysis, object-oriented programming languages
Resumo:
O desenvolvimento de artefatos de software é um processo de engenharia, como todo processo de engenharia, envolve uma série de etapas que devem ser conduzidas através de uma metodologia apropriada. Para que um determinado software alcance seus objetivos, as características conceituais e arquiteturais devem ser bem definidas antes da implementação. Aplicações baseadas em hiperdocumentos possuem uma característica específica que é a definição de seus aspectos navegacionais. A navegação é uma etapa crítica no processo de definição de softwares baseados em hiperdocumentos, pois ela conduz o usuário durante uma sessão de visita ao conteúdo de um site. Uma falha no processo de especificação da navegação causa uma perda de contexto, desorientando o usuário no espaço da aplicação. Existem diversas metodologias para o tratamento das características de navegação de aplicações baseadas em hiperdocumentos. As principais metodologias encontradas na literatura foram estudadas e analisadas neste trabalho. Foi realizada uma análise comparativa entre as metodologias, traçando suas abordagens e etapas. O estudo das abordagens de especificação de hiperdocumentos foi uma etapa preliminar servindo como base de estudo para o objetivo deste trabalho. O foco é a construção de uma ferramenta gráfica de especificação conceitual de hiperdocumentos, segundo uma metodologia de modelagem de software baseado em hiperdocumentos. O método adotado foi o OOHDM (Object-Oriented Hypermedia Design Model), por cercar todas as etapas de um processo de desenvolvimento de aplicações, com uma atenção particular à navegação. A ferramenta implementa uma interface gráfica onde o usuário poderá modelar a aplicação através da criação de modelos. O processo de especificação compreende três modelos: modelagem conceitual, modelagem navegacional e de interface. As características da aplicação são definidas em um processo incremental, que começa na definição conceitual e finaliza nas características de interface. A ferramenta gera um protótipo da aplicação em XML. Para a apresentação das páginas em um navegador Web, utilizou-se XSLT para a conversão das informações no formato XML para HTML. Os modelos criados através das etapas de especificação abstrata da aplicação são exportados em OOHDM-ML. Um estudo de caso foi implementado para validação da ferramenta. Como principal contribuição deste trabalho, pode-se citar a construção de um ambiente gráfico de especificação abstrata de hiperdocumentos e um ambiente de implementação de protótipos e exportação de modelos. Com isso, pretende-se orientar, conduzir e disciplinar o trabalho do usuário durante o processo de especificação de aplicações.
Resumo:
The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.
Resumo:
O que nos move!!! Nos dias de hoje, é fundamental que as organizações públicas se posicionem na vanguarda da tecnologia para enfrentarem a exigência, cada vez mais crescente, da população. O ambiente em que vivemos se caracteriza por ser altamente dinâmico. A cada dia, os constantes processos de mudança nos apresentam novos problemas, novas responsabilidades. Este trabalho tem como proposta explorar um tema delicado para as organizações públicas: as informações gerenciais. Um dos problemas da administração pública é justamente a imensa quantidade de informações que se podem fazer disponíveis a um administrador. A grande questão é como selecionar e organizar, dentro dessa disponibilidade, aquelas informações realmente úteis. o assunto "Processo Decisório" é muito abrangente e, o enfoque da necessidade de informações também já foi amplamente discutido. Entretanto, esta dissertação pretende observar as informações gerenciais e os sistemas de informações por um outro prisma, que será o da inserção destas ferramentas dentro das esferas governamentais, como apoio à tomada de decisão e a transparência da gestão pública. Este enfoque ressalta a importância e demonstra a viabilidade de se implantar sistemas de informações gerenciais. O tema teve como objeto de análise, o Sistema de Informações Gerenciais da Controladoria Geral do Município do Rio de Janeiro.
Resumo:
This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.
Resumo:
VALENTIM, R. A. M. ; SOUZA NETO, Plácido Antônio de. O impacto da utilização de design patterns nas métricas e estimativas de projetos de software: a utilização de padrões tem alguma influência nas estimativas?. Revista da FARN, Natal, v. 4, p. 63-74, 2006
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
Resumo:
Shows up the memory of the elderly, as a consistent experience in the in the construction of the social memory of Janduís, Rio Grande do Norte, where the research takes place. Through an autobiographic narrative, in a qualitative approaching, the intent is to stand up aspects about the individual history and collective memories, starting in a simple question: what did they remember? A question that turns into many others, as how the remember and under which circumstances. So, the lived and remembered moments are the subject of this paper, as these testimonials shows and reveals the citizens typical aspects, intending to telling (again) the city s history by the memories of this people. By oral statements and the analysis that followed, subjective aspects that made a social memory, highlight in violent episodes, that, now remembered, occurred in the historical sediment, which connects several social times, establishing a narrative standard. In Janduís, this standard is about the memory that sticks out their individual ways, and the collective life, in the past, standing out the fair and the events that occurred on it, as the most remembered place, where the memories go stronger. When they narrate are incorporated others facts, the story is reinvented, connecting the past to the future. The paper also revels builders subjects aspects of a social memory, as historical sediment that joins the social times. At the present moment, the fair, to them, is a place that doesn t exist anymore; for the city, is a place of enlargement of women s presence at the trending spaces, which means a place of social transformation. That being said, the fair, in both times, present and past, turns into a analysis object, with important elements to reference narrative s time and place. And how the narrative update the past recorded in the old citizen s memory. What was intended to do was articulate the memory and the history form temporal and special etching that define the place and the narrative context: the lived and the remembered at the group s day by day. In that way, were identify the collective memory s common elements, enunciating the memory and the narratives that update that history, influencing and being influenced, forming in memories in a collective phenomenon fueling the local imaginary
Resumo:
Study about the national politics on the professional education, under responsibility of the brazilian Work Department in 1990 years. Purposes to apprehend the results of the actions of the professional education in a basic level, offered by the National Plan of the worker qualification ( PLANFOR ), as well as the effects on the assisted exits, starting from the experience appreciated on the Plan of Qualification developed in the state of Maranhão between 1996 to 2000. It adopts a theoretical-methodological conception by an ontological nature, if being worth of categories as the one of totality and of mediation that together, makes possible the apprehension of a dialectical movement that happens among the analysis object, the professional education politics in a basic level, performed by PLANFOR and your context, the underdevelop and heterogeneous Brazilian capitalism and the consequent job market generalized precarious and informal, making possible that the reality investigated become to understood rationally. This paper uses the indirect documentation technique, instruments of the bibliographical research and documental research. This study is based on those that aren´t part of PLANFOR, qualified by professional education courses in basic level,they didn't get to be inserts at the formal job market, just occupying precarious occupations in the informal job market. Aims to presents and discusses the productive process and your restructuring globally in progress. It focuses at the impacts on the workers, the precariousness of the work that appears like a new phenomenon calls new informality. Talks about the particularity process of productive restructuring assumed in Brazil highlights, showing that the informality, was always a structural phenomenon in the country. Discusses about the professional qualification in the contemporary capitalism, specifying some of your theses. Shows in a historical view the process of appearance of the employment notions and competence, and the influence that it exercised on the reforms of the basic and professional education, as well as the implications of both in the politics of professional education in the country. Rescues the process of creation of PLANFOR, your official formulations and your organized bases, starting from the second half of the 1990 decade. Shows yet the continuos changes in the job market of Maranhão state, for after, starting from the reports expresses at the Plans of Qualification from the state, elaborated by the Group of Evaluation and Studies of the Poverty and the Politics addressed to the poverty from the Master degree Program in Public Politics, from the Federal University of Maranhão, analyzing the acting of PLANFOR in the State, your probable deficiencies, as results the changes verified in the conditions of occupation and the gains of the exits from the professional education courses in basic level
Resumo:
The control of industrial processes has become increasingly complex due to variety of factory devices, quality requirement and market competition. Such complexity requires a large amount of data to be treated by the three levels of process control: field devices, control systems and management softwares. To use data effectively in each one of these levels is extremely important to industry. Many of today s industrial computer systems consist of distributed software systems written in a wide variety of programming languages and developed for specific platforms, so, even more companies apply a significant investment to maintain or even re-write their systems for different platforms. Furthermore, it is rare that a software system works in complete isolation. In industrial automation is common that, software had to interact with other systems on different machines and even written in different languages. Thus, interoperability is not just a long-term challenge, but also a current context requirement of industrial software production. This work aims to propose a middleware solution for communication over web service and presents an user case applying the solution developed to an integrated system for industrial data capture , allowing such data to be available simplified and platformindependent across the network
Resumo:
This work has as objective generality to make a multidimensional analysis in the genre journalistic assay, communicative genre that, beyond complex and multimodal, presents hybrid characteristics. Specifically, with the intention to propose defining criteria of the cited genre, this research looks for to establish differences and similarities between the assay and other genres of the same sphere, from the description and interpretation of used multimodal resources. The analysis of the formal, schematical and rhetorical resources identified in the formatting of the journalistic assay sample that the analyses are supported in the socio-semiotic and socio-rhetorical approaches. In the formal dimension, we contemplate elements that constitute design of the text, including the forms of representation from the typography, the colors, images, as well as the aspects communicative-linguistics: the modalization indices, the communicative operators and the category time; in the schematical dimension, we present the organizational structure, considering the rhetorical movements postulates for Swales (1990) and in the rhetorical dimension we observe the categories: who writes, for who it writes, on what it writes and where writes. The adopted methodologicals postulates are of qualitative nature and the procedure is documentary, data that in we are valid them written texts of this genre as analysis object. Corpus it is constituted by a composed sample for 14 extracted texts of a set of 173 propagated journalistic assays weekly for the magazine Veja, in the period between August of 2004 and January of 2008. The analysis of the data showed that the journalistic assay, object of this study, materializes through multiple symbolic representations and multiple subjects that turn since a small episode of the daily facts of great social relevance in the present time, of historical and cultural nature, nationwide or international. Used for the first time by Montaigne in 1580, to assign, in saying of the proper author, written fast on its life and historical events, which could nor be remembered later , the term `assay' was enriched with other specifications, of form to enclose the one that if they call scientific assay today, academic assay, journalistic assay and other types of specific assays. These denominations have to see with the enrollment of the members of diverse of practices communities, in virtue of the multiplicity of activities carried through in these spheres. The conclusions the one that we arrive had been the following ones: 1. the discursive genre is not a pure entity, in virtue of the multiplicity of situations where the sorts if insert in the social actions; 2. the institutions define the configuration of one definitive genre, also its proper assignment, since for backwards of all discursive genre a voice exists to discipline - institutional voice, and in the case of the assays for analyzed us, the institutional voice if it presents, really, as a defining trace; 3. the journalistic assay, for its multiple symbolic representations, multiple subjects and for passing explicit or implicit opinions of its author, resembles it other genres, being able, therefore, to be inserted in a colony of opinionatives genres
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The presence of Mycobacterium bovis in bovine carcasses with lesions suggestive of tuberculosis was evaluated. Seventy-two carcass samples were selected during slaughter inspection procedures in abattoirs in the state of Mato Grosso do Sul, Brazil. Seventeen (23.6%) of samples showed colonies suggestive of mycobacteria that were confirmed to be acid-fast bacilli by Ziehl-Neelsen staining. Polymerase chain reaction (PCR) using primers specific for M. bovis identified M. bovis in 13 (76.5%) isolates. The PCR-restriction enzyme pattern analysis using gene encoding for the 65-kDa protein and two restriction enzymes identified the remaining four isolates that were represented by two M. tuberculosis complex and two nontuberculous mycobacteria. The results are indicative of infection of slaughter cattle by M. bovis and other mycobacteria in the state of Mato Grosso do Sul.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)