• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1008
  • 110
  • 72
  • 23
  • 23
  • 23
  • 21
  • 15
  • 7
  • 7
  • 6
  • 6
  • 6
  • 4
  • 4
  • Tagged with
  • 1210
  • 308
  • 287
  • 273
  • 271
  • 268
  • 229
  • 194
  • 192
  • 182
  • 168
  • 152
  • 148
  • 127
  • 118
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
811

A modelagem de documentos estruturados multitmídia integrando sistemas de hipertextos e ODA/ODIF / The modeling of multimedia structured documents integrating hypertexts systems and ODA/ODIF

Perez, Celso Roberto January 1994 (has links)
Há um grande numero de aplicações que necessitam manipular documentos. Tal manipulação exige uma gerência dos mesmos nas tarefas de criação, armazenamento, recuperação e transmissão. Estas tarefas devem levar em conta características e aspectos inerentes aos documentos tais como estrutura lógica, estrutura de apresentação e hiperestrutura formada pelas referências internas e externas existentes nos documentos envolvidos. A multimídia estabelece novos requisitos para os sistemas de gerência de documentos estruturados. Gráficos, sons, e imagens contêm informações que enriquecem o conteúdo textual tradicional dos documentos, podendo ser potencialmente explorados pelos usuários em um processo de formulação de consultas e busca de documentos. A complexidade das aplicações que manipulam documentos estruturados e do tipo multimídia exige o apoio de modelos capazes de expressar características semanticamente mais ricas. Desta forma, tais modelos devem permitir modelar as seguintes estruturas: lógica, de apresentação e hiperestrutura. A adoção de um modelo conceitual de documentos é fator determinante nas possibilidades oferecidas para consultas e recuperação dos referidos documentos. Para a especificação e definição de tal modelo, foram consideradas duas possibilidades: i) utilização dos sistemas de hipertextos, nos quais a ênfase é fornecer um corpo estruturado de objetos com ligações conectando objetos relacionados. Aqui, a estrutura está projetada especificamente para auxiliar aos leitores a navegar através da informação, ii) uso do padrão de documentos eletrônicos ODA/ODIF, o qual dá ênfase à composição e controle da forma dos documentos, preocupando-se, também, com a divisão layout-estrutura-conteúdo dos mesmos, mas faltando nele um tratamento específico em relação às características hipertextuais. Neste trabalho se considera que a integração destas duas filosofias permitirá, de uma maneira natural, a modelagem de Documentos Estruturados Multimídia. As pesquisas e propostas para combinar estas duas opções foram escassas no passado e se desconhecem trabalhos deste tipo visando a Gerência de Documentos Estruturados Multimídia. Como resultado desta integração, no presente trabalho é definido e especificado o meta-modelo OHypA (Office HyperDocument Architecture), que pode ser considerado como uma extensão do padrão ODA/ODIF. Tal meta-modelo terá uma aplicação real e prática pela combinação da tecnologia de hipermídia e a representação de documentos do tipo ODA. Assim sendo, uma vez que o presente trabalho trata a modelagem de Documentos Estruturados Multimídia , envolvendo as áreas definidas, ele permitirá o estudo e delineamento de possíveis soluções para problemas comuns resultantes da integração das referidas áreas. Finalmente, serão integrados dois enfoques em pleno desenvolvimento, resultando num meta-modelo orientado a objetos, que será facilmente integrado a um Sistema de Banco de Dados Orientado a Objetos. / There it a great number of applications that need a document manipulation. Such manipulation demands a management of these documents on tasks like creation, storage, recovery and transmission. Such tasks should consider marks and aspects inherent on documents such as logical structure, presentation structure and hyperstructure, shaped by internal and external references existent in the documents involved. Multimedia establishes new requirements for management systems of structured documents. Graphics, sounds and images contain informations which increase the traditional textual content from the documents that might be potentially explored by user in a process of formulation- queries and search for documents. The complexity of the applications that manipulate structured documents and the kind of multimedia, demands support from models which are able to express characteristics semanually ricer. This way, such models must allow the modeling of the following structures: luzical, presentation and hyperstructure. The adoption of a respected model of documents is a main factor on the offered possibilities for queries and recovering of the reported documents. For spt-Afication and definition of such model, two possibilities were considered: i) utilization of hypertexts systems, in which the emphasis is to provide a structured body of objets connecting other objects related. Here, the structure is designed specificity to help re.ers to navigate through the information, ii) application of the electronic documents model ODA/ODIF, which emphasizes the composition and control of the documents shape, worries also about its sharing of layout-structure-content, but lacks an specific treatment in relation to hypertextual characteristics. This work considers that the integration of these two philosophies will allow, in a natural way, the modeling of multimedia structured documents. The researches and proposals to connect these two options used to be rare in the past. Besides, works that emphasizes the Management of Multimedia Structured Documents are unknown. As a result of such integration, this work describes precisely the OHypA metamodel (Office HyperDocument Architecture) which might be consider as an extension of the ODA/ODIF model. This metamodel will have a real and practical application with the connection of hypermedia technology and the representation of ODA documents. This way, since this work is about the modeling of Mul timedia Structured Documents, covering the described areas, it'll allows the study and outline of possible solutions to common problems that come from the integration of such areas. Finally, two topics in development will be integrated, resulting in a objectoriented metamodel, that should be easily integrated in a Object-Oriented Data Base System.
812

