Log in

Relevant bibliographies by topics / Especifica??o / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Especifica??o.

Dissertations / Theses on the topic 'Especifica??o'

Author: Grafiati

Published: 4 June 2021

Last updated: 4 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 43 dissertations / theses for your research on the topic 'Especifica??o.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Galv?o, Stephenson de Sousa Lima. "Especifica??o do micron?cleo FreeRTOS utilizando o m?todo B." Universidade Federal do Rio Grande do Norte, 2011. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18021.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:47:55Z (GMT). No. of bitstreams: 1 StephennsonSLG_DISSERT.pdf: 4909051 bytes, checksum: 2a9f94a42d9fc75bb16a1ff239148437 (MD5) Previous issue date: 2011-08-16<br>This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities

APA, Harvard, Vancouver, ISO, and other styles

2

Souza, Fernanda Monteiro de. "Gera??o de casos de teste a partir de especifica??es B." Universidade Federal do Rio Grande do Norte, 2010. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18005.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 FernandaMS_DISSERT_cad.pdf: 1351543 bytes, checksum: 27a89b596f5bafb661e158d68cfc729c (MD5) Previous issue date: 2010-03-29<br>With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-B

APA, Harvard, Vancouver, ISO, and other styles

3

Silva, Neto Edson Moreira. "Especifica??o de uma rede MPLS fim-a-fim com diferencia??o de servi?os." Universidade Federal do Rio Grande do Norte, 2006. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15173.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:03Z (GMT). No. of bitstreams: 1 EdsonMSN.pdf: 1297152 bytes, checksum: ddeef5119a3b863368e35112b7fbbd68 (MD5) Previous issue date: 2006-08-02<br>New multimedia applications that use the Internet as a communication media are pressing for the development of new technologies, such as: MPLS (Multiprotocol Label Switching) and DiffServ. These technologies introduce new and powerful features to the Internet backbone, as the provision of QoS (Quality of Service) capabilities. However, to obtain a true end-to-end QoS, it is not enough to implement such te

APA, Harvard, Vancouver, ISO, and other styles

4

Lopes, Katiane Ribeiro. "A Linguagem de Especifica??o alg?brica CASL e o Tipo de Dados Intervalos." Universidade Federal do Rio Grande do Norte, 2004. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17977.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:47:46Z (GMT). No. of bitstreams: 1 KatianeRL.pdf: 489064 bytes, checksum: 41384102e2da87fcb34b32c311dab535 (MD5) Previous issue date: 2004-04-16<br>Na computa??o cient?fica ? necess?rio que os dados sejam o mais precisos e exatos poss?vel, por?m a imprecis?o dos dados de entrada desse tipo de computa??o pode estar associada ?s medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os c?lculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computa??o cient?fica s?o: err

APA, Harvard, Vancouver, ISO, and other styles

5

Silva, Carlos Breno Pereira. "Apoiando a constru??o de testes de aceita??o automatizados a partir da especifica??o de requisitos." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18051.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 CarlosBPS_DISSERT.pdf: 1722008 bytes, checksum: 1b3fd4314fbf5b4ba2b4dfe1a0865e45 (MD5) Previous issue date: 2012-07-27<br>Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico<br>Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of

APA, Harvard, Vancouver, ISO, and other styles

6

Lins, Hertz Wilton de Castro. "Especifica??o e implementa??o de uma linguagem para transforma??o de modelos MOF em reposit?rios dMOF." Universidade Federal do Rio Grande do Norte, 2006. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15511.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:56:21Z (GMT). No. of bitstreams: 1 HertzWCL.pdf: 1101364 bytes, checksum: 81e217f795557edb8c6aa671cd62dabf (MD5) Previous issue date: 2006-10-06<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>This work presents the specification and the implementation of a language of Transformations in definite Models specification MOF (Meta Object Facility) of OMG (Object Management Group). The specification uses a boarding based on rules ECA (Event-Condition-Action) and was made on the basis of a set of scenes of use previously defined. The Pars

APA, Harvard, Vancouver, ISO, and other styles

7

Lopes, Carlos. "Necessidades de formação especifica para o exercicio do cargo de diretor de escola." Master's thesis, Universidade Portucalense, 2015. http://hdl.handle.net/11328/1427.

Full text

Abstract:

