DSpace/Manakin Repository

Navegação Mestrado em Ciência da Computação. por título

Navegação Mestrado em Ciência da Computação. por título

Classificar por: Ordenar: Resultados:

  • Validação do formalismo TAOS para a análise da tarefa no contexto da concepção de interfaces homem-computador. 
    Muñoz, Ivette; http://lattes.cnpq.br/4609811632387529; MUÑOZ, Ivette Kafure. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-25)
    In spite of the recent advances in the human-computer interaction field, there is a lack of compatibility between the cognitive and functional representation of the user task. Therefore this work reviews the state of the ...
  • Validação visual de programas Ladder baseada em modelos. 
    http://lattes.cnpq.br/8869126946646971; SAMPAIO, Leonardo Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-02-25)
    Control systems are frequently used in industry in the execution of critical tasks. Flaws in this operations may cause expensive losses and can put the plant safety at risk. Therefore, it is necessary to define techniques, ...
  • Verificação de artefatos de diagramas de classe UML através da aplicação de testes de design. 
    PIRES, Waldemar; http://lattes.cnpq.br/8662463350773114; FERREIRA NETO, Waldemar Pires. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-04-17)
    In this work we propose and investigate a completely automatic technique to execute conformance verification between an implementation in Java and its design expressed by UML class diagram. This verification is performed ...
  • Verificação de conformidade entre diagramas de sequência UML e código Java. 
    RABELO JÚNIOR, S. E. P.; http://lattes.cnpq.br/8210915700863422; RABELO JÚNIOR, Sebastião Estefânio Pinto. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-11-11)
    Currently, sequence diagrams are the most popular UML diagrams used to describe behavioral aspects of software systems. On the other hand, Java as one of the most popular object-oriented language used in lhe world. Despite ...
  • Verificação de modelos em redes de petri orientadas a objetos. 
    RODRIGUES, C. L.; http://lattes.cnpq.br/2590620617848677; RODRIGUES, Cássio Leonardo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-18)
    Today, hardware and software systems are used in situations where failures are unacceptable, for example, in electronic commerce, telephone systems, banks systems, hospitals systems etc. An essential activity to guarantee ...
  • Verificação distribuída de modelos: investigando o uso de grades computacionais. 
    BARBOSA, P. E. S.; http://lattes.cnpq.br/9229454955533353; BARBOSA, Paulo Eduardo e Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-02-23)
    Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce ...
  • VideoLib: uma biblioteca digital de vídeo usando metadados Dublin Core e MPEG-7. 
    RÊGO, A. S. C.; http://lattes.cnpq.br/1582109846489096; RÊGO, Alex Sandro da Cunha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-16)
    Recently, a large amount of digital video can be found on the Web, and this number is increasing rapidly. The video manipulation becomes complex due to the great volume, semantic heterogeneity interpreted by different ...
  • WebObjects: uma plataforma de consulta à web. 
    SILVA, F. S.; http://lattes.cnpq.br/2115297163159491; SILVA, Fábio Soares. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-29)
    The main objective of the WebObjects Framework is to allow, in a transparent way, querying data on the Web, using a query language with a high-level abstraction. To achieve this, the Web has been modeled as an object ...
  • Webquest: uma ferramenta web configurável para a sondagem da satisfação subjetiva do usuário. 
    OLIVEIRA, R. C. L.; http://lattes.cnpq.br/3908962751826725; OLIVEIRA, Rodrigo César Lobo de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-06-28)
    This work presents WebQuest, a tool conceived to support the prospection of the user profile and its subjective satisfaction with interactive systems. In its Web version, this tool enables the evaluator to reach a more ...
  • Webs composer: uma ferramenta baseada em ontologias para a descoberta e composição de serviços na web. 
    ANDRADE, F. G.; http://lattes.cnpq.br/5180935741320141; ANDRADE, Fabio Gomes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-06-08)
    Recently, there are many companies using service oriented architectures in order to offer their services in the web. These services may still be composed in order to solve more complex tasks. This service composition ...
  • WIDEWORKWEB – uma metodologia para o desenvolvimento de aplicações web num cenário global. 
    http://lattes.cnpq.br/5196069557142312; DANTAS, Vanessa Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-07-31)
    Communication technologies evolution observed in the last two decades has driven the software community into new development approaches. Projects with geographically distributed teams developing software for culturally ...
  • XML-ODBMS: uma ferramenta de intercâmbio de dados entre bancos de dados orientados a objetos. 
    MATOS JUNIOR, N. O.; http://lattes.cnpq.br/2018100238095403; MATOS JÚNIOR, Nilton Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-02-27)
    This work presents a tool capable to exchange data between object-oriented databases(DBOO) and object-relational databases(DBOR). An exchanging operation consists on export/import of data from data between databases through ...
  • XPU – um modelo para o desenvolvimento de sistemas centrado no usuário. 
    VASCONCELOS, C. R.; http://lattes.cnpq.br/3673424768342355; VASCONCELOS, Cesar Rocha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-26)
    This work presents the proposal of a model for the user-centered software development, named XPU. This methodology represents a lightweight process that integrates not only some of the principles and fundamental values of ...

Buscar DSpace


Busca avançada

Navegar

Minha conta