Evolução de esquemas em bancos de dados orientados a objetos utilizando versões / Schema evolution in object oriented data bases using versions

Fornari, Miguel Rodrigues January 1993 (has links)
Este trabalho apresenta um mecanismo para evolução de esquemas para bancos de dados orientados a objetos. A necessidade de alteração do esquema conceitual de dados pode surgir em qualquer momento da vida de um sistema, por motivos como incorporar novas especificações e necessidades do usuário, reaproveitamento de classes em outros sistemas a correção de falhas de modelagem. Uma ferramenta deste tipo deve permitir ao usuário a maior variedade possível de alterações e, ao mesmo tempo, possibilitar um alto grau de independência lógica de dados, para reduzir ao máximo possível a necessidade de alteração dos programas de aplicação que utilizam o esquema. O modelo de dados utilizado está baseado nos modelos de outros sistemas orientados a objetos, como Orion é O2. Ele permite a definição de classes, atributos simples e construídos pelo usuário, métodos, como forma de encapsular os objetos e herança múltipla de atributos e métodos para subclasses. Além disso, para manter o histórico de modificações realizadas, versões de instâncias, classes e métodos são utilizadas. Versões de um objeto formam um grafo acíclico, sendo a versão mais recente a "default". Como forma de manter a coerência no uso de versões de diferentes objetos, o conceito de contextos de esquemas é definido. A proposta baseia-se no conceito de invariantes, condições básicas para a base de dados ser considerada válida e consistente pelo sistema. Invariantes estruturais e comportamentais são definidos e mantidos. Diversas operações que podem ser realizadas sobre um esquema são descritas, detalhando para cada uma as suas opções e efeitos. Alguns mecanismos auxiliares para aumentar a transparência de alterações de esquemas são esboçados. Como uma aplicação específica do mecanismo genérico apresentado, outro é desenvolvido para o ambiente STAR. Seu modelo de dados e os gerentes de versões e metodologia são explicados, tendo suas características mais relevantes para este trabalho detalhadas. Tomando o esquema de objeto como um esquema de dados e as tarefas do gerente de metodologias como métodos, o mecanismo também se baseia em invariantes que são utilizados para validar a correção das modificações realizadas, cuja semântica está descrita detalhadamente. O mecanismo definido revelou-se extremamente flexível e capaz de manter não só o histórico do desenvolvimento de determinada aplicação, como também alternativas de um mesmo sistema que esteja sendo construído utilizando um banco de dados orientado a objetos, tendo atendido satisfatoriamente aos requisitos básicos definidos inicialmente. / This work presents a schema evolution mechanism, based on an object oriented data model. Conceptual schema modifications are needed al any moment in the life cycle of a system, for example, to incorporate new specifications and users' solicitations, to reuse classes developed for other system and to correct modeling errors. This mechanism has to allow a great number of different operations and, at the same time, a high data logic independence to reduce the number of changes in applications programs. For this proposal we are considering an object oriented data model, similar to those existing in Orion and O2. Class definitions, simple attributes and attributes constructed by the user, methods to encapsulate objects and multiple inheritance of attributes and methods to subclasses are allowed. Instances, classes and methods are versionable. Connected directed acyclic graphs organize the versions of an object. There is one current version, which either is the most recent (the default) or one defined by the user. Schema contexts are introduced to keep track of the correspondence that exists among all the versions created, assuring the selection of a method version adequate for a version instance. The mechanism is based on schema invariants, that are basic conditions that always must be satisfied in order to insure that the schema is in a correct state. Structural and behavioral invariants are defined and checked by the system. The designer can use a complete set of operations to change the schema. The semantic of all operations is described, with its options and effects. Some auxiliary mechanisms are incorporated to facilitate schema change transparency. As an application, a generic mechanism for schema evolution is developed to the STAR framework. The data model, version and methodology managers of STAR are explained. The mechanism is based on invariants to validated changes considering an object schema as conceptual schema. and the methodology manager tasks like methods. The mechanism is extremely flexible and capable of maintaining the history of schema development and alternatives of classes ; methods and instances' descriptions. The previously defined characteristics are allowed in a satisfactorily way, resulting in a very useful tool for software design.
813