O presente estudo assume como problemática as necessidades de formação específica para o exercício do cargo de diretor em Escolas Secundárias do Município de Benguela. No sentido de responder a esta problemática de investigação, definiram-se três objetivos, respetivamente: i)caracterizar a formação académica e profissional de diretores de escola do I Ciclo do Ensino Secundário do município de Benguela; ii)diagnosticar necessidades de formação de diretores de escola do I Ciclo do Ensino Secundário do município de Benguela; e iii)desenvolver conhecimento sobre necessidade de for

APA, Harvard, Vancouver, ISO, and other styles

8

Oliveira, R?mulo Alves de. "Especifica??o e implementa??o de um algoritmo gen?tico para otimiza??o de projetos de ilumina??o p?blica." Universidade Federal do Rio Grande do Norte, 2015. http://repositorio.ufrn.br/handle/123456789/20562.

Full text

Abstract:

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-05-30T23:14:12Z No. of bitstreams: 1 RomuloAlvesDeOliveira_TESE.pdf: 1869244 bytes, checksum: af0453c8083aee85607b79c3a17c1d4c (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-06-01T22:30:48Z (GMT) No. of bitstreams: 1 RomuloAlvesDeOliveira_TESE.pdf: 1869244 bytes, checksum: af0453c8083aee85607b79c3a17c1d4c (MD5)<br>Made available in DSpace on 2016-06-01T22:30:48Z (GMT). No. of bitstreams: 1 RomuloAlvesDeOliveira_TESE.pdf: 1869244 bytes, checksum: af0453c8083aee85607b79c

APA, Harvard, Vancouver, ISO, and other styles

9

Peralta, Karine de Pinho. "Estrat?gia para especifica??o e gera??o de casos de teste a partir de modelos UML." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2009. http://tede2.pucrs.br/tede2/handle/tede/5041.

Full text

Abstract:

Made available in DSpace on 2015-04-14T14:49:04Z (GMT). No. of bitstreams: 1 410387.pdf: 1737512 bytes, checksum: be615bfd6c76a20642c89fd02bd4c48e (MD5) Previous issue date: 2009-01-08<br>Com a expans?o dos sistemas computacionais e com a populariza??o dos servi?os providos pela Internet, ? crescente a preocupa??o dos engenheiros de software com a seguran?a dos sistemas que desenvolvem. O volume de informa??es confidenciais que trafega pela Internet ? cada vez maior, tornando essencial a avalia??o de seguran?a destes sistemas antes de entreg?-los a seus usu?rios. Entretanto, o tempo que dedi

APA, Harvard, Vancouver, ISO, and other styles

10

Medeiros, Junior Ivan Soares de. "Gera??o autom?tica de hardware apartir de especifica??es formais: estendendo uma abordagem de tradu??o." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18050.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 IvanSMJ_DISSERT.pdf: 2894212 bytes, checksum: 3acb921ac87239ee36be60cb2e15b0e6 (MD5) Previous issue date: 2012-04-27<br>A remo??o de inconsist?ncias em um projeto ? menos custosa quando realizadas nas etapas iniciais da sua concep??o. A utiliza??o de M?todos Formais melhora a compreens?o dos sistemas al?m de possuir diversas t?cnicas, como a especifica??o e verifica??o formal, para identificar essas inconsist?ncias nas etapas iniciais de um projeto. Por?m, a transforma??o de uma especifica??o formal para uma linguag

APA, Harvard, Vancouver, ISO, and other styles

11

Besch, G?udio Vin?cius Lopes. "Especifica??o de um bloco funcional implementando rede neural para redes industriais foundations fieldbus." Universidade Federal do Rio Grande do Norte, 2004. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15266.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:25Z (GMT). No. of bitstreams: 1 GaudioVLB_Capa_ate_pag17.pdf: 9585869 bytes, checksum: 2c08182891dcc8649365bc6bb452f431 (MD5) Previous issue date: 2004-12-03<br>This work proposes the specification of a new function block according to Foundation Fieldbus standards. The new block implements an artificial neural network, which may be useful in process control applications. The specification includes the definition of a main algorithm, that implements a neural network, as well as the description of some accessory functions, which provide safety cha

APA, Harvard, Vancouver, ISO, and other styles

12

Abrantes, Joilson Vidal. "Especifica??o e monitoramento din?mico da pol?tica de tratamento de exce??es." PROGRAMA DE P?S-GRADUA??O EM SISTEMAS E COMPUTA??O, 2016. https://repositorio.ufrn.br/jspui/handle/123456789/21652.

Full text

Abstract:

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-01-12T13:24:40Z No. of bitstreams: 1 JoilsonVidalAbrantes_DISSERT.pdf: 2404682 bytes, checksum: d60333810463c26554d8e41bfe6683fb (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-01-16T15:05:25Z (GMT) No. of bitstreams: 1 JoilsonVidalAbrantes_DISSERT.pdf: 2404682 bytes, checksum: d60333810463c26554d8e41bfe6683fb (MD5)<br>Made available in DSpace on 2017-01-16T15:05:25Z (GMT). No. of bitstreams: 1 JoilsonVidalAbrantes_DISSERT.pdf: 2404682 bytes, checksum: d60333810463c2655

APA, Harvard, Vancouver, ISO, and other styles

13

Medeiros, Junior Ivan Soares de. "Gera??o autom?tica de hardware a partir de especifica??es formais: estendendo uma abordagem de tradu??o." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18052.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:48:02Z (GMT). No. of bitstreams: 1 IvanSMJ_DISSERT.pdf: 2894212 bytes, checksum: 3acb921ac87239ee36be60cb2e15b0e6 (MD5) Previous issue date: 2012-04-27<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation

APA, Harvard, Vancouver, ISO, and other styles

14

Rufino, Saulo. "Arquitetura de comunica??o entre AVAs e objetos de aprendizagem din?micos utilizando a especifica??o IMS LTI." Mestrado Profisional em Engenharia de Software, 2017. https://repositorio.ufrn.br/jspui/handle/123456789/24335.

Full text

Abstract:

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-11-06T21:15:29Z No. of bitstreams: 1 SauloRufinoDeSa_DISSERT.pdf: 3478146 bytes, checksum: 9f2991a36a301f1a974d7af46a7c48a8 (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-11-20T23:52:10Z (GMT) No. of bitstreams: 1 SauloRufinoDeSa_DISSERT.pdf: 3478146 bytes, checksum: 9f2991a36a301f1a974d7af46a7c48a8 (MD5)<br>Made available in DSpace on 2017-11-20T23:52:10Z (GMT). No. of bitstreams: 1 SauloRufinoDeSa_DISSERT.pdf: 3478146 bytes, checksum: 9f2991a36a301f1a974d7af46a7c48a8

APA, Harvard, Vancouver, ISO, and other styles

15

Cerri, Elisa Cerri e. "Um modelo de rastreabilidade entre o documento de especifica??o de requisitos e o modelo de casos de uso do sistema." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2007. http://tede2.pucrs.br/tede2/handle/tede/5303.

Full text

Abstract:

Made available in DSpace on 2015-04-14T14:50:26Z (GMT). No. of bitstreams: 1 397346.pdf: 4530016 bytes, checksum: 352e36ac7364f10a537fdc3e0de1094a (MD5) Previous issue date: 2007-03-08<br>Um produto final que represente realmente as necessidades dos usu?rios ?, atualmente, uma busca constante das organiza??es de desenvolvimento de software. Um ponto crucial para o alcance deste objetivo ? realizar um processo de requisitos que considere as necessidades organizacionais do in?cio ao fim. O documento de especifica??o de requisitos (SRS) ? utilizado para formalizar as necessidades dos clientes e

APA, Harvard, Vancouver, ISO, and other styles

16

Silva, Salerno Ferreira de Sousa e. "BRIDGE: uma ferramenta para o Design de Interfaces de Usu?rio baseada em especifica??es IMML." Universidade Federal do Rio Grande do Norte, 2007. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17960.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:47:43Z (GMT). No. of bitstreams: 1 SalernoFSS.pdf: 1043687 bytes, checksum: ea5c1000dc1ef3c9200e040e16a2da89 (MD5) Previous issue date: 2007-01-25<br>With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is th

APA, Harvard, Vancouver, ISO, and other styles

17

Silva, Thiago Locatelli da. "Estendendo o MASUP para a especifica??o de pap?is de agentes a partir da modelagem de neg?cio." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2009. http://tede2.pucrs.br/tede2/handle/tede/5069.

Full text

Abstract:

Made available in DSpace on 2015-04-14T14:49:14Z (GMT). No. of bitstreams: 1 418217.pdf: 5227387 bytes, checksum: 76ac1f769c36938ad37dd102d268c451 (MD5) Previous issue date: 2009-03-26<br>Sistemas Multiagentes ganharam muita aten??o nos ?ltimos anos atrav?s do surgimento de novas propostas para metodologias de desenvolvimento, linguagens de modelagem e plataformas para implementa??o e execu??o de tais sistemas, entre outras. Tais propostas visam o amadurecimento o processo de desenvolvimento de aplica??es orientadas a agentes. Entretanto, observamos a necessidade de um m?todo menos subjetivo

APA, Harvard, Vancouver, ISO, and other styles

18

Confessor, Francisco Wildson. "AI, LA, ALI e AQUI: gramaticaliza??o de um paradigma emergente no dom?nio funcional da especifica??o nominal." Universidade Federal do Rio Grande do Norte, 2013. http://repositorio.ufrn.br:8080/jspui/handle/123456789/16392.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:07:19Z (GMT). No. of bitstreams: 1 FranciscoWC_TESE.pdf: 1356357 bytes, checksum: 3457505ffc57c43bafbc9be5a671f327 (MD5) Previous issue date: 2013-10-25<br>Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico<br>In the light of the Functional Linguistic Theory, in its North-American version (HOPPER, 1987, 1991, 1998, 2008, 2010; GIV?N, 2001; LEHMANN, 2002; HOPPER; TRAUGOTT, 2003; FURTADO DA CUNHA; OLIVEIRA; MARTELOTTA, 2003, among others), the general objective of this research is to demonstrate, based on morphosyntactic and semantic-pragmat

APA, Harvard, Vancouver, ISO, and other styles

19

Oliveira, Vinicius Fernandes de. "Especifica??o e implementa??o de um modelo ass?ncrono para replica??o, propaga??o e concilia??o de bases de dados distribu?das." Universidade Federal do Rio Grande do Norte, 2006. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15172.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:02Z (GMT). No. of bitstreams: 1 ViniciusFO.pdf: 3863116 bytes, checksum: 9dad12d980623a082efb3927bc75ff45 (MD5) Previous issue date: 2006-05-19<br>This graduate thesis proposes a model to asynchronously replicate heterogeneous databases. This model singularly combines -in a systematic way and in a single project -different concepts, techniques and paradigms related to the areas of database replication and management of heterogeneous databases. One of the main advantages of the replication is to allow applications to continue to process inf

APA, Harvard, Vancouver, ISO, and other styles

20

Campos, Carlo Frederico Pereira de Siqueira. "Estudo e especifica??o de um sistema de instrumenta??o para unidades de eleva??o de petr?leo utilizando tecnologia sem fio." Universidade Federal do Rio Grande do Norte, 2006. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15512.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:56:21Z (GMT). No. of bitstreams: 1 CarloFPSC.pdf: 941846 bytes, checksum: 5fe2e2c9851039018a0653de693d001c (MD5) Previous issue date: 2006-11-27<br>Wireless sensor networks are reality nowadays. The growing necessity of connectivity between existing industrial plant equipments pushes the research and development of several technologies. The IEEE 802.15.4 LR-WPAN comes as a low-cost and powersaving viable solution, which are important concerns while making decisions on remote sensoring projects. This study intends to propose a wireless communication s

APA, Harvard, Vancouver, ISO, and other styles

21

Miranda, Heide Struziatto. "Repensando a didatica e pratica de ensino e o estagio supervisionado na habilitação especifica do magisterio." [s.n.], 1992. http://repositorio.unicamp.br/jspui/handle/REPOSIP/251261.

Full text

Abstract:

Orientador : Luiz Carlos de Freitas<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação<br>Made available in DSpace on 2018-07-14T02:11:50Z (GMT). No. of bitstreams: 1 Miranda_HeideStruziatto_M.pdf: 10107015 bytes, checksum: 5471618276bee85bfdfb97a784200b0a (MD5) Previous issue date: 1992<br>Resumo: Este estudo pretende apresentar uma experiência com as disciplinas ¿Didática e Prática de Ensino¿ e ¿Estágio Supervisionado¿, nas quais houve a preocupação de resgatar elementos da prática pedagógica do professor de 1º a 4º séries do 1º grau e, a partir desses el

APA, Harvard, Vancouver, ISO, and other styles

22

Matos, Ernesto Cid Brasil de. "Beta: uma ferramenta para gera??o de testes de unidade a partir de especifica??es B." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18042.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:48:00Z (GMT). No. of bitstreams: 1 ErnestoCBM_DISSERT.pdf: 1152535 bytes, checksum: a61c509f155d27fa9ab04bc69c4607e8 (MD5) Previous issue date: 2012-02-10<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, s

APA, Harvard, Vancouver, ISO, and other styles

23

Passos, Laurizete Ferragut. "A representação e a pratica pedagogica do professor de didatica da habilitação especifica para o magisterio." [s.n.], 1990. http://repositorio.unicamp.br/jspui/handle/REPOSIP/251935.

Full text

Abstract:

Orietnador : Marli Elisa D.A. Andre<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação<br>Made available in DSpace on 2018-07-13T22:41:36Z (GMT). No. of bitstreams: 1 Passos_LaurizeteFerragut_M.pdf: 12819129 bytes, checksum: a165f12af48e87d5cdb4230ef7f1fffa (MD5) Previous issue date: 1990<br>Mestrado

APA, Harvard, Vancouver, ISO, and other styles

24

Landeira, Bruna Soares. "Efeitos da elimina??o de neur?nios infragranulares sobre a especifica??o de neur?nios supragranulares do c?rtex cerebral." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17023.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:28:51Z (GMT). No. of bitstreams: 1 BrunaSL_DISSERT.pdf: 1891001 bytes, checksum: 1d482b920c53ec1f846060dbc2158ebb (MD5) Previous issue date: 2012-08-10<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>The cerebral cortex of mammals is histologically organized into different layers of excitatory neurons that have distinct patterns of connections with cortical or subcortical targets. During development, these cortical layers are established through an intricate combination of neuronal specification and migration in a radial pattern kno

APA, Harvard, Vancouver, ISO, and other styles

25

Mendes, J?nior Jos? Reginaldo de Sousa. "Um ambiente para especifica??o e execu??o AD-HOC de processos de neg?cio baseados em servi?os Web." Universidade Federal do Rio Grande do Norte, 2008. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17994.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:47:50Z (GMT). No. of bitstreams: 1 JoseRSMJ.pdf: 1414617 bytes, checksum: 1d2d0cfcaa6654701268463c98f3c2e9 (MD5) Previous issue date: 2008-08-29<br>Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico<br>Recently the focus given to Web Services and Semantic Web technologies has provided the development of several research projects in different ways to addressing the Web services composition issue. Meanwhile, the challenge of creating an environment that provides the specification of an abstract business process and that it is automatically i

APA, Harvard, Vancouver, ISO, and other styles

26

Oliveira, Fernanda Maria de. "Avalia??o da aplicabilidade de correla??es matem?ticas e redes neurais na predi??o de par?metros de especifica??o do diesel." Universidade Federal do Rio Grande do Norte, 2014. http://repositorio.ufrn.br/handle/123456789/20773.

Full text

Abstract:

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-06-23T19:59:24Z No. of bitstreams: 1 FernandaMariaDeOliveira_DISSERT.pdf: 5023454 bytes, checksum: ad313de2391d707658adc05fbcb2a8e0 (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-06-27T19:42:35Z (GMT) No. of bitstreams: 1 FernandaMariaDeOliveira_DISSERT.pdf: 5023454 bytes, checksum: ad313de2391d707658adc05fbcb2a8e0 (MD5)<br>Made available in DSpace on 2016-06-27T19:42:35Z (GMT). No. of bitstreams: 1 FernandaMariaDeOliveira_DISSERT.pdf: 5023454 bytes, checksum: ad313de2

APA, Harvard, Vancouver, ISO, and other styles

27

Biasi, Luciano Bathaglini. "Gera??o automatizada de drivers e stubs de teste para JUnit a partir de especifica??es U2TP." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2006. http://tede2.pucrs.br/tede2/handle/tede/5043.

Full text

Abstract:

Made available in DSpace on 2015-04-14T14:49:05Z (GMT). No. of bitstreams: 1 385483.pdf: 2471627 bytes, checksum: 6a2f88757540ea12d03ab54d46886186 (MD5) Previous issue date: 2006-01-11<br>Atualmente a ?rea de teste de software tem se tornado fundamental para garantia da qualidade dos produtos desenvolvidos. Dentro do processo de teste, o teste unit?rio ? realizado na menor parte funcional de um software e visa descobrir defeitos nestas unidades. JUnit ? uma ferramenta de apoio ao teste unit?rio, a qual auxilia desenvolvedores na automa??o dos testes e verifica??o dos resultados. Por?m, muito

APA, Harvard, Vancouver, ISO, and other styles

28

Costa, J?nior Carlos Antonio Mendes da. "Especifica??es e concep??es de front-end UHF integrado e multipadr?o em tecnologia CMOS 130nm." Universidade Federal do Rio Grande do Norte, 2014. http://repositorio.ufrn.br/handle/123456789/19680.

Full text

Abstract:

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-01-26T18:48:32Z No. of bitstreams: 1 CarlosAntonioMendesDaCostaJunior_DISSERT.pdf: 4736923 bytes, checksum: 5e2b53f643a134a6e9ec853d3d3ea862 (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-01-28T20:31:09Z (GMT) No. of bitstreams: 1 CarlosAntonioMendesDaCostaJunior_DISSERT.pdf: 4736923 bytes, checksum: 5e2b53f643a134a6e9ec853d3d3ea862 (MD5)<br>Made available in DSpace on 2016-01-28T20:31:09Z (GMT). No. of bitstreams: 1 CarlosAntonioMendesDaCostaJunior_DISSERT.pdf: 473692

APA, Harvard, Vancouver, ISO, and other styles

29

Castro, Viviane Gurgel de. "RoboEduc: especifica??o de um software educacional para ensino da rob?tica ?s crian?as como uma ferramenta de inclus?o digital." Universidade Federal do Rio Grande do Norte, 2008. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15217.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:11Z (GMT). No. of bitstreams: 1 VivianeGC.pdf: 1321283 bytes, checksum: 32819011cedbdb8da89313bd597b9874 (MD5) Previous issue date: 2008-08-04<br>Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico<br>Because of social exclusion in Brazil and having as focus the digital inclusion, was started in Federal University of Rio Grande do Norte a project that could talk, at the same time, about concepts of collaborative learning and educational robotics , focused on children digitally excluded. In this context was created a methodology that appr

APA, Harvard, Vancouver, ISO, and other styles

30

Landeira, Bruna Soares. "Elimina??o de neur?nios infragranulares afeta a especifica??o de neur?nios granulares e supragranulares do c?rtex cerebral em desenvolvimento." PROGRAMA DE P?S-GRADUA??O EM NEUROCI?NCIAS, 2017. https://repositorio.ufrn.br/jspui/handle/123456789/23364.

Full text

Abstract:

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-05-31T20:52:30Z No. of bitstreams: 1 BrunaSoaresLandeira_TESE.pdf: 8601965 bytes, checksum: a68be4513e6834f5aaf48800f8ea90d7 (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-06-01T22:19:30Z (GMT) No. of bitstreams: 1 BrunaSoaresLandeira_TESE.pdf: 8601965 bytes, checksum: a68be4513e6834f5aaf48800f8ea90d7 (MD5)<br>Made available in DSpace on 2017-06-01T22:19:30Z (GMT). No. of bitstreams: 1 BrunaSoaresLandeira_TESE.pdf: 8601965 bytes, checksum: a68be4513e6834f5aaf48800f8ea9

APA, Harvard, Vancouver, ISO, and other styles

31

Paiva, F?bio Augusto Proc?pio de. "Especifica??o e implementa??o de um prot?tipo de servi?o web para buscas baseadas em contextos compartilhados definidos a partir de sintagmas e relacionamentos." Universidade Federal do Rio Grande do Norte, 2006. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15174.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:03Z (GMT). No. of bitstreams: 1 FabioAPP.pdf: 1226499 bytes, checksum: 476c4c4dd5d62663a94a43090900b128 (MD5) Previous issue date: 2006-05-19<br>The popularization of the Internet has stimulated the appearance of Search Engines that have as their objective aid the users in the Web information research process. However, it s common for users to make queries and receive results which do not satisfy their initial needs. The Information Retrieval in Context (IRiX) technique allows for the information related to a specific theme to be related

APA, Harvard, Vancouver, ISO, and other styles

32

Neuwald, Felipe Barp. "T?cnica para obten??o de redes de aut?matos estoc?sticos baseada em especifica??es de software em UML." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2005. http://tede2.pucrs.br/tede2/handle/tede/5029.

Full text

Abstract:

Made available in DSpace on 2015-04-14T14:49:02Z (GMT). No. of bitstreams: 1 406275.pdf: 5088741 bytes, checksum: 77356f5ee18c1f01b23fcf0d1843be33 (MD5) Previous issue date: 2005-03-28<br>A avalia??o de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de tr?s maneiras: com testes de desempenho, simula??es ou utilizando m?todos anal?ticos como redes de Aut?matos estoc?sticos e redes de filas de espera. Os testes de desempenho s?o eficientes e, porem podem ser aplicados apenas nas fases finais do desenvolvimento de software, quando o produto esta praticamente pro

APA, Harvard, Vancouver, ISO, and other styles

33

Vi?gas, Junior Raimundo. "Group Sequential Communication (GSC): Especifica??o e An?lise de Desempenho de umMecanismo de Comunica??o de Tempo Real Compat?vel ao Padr?o IEEE 802.11/11e Aplicado ? Automa??o Industrial." Universidade Federal do Rio Grande do Norte, 2010. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15139.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:54:54Z (GMT). No. of bitstreams: 1 ViegasJuniorR_TESE.pdf: 2611835 bytes, checksum: 668f48088b8bbf9b308f0cb4b0dd4535 (MD5) Previous issue date: 2010-02-11<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>This thesis proposes the specification and performance analysis of a real-time communication mechanism for IEEE 802.11/11e standard. This approach is called Group Sequential Communication (GSC). The GSC has a better performance for dealing with small data packets when compared to the HCCA mechanism by adopting a decentralized medium

APA, Harvard, Vancouver, ISO, and other styles

34

Pivetta, Paulo Junior Penna. "Uma biblioteca de padr?es de especifica??o em Event-B para mecanismos de troca de mensagens em sistema distribu?dos." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2010. http://tede2.pucrs.br/tede2/handle/tede/5197.

Full text

Abstract:

Made available in DSpace on 2015-04-14T14:49:55Z (GMT). No. of bitstreams: 1 444044.pdf: 1517934 bytes, checksum: 017ad238277ccab4a746e7590ed0bade (MD5) Previous issue date: 2010-03-19<br>The development of distributed systems and communication protocols is not a trivial task and the use of formal specification and verification techniques becomes necessary to assure the correctness of such systems. While model-checking techniques face the state space explosion problem, the use of theorem provers is an important resource for verification of systems with unlimited number of states. The formal

APA, Harvard, Vancouver, ISO, and other styles

35

Castro, Ana Cristina Honorato de. "Detecção do gene do vírus da hepatite B e antigeno CA 125 para o tumor do ovário: uma plataforma especifica para diagnóstico point-of- care." Universidade Federal de Uberlândia, 2016. https://repositorio.ufu.br/handle/123456789/18900.

Full text

Abstract:

CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico<br>FAPEMIG - Fundação de Amparo a Pesquisa do Estado de Minas Gerais<br>O câncer do ovário é um tipo de câncer ginecológico que se origina nos órgãos reprodutores femininos. Geralmente o diagnóstico é realizado tardiamente, quando a doença já está em um estágio avançado, e que reflete na alta taxa de mortalidade. É uma doença silenciosa, assim como a Hepatite B, doença causada pelo vírus da hepatite B (VHB), altamente infecciosa e de difícil tratamento dev

APA, Harvard, Vancouver, ISO, and other styles

36

Costa, Daniel Gouveia. "Uma arquitetura baseada em SCTP e SIP para suporte a aplica??es VoIP m?veis e a especifica??o formal do seu m?dulo de controle." Universidade Federal do Rio Grande do Norte, 2006. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15461.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:56:09Z (GMT). No. of bitstreams: 1 DanielGC.pdf: 538651 bytes, checksum: 34bfc134a2af9166b846b044a2968b16 (MD5) Previous issue date: 2006-05-25<br>New versions of SCTP protocol allow the implementation of handover procedures in the transport layer, as well as the supply of a partially reliable communication service. A communication architecture is proposed herein, integrating SCTP with the session initiation protocol, SIP, besides additional protocols. This architecture is intended to handle voice applications over IP networks with mobility requireme

APA, Harvard, Vancouver, ISO, and other styles

37

Costa, Haulisson Jody Batista da. "Modelagem em SystemC-AMS de uma plataforma compat?vel com o sistema de coleta de dados brasileiro." Universidade Federal do Rio Grande do Norte, 2009. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15295.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:39Z (GMT). No. of bitstreams: 1 HaulissonJBC.pdf: 4077011 bytes, checksum: fcba1ed8fcdc3b273e8994b6775327be (MD5) Previous issue date: 2009-09-03<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>This work presents simulation results of an identification platform compatible with the INPE Brazilian Data Collection System, modeled with SystemC-AMS. SystemC-AMS that is a library of C++ classes dedicated to the simulation of heterogeneous systems, offering a powerful resource to describe models in digital, analog and RF domains, as wel

APA, Harvard, Vancouver, ISO, and other styles

38

Santos, Simone de Oliveira. "KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplica??es Java Card com o m?todo B." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18043.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:48:00Z (GMT). No. of bitstreams: 1 SimoneOS_DISSERT_capa_ate_pag44.pdf: 4276014 bytes, checksum: c178262769ab9981c0bbfc10faf1c633 (MD5) Previous issue date: 2012-02-10<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For t

APA, Harvard, Vancouver, ISO, and other styles

39

Souza, Diego Henrique Oliveira de. "Joker: um realizador de desenhos animados para linguagens formais." Universidade Federal do Rio Grande do Norte, 2011. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18024.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:47:56Z (GMT). No. of bitstreams: 1 DiegoHOS_DISSERT.pdf: 2899752 bytes, checksum: d3160b774efd6749eced9bb34d4a74cf (MD5) Previous issue date: 2011-08-31<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>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.

APA, Harvard, Vancouver, ISO, and other styles

40

Santos, Sérgio. "O papel da GNR no combate à delinquência juvenil." Master's thesis, Academia Militar. Direção de Ensino, 2011. http://hdl.handle.net/10400.26/8265.

Full text

Abstract:

A delinquência juvenil é um dos fenómenos que mais preocupação causa às sociedades europeias e, desde o século passado, um dos problemas criminais observados internacionalmente a título permanente. Esta problemática, cada vez mais, multissectorial, desagua em questões de segurança, mas tem a montante problemas muito mais vastos e complexos. Traduz, na sua génese, o falhanço de instituições tradicionais, como a família e a escola. O presente estudo pretende avaliar se o modo de actuação da Guarda Nacional Republicana e a cooperação com instituições civ

APA, Harvard, Vancouver, ISO, and other styles

41

Pinheiro, Ederson Donizeti de Sante. "A física do esporte : o desenvolvimento e análise de uma Unidade de Ensino Potencialmente Significativa (UEPS)." Universidade Federal de São Carlos, 2015. https://repositorio.ufscar.br/handle/ufscar/7079.

Full text

Abstract:

Submitted by Izabel Franco (izabel-franco@ufscar.br) on 2016-09-09T19:26:26Z No. of bitstreams: 1 DissEDSP.pdf: 6380932 bytes, checksum: c9e44ddd1efb77d2510ac8d3378bbadf (MD5)<br>Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-12T18:12:27Z (GMT) No. of bitstreams: 1 DissEDSP.pdf: 6380932 bytes, checksum: c9e44ddd1efb77d2510ac8d3378bbadf (MD5)<br>Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-12T18:12:34Z (GMT) No. of bitstreams: 1 DissEDSP.pdf: 6380932 bytes, checksum: c9e44ddd1efb77d2510ac8d3378bbadf (MD5)<br>Made availa

APA, Harvard, Vancouver, ISO, and other styles

42

Rebelo, Rui Diogo Ferreira. "Validação de uma bateria de testes de aptidão física e desempenho motor especifica para o Andebol em Cadeira de Rodas." Dissertação, 2016. https://repositorio-aberto.up.pt/handle/10216/87967.

Full text

Abstract:

A avaliação da aptidão física e do desempenho motor no âmbito do desporto adaptado são de grande importância para identificar o perfil de cada atleta e, assim, oferecer melhores condições de treino que potenciem o desempenho desportivo. No entanto, são escassos os testes de aptidão física validados para população com deficiência motora, especificamente no contexto do andebol em cadeira de rodas (ACR). Deste modo, o presente estudo teve como objetivo validar uma bateria de testes de aptidão física (Agilidade; Velocidade 20m) e desempenho motor (Desempenho do bloqueio; Precisão de passes; Eficác

APA, Harvard, Vancouver, ISO, and other styles

43

Rebelo, Rui Diogo Ferreira. "Validação de uma bateria de testes de aptidão física e desempenho motor especifica para o Andebol em Cadeira de Rodas." Master's thesis, 2016. https://repositorio-aberto.up.pt/handle/10216/87967.

Full text

Abstract:

A avaliação da aptidão física e do desempenho motor no âmbito do desporto adaptado são de grande importância para identificar o perfil de cada atleta e, assim, oferecer melhores condições de treino que potenciem o desempenho desportivo. No entanto, são escassos os testes de aptidão física validados para população com deficiência motora, especificamente no contexto do andebol em cadeira de rodas (ACR). Deste modo, o presente estudo teve como objetivo validar uma bateria de testes de aptidão física (Agilidade; Velocidade 20m) e desempenho motor (Desempenho do bloqueio; Precisão de passes; Eficác

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!