Um modelo de paralelismo de grao fino para objetos distribuidos / A fine-grain parallelism model for distributed objects

Avila, Rafael Bohrer January 1999 (has links)
Esta Dissertação apresenta um modelo de paralelismo de grão fino para utilização em aplicações baseadas em objetos distribuídos. A pesquisa é desenvolvida sobre o modelo de distribuição de objetos da linguagem DPC++, uma extensão de C++ concebida na Universidade Federal do Rio Grande do Sul. A motivação para o desenvolvimento deste modelo é a crescente disponibilidade de arquiteturas multiprocessadas e de tecnologias de comunicação de alto desempenho, o que permite o aproveitamento eficiente de um nível de concorrência de menor granularidade. O objetivo do trabalho é integrar de forma adequada e eficiente a utilização de tal nível de concorrência no modelo original de distribuição de objetos de DPC++, permitindo que as aplicações desenvolvidas com a linguagem possam explorar ao máximo o poder computacional oferecido pelas arquiteturas citadas. Como principais características, o modelo proposto apresenta a capacidade de concorrência entre os métodos de um mesmo objeto distribuído e a introdução de um mecanismo de sincronização baseado na semântica de monitores. Os resultados obtidos com a implementação de uma aplicação de geração de fractais de Mandelbrot demonstram que, em termos de desempenho, o modelo apresentado efetivamente atinge seus objetivos. Além disso, a extinção a sintaxe original de programação de DPC++ revela importante contribuição no sentido de aumentar o poder de expressão da linguagem para o desenvolvimento de aplicações paralelas. / This Thesis presents a fine-grain concurrency model for applications based on distributed objects. The basis for the development of this research is the model of distribution of objects presented by the language DPC++, an extension of C++ conceived at the Federal University of Rio Grande do Sul. The motivation for the development of this model is the growing availability of multiprocessor architectures and high-performance communication technologies, which allows for the efficient use of a finer grain of concurrency. The purpose of this work is to efficiently integrate such level of concurrency into the original model of distribution of objects of DPC++, making it possible for the applications developed with the language to thoroughly explore the computational power offered by the mentioned architectures. As main features the proposed model presents the possibility of concurrency between the methods of a single distributed object and the introduction of a synchronisation mechanism based on the semantics of monitors. The results obtained with the implementation of aMandelbrot fractal generation application showthat, in relation to performance, the presented model effectively reaches its purposes. In addition, the extension to the original programming sintax of DPC++ reveals an important contribution towards a higher expressivity degree in the development of parallel applications.
814

Troca dinâmica de versões de componentes de programas no modelo de objetos

Haetinger, Werner January 1998 (has links)
A manutenção de software a uma realidade presente em todos os sistemas de computação, gerando a necessidade de novas versões que alterem as funcionalidades existentes no software ou adicionem novas. Particularmente, sistemas de tempo-real nem sempre podem ser descontinuados tomando-se indisponíveis para realizar a instalação de uma nova versão. Tais sistemas evidenciam a necessidade de substituição de componentes, representados por funções, procedimentos, módulos ou objetos, durante o processo de execução do programa ou sistema. Outrossim, apos ser realizada a substituição da versão, o componente não pode apresentar falha sob pena de comprometer o fornecimento dos seus serviços. Portanto. constata-se a importância de novas técnicas de manutenção de software que não prejudiquem a sua disponibilidade e confiabilidade. A abordagem aqui proposta a utilizar uma arquitetura reflexiva aliada a técnicas típicas do domínio da tolerância a falhas para promover a separação entre as atividades de substituição e validação de componentes e as funcionalidades executadas pelo pr6prio componente. No decorrer deste trabalho são apresentados diversos cenários de sistemas que podem se beneficiar da troca dinâmica de componentes e abordadas varias facetas do problema de substituição. A proposta a apoiada por um estudo de caso, implementado na linguagem de programação Java e seus diferentes protocolos de reflexão computacional. / Software maintenance is a present reality in all computational systems. This demands the frequent installation of new versions. Usually, real-time systems cannot be interrupted to install a new version. For such systems, the replacement of components, represented by functions, procedures, modulus or objects, must be performed during the execution of the program or system. Even when the old version has been replaced, the new one should not contain faults that could invalidate its services. Therefore, we need new software maintenance techniques that can mantain the system availability and realibility. The approach proposed here consists in using a reflective architecture along with techniques which are typical of the fault tolerant domain. The procedure is carried out by keeping a clear separation between validation activities and the functions executed by the component itself. We present several scenarios to which the dynamical exchange of components can be applied. Different aspects of the replacing issue are also addressed. The proposal is supported by a specific application which has been implemented in the Java language and its different protocols of computational reflection.
815

Um conjunto de classes para simulacao interativa visual de processadores no ambiente simoo / A class set for visual interactive simulation at SIMOO environment

Ferreira, Luciano January 1998 (has links)
O Projeto T&D-Bench (Teaching and Design Workbench) tern como objetivo fornecer um ambiente didático para fins de avaliação de desempenho de processadores utilizando modelagem e simulação interativas visuais. A aplicação dos conceitos de orientação a objetos (abstração, encapsulamento, herança e polimorfismo) em modelagem de hardware vem sendo amplamente discutida na literatura. Entre os benefícios que este paradigma traz para os modelos de hardware pode-se citar: maior responsabilidade dos modelos, melhor documentação e facilidade de manutenção. O ambiente SIMOO é composto por uma biblioteca de classes e por uma ferramenta gráfica (MET - Model Edition Tool). Este ambiente, utilizado como plataforma para o desenvolvimento deste trabalho, é um ambiente genérico para modelagem e simulação de sistema discretos no qual os modelos sAo construídos de maneira hierárquica e utilizam os conceitos de orientação a objetos como metodologia de projeto e implementação. Este trabalho é a primeira etapa de desenvolvimento do projeto T&D-Bench e iniciou com a modelagem dos processadores Intel 8051 e DLX. Com isso foi possível identificar componentes de arquitetura de processadores que pudessem ser generalizados. As classes genéricas, juntamente com um conjunto de classes para visualização e interação implementadas especialmente para atender as necessidades iniciais do projeto T&D-Bench, foram utilizadas para refazer os modelos dos processadores citados anteriormente e para servir como base para a modelagem do processador PowerPC. Com isso, pode-se fazer uma analise sobre a utilização do paradigma de orientação a objetos em modelagem de processadores e sobre a utilização do ambiente SIMOO para modelagem de hardware. Este trabalho também ajudou na validação do ambiente SIMOO. / The goal of the T&D-Bench (Teaching and Design Workbench) project is to supply a didactic environment for evaluating the performance of processors by using visual interactive modelling and simulation. The application of object-orientation concepts (abstraction, encapsulation, inheritance and polymorphism) in hardware design is being discussed thoroughly in the literature. Among the benefits that this paradigm brings to the hardware modeling we can mention: greater model reusability, better documentation and easier maintenance. The SIMOO environment is composed by a library of classes and a graphic tool (MET - Model Edition Tool). This environment, used as platform for the development of this work, is a generic environment for design and simulation of discrete systems, in which the models are built in a hierarchical way and use the object-orientation concepts as project and implementation methodology. This work is the first stage of development of the T&D-Bench project and began with the design of the Intel 8051 and DLX processor models. This made possible to identify components of processor architectures that could be generalized. The generic classes, together with a set of classes for visualization and interaction specially implemented to assist T&D-Bench's initial needs, were used to redesign the models of the previously mentioned processors and to serve as a base for the design of the PowerPC processor model. With that, it was possible to analyze the use of the object-orientation paradigm in designing processors and the use of the SIMOO environment for hardware design. This work also helped in the validation of the SIMOO environment.
816

Ambiente de modelagem e implementação de sistemas tempo real usando o paradigma de orientação a objetos / Modeling and implementation environment for the development of real-time systems using object oriented paradigm

Becker, Leandro Buss January 1999 (has links)
Este trabalho descreve o desenvolvimento de um ambiente integrado para modelagem, simulação e implementação de sistemas de tempo real distribuídos (STRD), especialmente aqueles voltados para automação industrial. O ambiente proposto faz use do paradigma de orientação a objetos, sendo baseado no ambiente SIMOO, desenvolvido no Âmbito de uma tese de doutorado no CPGCC. A motivação para a realizado deste trabalho surgiu através de alguns estudos de caso, que constataram que as ferramentas CASE existentes não incorporavam todas as propriedades desejadas em termos de suporte para modelagem e implementação dos STRD. Dentre estas propriedades, destacam-se a capacidade para especificação de restrições temporais, o suporte a simulação do modelo desenvolvido e a capacidade de geração automática de código para a aplicação final. O ambiente proposto tem por objetivo suprir as carências observadas, adicionando ao ambiente SIMOO original facilidades para a descrição de restrições temporais e facilidades para descried° de comportamento do modelo desenvolvido. Além disso, é incorporada ao ambiente a capacidade de geração automática de código em uma linguagem que suporte as restrições temporais descritas no modelo. Este trabalho foi desenvolvido no contexto do projeto ADOORATA (A Distributed Object-Oriented Architecture for Real-Time Automation), como parte do Programa de Cooperação entre Brasil e Alemanha, financiado pelas agencias CNPq e DLR. / This work describes the development of an integrated object-oriented environment for modeling, simulation and implementation of distributed real-time systems (DRTS), especially those conceived for industrial automation. This work extends the SIMOO environment, conceived as part of a Ph.D. thesis in the CPGCC at Federal University of Rio Grande do Sul. Its motivation began during some case studies, which concluded that existing CASE tools don't incorporate all the desired features for modeling and implementation of DRTS. Among these features, capacities to specify timing constraints, to simulate/animate the model and to automatically generate the final application code are highlighted. The proposed environment intends to overcome these lacks, adding to the original environment features for the specification of timing requirements and the application behavior, allowing the creation of an object-oriented simulation model. Additionally it automatically generates the application executable code, which makes use of the incorporated specifications to guarantee its correctness. This work has been developed within the context of the ADOORATA project (A Distributed Object-Oriented Architecture for Real-Time Automation), as part of the Brazilian-German Cooperation Program, sponsored by CNPq and DLR.
817

Fórmula (-1) : desenvolvendo objetos digitais de aprendizagem para as operações com números positivos e negativos

Morais, Anuar Daian de January 2010 (has links)
Essa dissertação apresenta um conjunto de Objetos Digitais de Aprendizagem (ODAs) que foram desenvolvidos com o objetivo de promover a aprendizagem das operações com números positivos e negativos sob a perspectiva da teoria dos Campos Conceituais de Gerard Vergnaud. Além disso, também foi desenvolvida uma proposta didática para auxiliar o professor que desejar utilizá-lo nas suas aulas. Nossa pesquisa ainda apresenta a construção histórica do conjunto dos números positivos e negativos, uma discussão sobre o uso das tecnologias de informação e comunicação (TICs) em Educação e uma revisão de propostas voltadas para o ensino dos números positivos e negativos. De caráter experimental, nossa proposta foi aplicada em dois momentos diferentes: no final de 2008 numa turma de 6º série do Ensino Fundamental do Colégio de Aplicação da UFRGS e durante o primeiro semestre de 2010 numa escola da rede privada do município de Guaíba/RS. A análise dos resultados obtidos serviu como subsídio para a implementação de modificações no ODA e na proposta didática, bem como para a reflexão do desenvolvimento de ODAs que promovam o desenvolvimento do raciocínio aditivo e multiplicativo através de problemas que envolvam operações com números positivos e negativos. / This master's research shows a set of Digital Learning Objects (DLO) which were developed to promote learning of operations with whole numbers through Vergnaud's theory of conceptual fields. Furthermore, a didactical proposal was also developed in order to aid the teacher who wishes to use it in the classroom. Our research also presents the historical construction of the set of positive and negative numbers, a discussion of the use of information and communication technologies (ICTs) in Education and a review of proposals aimed at whole numbers teaching. Having an experimental character, our proposal was applied on two different moments: in the end of 2008 on an 6th grade of Colégio de Aplicação da UFRGS in the city of Porto Alegre and during the first semester of 2010 in a private school in the district of Guaíba/RS. The analysis of the results gathered served as foundation to implement a few modifications on the DLO and on the didactical proposal, as well to reflect over the development of DLOs which can promote the development of the additive and multiplicative reasoning through problems involving operations with whole numbers.
818

Um método de teste funcional para verificação de componentes. / A functional test method for checking components.

FARIAS, Carina Machado de. 18 September 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-18T16:21:29Z No. of bitstreams: 1 CARINA MACHADO DE FARIAS - DISSERTAÇÃO PPGCC 2003..pdf: 658152 bytes, checksum: 8231194d3724e72085250f16ee95a419 (MD5) / Made available in DSpace on 2018-09-18T16:21:29Z (GMT). No. of bitstreams: 1 CARINA MACHADO DE FARIAS - DISSERTAÇÃO PPGCC 2003..pdf: 658152 bytes, checksum: 8231194d3724e72085250f16ee95a419 (MD5) Previous issue date: 2003-02-27 / O interesse no desenvolvimento de software baseado em componentes tem crescido substancialmente devido à promessa de redução de custos e tempo de desenvolvimento através do reuso. A maioria das metodologias existentes tem se concentrado nas fases de análise e projeto. Entretanto, o reuso efetivo de componentes está diretamente relacionado à confiabilidade dos mesmos. O principal objetivo deste trabalho é propor um método de teste funcional aplicável a componentes de software. Já que o processo de desenvolvimento utilizado influencia significativamente a testabilidade dos sistemas, o método de teste proposto é apresentado dentro de um processo de desenvolvimento de componentes bem definido Componentes UML. Artefatos de teste são gerados a partir de especificações em UML (Unified Modelling Language), especialmente a partir dos diagramas de seqüência. Um estudo de caso foi desenvolvido para ilustrar a aplicabilidade do método / Interest in component-based software development has increased significantly due its promise to reduce development costs and time through reuse. The majority of existing methodologies has focus in the analysis and design disciplines. Never the less, effective reuse of components is closely related to their reliability. The main goal of this work is to propose a method of functional testing to verify software components. Since testability of systems is greatly influenced by the development process chosen, the proposed method is integrated with a well-defined component development process. Test artifacts are generated from UML (Unified Modelling Language) specifications, specially sequence diagrams. A case study has been developed to illustrate the applicability of the method.
819

Estudo e experimentação de uma linguagem de modelagem de sistemas baseada em redes de petri e orientação a objetos. / Study and experimentation of a system modeling language based on petri nets and object orientation.

CANEDO, Edna Dias. 18 September 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-18T16:35:32Z No. of bitstreams: 1 EDNA DIAS CANEDO - DISSERATAÇÃO PPGCC 2002..pdf: 967964 bytes, checksum: aee05fbebc2049f4cd9fb4dea8a9aa1d (MD5) / Made available in DSpace on 2018-09-18T16:35:32Z (GMT). No. of bitstreams: 1 EDNA DIAS CANEDO - DISSERATAÇÃO PPGCC 2002..pdf: 967964 bytes, checksum: aee05fbebc2049f4cd9fb4dea8a9aa1d (MD5) Previous issue date: 2002-08-29 / A integração da teoria de redes de Petri com os conceitos da Orientação Objetos surgiu como uma solução para a decomposição e estruturação de modelos em Redes de Petri. Neste trabalho é apresentado um estudo e experimentação de uma linguagem de modelagem baseada em redes de Petri e Orientação a Objetos (RPOO). RPOO foi definida integrando esses dois formalismos em uma perspectiva ortogonal, permitindo que o sistema modelado tenha duas visões: uma visão do ponto de vista de redes de Petri e uma visão do ponto de vista da Orientação a Objetos. O estudo e experimentação da notação RPOO é efetuado através da sua aplicação na modelagem de sistemas de software real. Para tanto, foram desenvolvidos alguns experimentos de modelagem. Assim, os experimentos desenvolvidos serão utilizados na validação da linguagem RPOO como alternativa para a estruturação e decomposição de modelos em redes de Petri, quando da modelagem de sistemas de software distribuídos e concorrentes. / The integration of Petri nets theory and object oriented-object concepts has emerged as a solution to decompose and structure Petri net models. In this work it is presented a study and experimentation of a modeling language based on Petri nets and oriented-object concepts(RPOO). RPOO was defined by integrating these two formalisms on an orthogonal perspective, allowing that the modeled system has two visions: one Petri net visionand one OO vision. The study and experimentation of RPOO notation is accomplished through its application on the modeling of real software systems. Some experiments of modeling had been developed. These experiments will be used to validate RPOO as an alternative for the structure and decomposition of Petri nets models, when modeling distributed and concurrent software systems.
820

Produção e avaliação de interfaces, segundo princípios da interação humano-computador / Production and evaluation of interfaces, according to the principles of Human-Computer Interaction

Marcos Matsukuma 05 September 2012 (has links)
Com a expansão do uso de ferramentas tecnológicas, principalmente representadas pelo computador, por seus programas e pelo acesso à Internet, percebe-se a sua presença cada vez maior em diferentes setores da sociedade, inclusive, no meio educacional. No entanto, por ainda ser uma novidade no ambiente tradicional de ensino, essas ferramentas podem ser utilizadas de modo descontextualizado, não favorecendo seu uso correto na aprendizagem. Portanto, é necessário que as políticas de acesso a esses recursos informáticos sejam bem coordenados para permitir que os usuários, principalmente professores e alunos, possam contar com uma infraestrutura que realmente possibilite o apoio ao ensino. Por outro lado, as interfaces interativas também devem ser desenvolvidas para que sejam utilizadas de modo adequado pelo seu público-alvo. Dessa forma, procurando contribuir para avaliação dos objetos de aprendizagem nos meios virtuais, essa pesquisa apresenta o estudo da construção de interfaces interativas centrada no usuário, apoiando-se em propostas originadas da Interação Humano-Computador (IHC). Assim, partindo do princípio de que o indivíduo é parte integrante e mais importante dos sistemas computacionais, o presente trabalho fez com que a investigação do uso das interfaces pelo usuário interferisse em seu próprio processo de produção. Para tanto, utilizou-se a técnica de observação indireta denominada Log de dados, ou seja, a coleta remota de informações e sua gravação em banco de dados, para posterior resgate e análise das interações. A obtenção contínua de dados coletados permitiu fazer um acompanhamento detalhado da utilização do software, comprovando a pertinência do método. O resultado mais importante da avaliação, derivado desse processo, foi verificar que, apesar de orientações presentes na interface, as ações executadas pelo usuário se basearam mais na distribuição dos elementos no software do que nas informações ali presentes. Assim, percebeu-se a importância da produção prévia de protótipos para que situações de Usabilidade fossem avaliadas, permitindo a obtenção de um produto final mais adequado ao usuário do ambiente virtual de ensino e aprendizagem. / In the increase of the use of technological tools, mainly represented by the computer, its applications and the access to the Internet, it\'s observed by its growing presence in different sectors of society, including the educational environment. However, since it still is a novelty in the traditional teaching environment, these tools can be used in a non-contextualized form, not allowing its correct use in the learning process. Therefore, it is necessary that the access policies to these computer resources are well coordinated so the users, especially teachers and students, can count on an infrastructure that really allows the support for the true learning. On the other hand, interactive interfaces should also be developed to be used properly by the target audience. Thus, to contribute to the evaluation of the learning objects in virtual environments, this research presents a study of interactive interfaces built centered on the user, supported by the proposals originated by the Human-Computer Interaction (HCI). Assuming that the person is participative and the most important part of computer systems, this work researches how the users interactions with the interface interferes in its own production process. For this purpose, an indirect observation technique named Logging was used, that is, the remote collection of information and its recording in a database for later recovery and analysis of the interactions. The continuous collection of data allowed a detailed monitoring of the software usage, proving the utility of the method. The most important result of the evaluation, derived by this process, was verifying that, in spite the orientations at the interface, the actions taken by the users were based more on the distribution of the graphic elements in the software than by the orientation displayed. Thus, the research verified the importance of pre-produced prototypes to evaluate Usability situations, allowing the final product to be best suited for the user of the virtual environment for teaching and learning.

Page generated in 0.0663 seconds