Log in

Relevant bibliographies by topics / JAVA Programme / Dissertations / Theses

To see the other types of publications on this topic, follow the link: JAVA Programme.

Dissertations / Theses on the topic 'JAVA Programme'

Author: Grafiati

Published: 5 June 2025

Last updated: 15 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'JAVA Programme.'

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

Knauß, Markus. "Erweiterung und Generierung der Zwischendarstellung IML für Java-Programme." [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10361108.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Utarini, Adi. "Evaluation of the user-provider interface in malaria control programme : The case of Jepara District, Central Java Province, Indonesia." Doctoral thesis, Umeå : Univ, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Fauthoux, David. "Des grains aux aspects, proposition pour un modèle de programmation orientée-aspect." Toulouse 3, 2004. http://www.theses.fr/2004TOU30100.

Full text

Abstract:

Le développement des programmes rencontre actuellement des difficultés pour la séparation des préoccupations qui le composent. Elles sont entrelacées et leur code est éparpillé dans le programme. La programmation orientée-aspect a pour but de rendre modulaires les préoccupations et de fournir les outils pour les mélanger entre elles et au programme. Après avoir analysé en détail quatre systèmes orientés-aspect majeurs, ce mémoire présente un modèle à grains fins, les " lentilles ". Elles sont regroupées par niveaux d'abstraction. Le premier stade est le " flot " qui peut entrer en intersection

APA, Harvard, Vancouver, ISO, and other styles

4

Naeem, Nomair A. "Programmer-friendly decompiled Java." Thesis, McGill University, 2006. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=101644.

Full text

Abstract:

Java decompilers convert Java class files to Java source. Common Java decompilers are javac-specific decompilers since they target bytecode produced from a particular javac compiler. We present work carried out on Dava, a tool-independent decompiler that decompiles bytecode produced from any compiler. A known deficiency of tool-independent decompilers is the generation of complicated decompiled Java source which does not resemble the original source as closely as output produced by javac-specific decompilers. This thesis tackles this short-coming, for Dava, by introducing a new back-end consis

APA, Harvard, Vancouver, ISO, and other styles

5

Catano, Collazos Nestor. "Méthodes formelles pour la vérification des programmes Java." Paris 7, 2004. http://www.theses.fr/2004PA077209.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Milner, Walter William. "Concept development in novice programmers learning Java." Thesis, University of Birmingham, 2011. http://etheses.bham.ac.uk//id/eprint/1670/.

Full text

Abstract:

It is hypothesised that the development of concepts in formal education can be understood through the ideas of non-literal language and conceptual integration networks. The notions of concept, understanding and meaning are examined in some depth from philosophical, psychological and linguistic standpoints. The view that most concepts are grasped through non-literal means such as metaphor and conceptual blend is adopted. The central contention is that this applies both to everyday ideas and to those presented to students in formal educational contexts, and that consequently such learning is bes

APA, Harvard, Vancouver, ISO, and other styles

7

Menif, Emna. "INFÉRENCE DE CERTIFICATS POUR LA VÉRIFICATION STATIQUE DES PROGRAMMES JAVA." Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/28119/28119.pdf.

Full text

Abstract:

La Sécurité des Systèmes d'Information est l'un des défis les plus urgents des différents organismes de la société actuelle. Le problème de sécurité a émergé du progrès technologique rapide qui pousse à l'utilisation des \emph{Systèmes d'Information}. L'un de ces progrès est l'utilisation de code mobile. En effet, pour protéger ses informations critiques d'une éventuelle menace d'un code mobile, un organisme doit chercher des solutions de plus en plus élaborées. Une des approches émergeantes pour aborder ce problème est la compilation certifiée. Il s'agit d'une approche statique, basée sur le

APA, Harvard, Vancouver, ISO, and other styles

8

Felea, Violeta. "Méthodologie de conception et exécution efficace de programmes Java distribués." Lille 1, 2003. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/d411ec48-cca5-4d46-9079-f03ebba04f61.

Full text

Abstract:

Les applications distribuées et les plates-formes sur lesquelles elles s'exécutent sont de plus en plus puissantes, complexes et dynamiques. Ces plates-formes d'exécution sont distribuées, hétérogènes et éclatées en réseaux et grappes interconnectés. Les composants d'une application s'exécutant en parallèle collaborent dans le respect de contraintes de qualité de service relatives aux délai d'exécution et temps de réponse. Le projet ADAJ (Applications Distribuées Adaptatives en Java) vise à répondre à cette problématique, par des solutions qui reposent sur l'introduction de bibliothèques de dé

APA, Harvard, Vancouver, ISO, and other styles

9

Guider, Romain. "Analyse statique de programmes Java [et] application à la parallélisation." Nice, 2000. http://www.theses.fr/2000NICE5434.

Full text

Abstract:

Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse de programmes à objets comporte deux particularités que nous traitons séparément : l'analyse du flot de contrôle et la représentation des graphes d'objets. Dans un premier temps, nous présentons une analyse de flot de contrôle paramétrée par une représentation abstraite de graphes d'objets. Cette analyse est générique et peut servir de base à de nombreuses applications. De plus, elle est conçue par interprétation abstraite ce qui nous permet de montrer sa correction sous certaines hypothèses qui

APA, Harvard, Vancouver, ISO, and other styles

10

Martins, Alexandre Locci. "Teste e verificação formal do comportamento excepcional de programas Java." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106/.

Full text

Abstract:

Estruturas de tratamento de exceção são extremamente comuns em softwares desenvolvidos em linguagens modernas, como Java, e afetam de forma contundente o comportamento de um software quando exercitadas. Apesar destas duas características, as principais técnicas de verificação, teste de software e verificação formal, e as ferramentas a elas vinculadas, tendem a negligenciar o comportamento excepcional. Alguns dos fatores que levam a esta negligência são a não especificação do comportamento excepcional em termos de projeto e a consequente implementação das estruturas de tratamento com base no ju

APA, Harvard, Vancouver, ISO, and other styles

11

Du, Bois Andre Rauber. "Execução distribuída de programas funcionais usando a máquina virtual java." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2001. http://hdl.handle.net/10183/10577.

Full text

Abstract:

o objetivo deste trabalho é apresentar a implementação em Java de uma máquina abstrata para execução distribuída de programas funcionais. Mostra-se como as facilidades da linguagem Java foram utilizadas para a implementação de uma linguagem funcional paralela que roda os programas funcionais de forma distribuída em uma rede de computadores. Linguagens Funcionais geralmente são implementadas usando uma máquina abstrata para a execução dos programas. Essas máquinas são usualmente máquinas de redução de grafos. Para se rodar os programas funcionais na máquina virtual Java implementou-se a máquina

APA, Harvard, Vancouver, ISO, and other styles

12

Turpin, Tiphaine. "Élagage d’invariants de programmes." Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/turpin.pdf.

Full text

Abstract:

This thesis addresses the generation of certificates for Proof-Carrying Code that are both small and easy to check. We propose methods for obtaining small witnesses of a safety property in the context of Abstraction-Carrying Code. In the distributive case, the weakest witness (\emph{i. E. }, the smallest) may be computed. For the general case, we propose a pruning technique for weakening a given witness. This technique is applied to the abstract domain of convex polyhedra, in the intraprocedural and then interprocedural case. Another application is presented, which allows the lightweight bytec

APA, Harvard, Vancouver, ISO, and other styles

13

Hanazumi, Simone. "Geração de propriedades sobre programas Java a partir de objetivos de teste." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/.

Full text

Abstract:

Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar seu bom funcionamento é essencial para se evitar perdas, desde financeiras até de vidas. Uma das técnicas utilizadas para esta finalidade é a chamada verificação formal de programas. A partir da especificação do sistema, descrita numa linguagem formal, são definidas propriedades a serem satisfeitas e que certificariam a qualidade do software. Estas p

APA, Harvard, Vancouver, ISO, and other styles

14

Guedes, Paulo Abadie. "Uma metodologia para análise de fluxo de programas Java para tempo real." Universidade Federal de Pernambuco, 2004. https://repositorio.ufpe.br/handle/123456789/2553.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:59:12Z (GMT). No. of bitstreams: 2 arquivo4977_1.pdf: 839007 bytes, checksum: 6f8778aed895d0751995d11c884589f1 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004<br>Esta dissertação apresenta um método de análise de fluxo para a estimativa do WCET (worst-case execution time), o tempo de execução no pior caso, criado através da adaptação de uma abordagem desenvolvida recentemente com o mesmo fim, sobre programas de tempo real orientados a objeto. O método é uma extensão projetada para trabal

APA, Harvard, Vancouver, ISO, and other styles

15

Charreteur, Florence. "Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests." Phd thesis, Université Européenne de Bretagne, 2010. http://tel.archives-ouvertes.fr/tel-00497785.

Full text

Abstract:

La vérification des programmes est indispensable pour maintenir un certain niveau de qualité et de fiabilité. Le test est à ce jour le moyen de vérification des logiciels le plus utilisé dans l¤industrie. La programmation par contraintes est vue comme un moyen efficace pour automatiser la génération de données de test. Dans cette thèse nous proposons une modélisation par contraintes de la sémantique du bytecode Java, ainsi qu¤une méthode, basée sur cette modélisation, pour générer automatiquement des données de test. Notre modèle à contraintes de la sémantique d¤un programme en bytecode Java p

APA, Harvard, Vancouver, ISO, and other styles

16

Charreteur, Schadle Florence. "Modélisation par contraintes de programmes en bytecode java pour la génération automatique de tests." Rennes 1, 2010. http://www.theses.fr/2010REN1S019.

Full text

Abstract:

La vérification des programmes est indispensable pour maintenir un certain niveau de qualité et de fiabilité. Le test est à ce jour le moyen de vérification des logiciels le plus utilisé dans l’industrie. La programmation par contraintes est vue comme un moyen efficace pour automatiser la génération de données de test. Dans cette thèse nous proposons une modélisation par contraintes de la sémantique du bytecode Java, ainsi qu’une méthode, basée sur cette modélisation, pour générer automatiquement des données de test. Notre modèle à contraintes de la sémantique d’un programme en bytecode Java p

APA, Harvard, Vancouver, ISO, and other styles

17

Rocha, André Dantas. ""Uma ferramenta baseada em aspectos para apoio ao teste funcional de programas Java"." Universidade de São Paulo, 2005. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102005-200250/.

Full text

Abstract:

A disponibilidade de ferramentas de teste de software propicia maior qualidade e produtividade para as atividades de teste. Diversas ferramentas têm sido propostas para o apoio ao teste estrutural, mas nota-se a falta de ferramentas que ofereçam suporte ao teste funcional e implementem os diversos critérios dessa técnica. Visando a preencher essa lacuna, uma ferramenta para apoio ao teste funcional de programas Java foi desenvolvida e é apresentada. A ferramenta apóia os principais critérios funcionais, tais como o Particionamento de Equivalência e Análise de Valor-limite, e oferece análise de

APA, Harvard, Vancouver, ISO, and other styles

18

Elias, Queiroga da Costa Araújo José. "ALCSP: um complicador baseado em AspectJ para modularizar a programação concorrente em programas Java." Universidade Federal de Pernambuco, 2011. https://repositorio.ufpe.br/handle/123456789/2834.

Full text

Abstract:

Made available in DSpace on 2014-06-12T16:01:28Z (GMT). No. of bitstreams: 2 arquivo9411_1.pdf: 1518901 bytes, checksum: d645deca05140af7b59c0d3726ee9757 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011<br>Com o advento de processadores multicore, a programação concorrente ganhou importância e tem se tornado um dos grandes desafios da área de engenharia de software. O paradigma de programação concorrente, implementado por linguagens de programação como Java, C, e C++, oferece um nível de expressividade muito baixo, dificultando a su

APA, Harvard, Vancouver, ISO, and other styles

19

Rousset, Nicolas. "Automatisation de la Spécification et de la Vérification d'applications Java Card." Paris 11, 2008. http://www.theses.fr/2008PA112065.

Full text

Abstract:

Ce travail concerne la vérification statique de programmes Java Card annotés formellement, par des méthodes déductives. Il contribue à rendre cette approche praticable dans un contexte industriel. Ce travail a donné lieu à des implantations au sein du prototype Krakatoa, et des expérimentations sur des applets industrielles. La première partie concerne le renforcement du degré d'automatisation de l'étape de vérification. La première contribution est l'interprétation fine de traits de la sémantique du langage Java Card: transactions et arrachage de la carte. La deuxième contribution propose une

APA, Harvard, Vancouver, ISO, and other styles

20

Dourado, George Gabriel Mendes. "Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29032016-103011/.

Full text

Abstract:

O teste de programas concorrentes é uma atividade que envolve diferentes perspectivas. Uma das mais conhecidas refere-se ao desenvolvimento de novos conhecimentos sobre critérios, modelos e ferramentas de teste que auxiliem o testador nessa atividade. Outra perspectiva, igualmente importante, porém, ainda incipiente, é a avaliação da atividade de teste de programas concorrentes com relação à sua eficiência e eficácia para revelar defeitos de difícil detecção. O projeto TestPar em desenvolvimento no ICMC/USP tem abordado essas duas perspectivas ao longo dos últimos anos, onde novas tecnologias

APA, Harvard, Vancouver, ISO, and other styles

21

Bokowski, Boris. "A framework for checking programmer defined constraints on the definition and use of program elements in Java." [S.l. : s.n.], 2000. http://www.diss.fu-berlin.de/2002/21/index.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Schädel, Jana [Verfasser]. "Effekt eines multimodalen Antimicrobial Stewardship-Programms bei Fieber in Neutropenie / Jana Schädel." Berlin : Medizinische Fakultät Charité - Universitätsmedizin Berlin, 2016. http://d-nb.info/1113011955/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Ahmad, Roslan. "Public participation in the recycling programme in Malaysia : Petaling Jaya as a case study." Thesis, University of Leeds, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.414578.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Ferreira, Rodrigo Augusto Barbato. "Uma implementação distribuida da Maquina Virtual JAVA visando o compartilhametno do compilador "just-In-Time"." [s.n.], 2001. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276432.

Full text

Abstract:

Orientador: Guido Costa Souza de Araujo<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-07-27T17:17:44Z (GMT). No. of bitstreams: 1 Ferreira_RodrigoAugustoBarbato_M.pdf: 7083497 bytes, checksum: e0954b25f044d75d0166d511f5bbe192 (MD5) Previous issue date: 2001<br>Resumo: A compilação Just-In- Time (JIT) é uma técnica amplamente utilizada no aperfeiçoamento do desempenho da Máquina Virtual Java (JVM, do inglês Java Virtual Machine). Contudo, o tempo gasto internamente pelo compilador JIT degrada, em muitos casos, o tem

APA, Harvard, Vancouver, ISO, and other styles

25

Lounas, Razika. "Validation des spécifications formelles de la mise à jour dynamique des applications Java Card." Thesis, Limoges, 2018. http://www.theses.fr/2018LIMO0085/document.

Full text

Abstract:

La mise à jour dynamique des programmes consiste en la modification de ceux-ci sans en arrêter l'exécution. Cette caractéristique est primordiale pour les applications critiques en continuelles évolutions et nécessitant une haute disponibilité. Le but de notre travail est d'effectuer la vérification formelle de la correction de la mise à jour dynamique d'applications Java Card à travers l'étude du système EmbedDSU. Pour ce faire, nous avons premièrement établi la correction de la mise à jour du code en définissant une sémantique formelle des opérations de mise à jour sur le code intermédiaire

APA, Harvard, Vancouver, ISO, and other styles

26

Xavier, Kleber da Silva. "Ambiente de testes utilizando verificação de componentes java com tratamento de exceções." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/.

Full text

Abstract:

Um sistema de software que apresente problemas em sua execução pode gerar conseqüências desde um simples incômodo ao usuário, até desastres como a perda de uma sonda da NASA em Marte. As atividades de teste visam identificar erros nos sistemas de software, prevenindo estas conseqüências indesejáveis. Porém, os testes podem envolver entre 30% e 40% do esforço de desenvolvimento do sistema, e em sistemas críticos, seu custo pode ser de 3 a 5 vezes maior do que o custo combinado das demais atividades. Para tentar reduzir estes custos podemos automatizar parte das atividades. No presente caso, pr

APA, Harvard, Vancouver, ISO, and other styles

27

Pham, Quang Phuong. "Modélisation magnéto-mécanique d'un nano commutateur. Optimisation sous contraintes de fiabilité par dérivation automatique des programmes en Java." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00656625.

Full text

Abstract:

Les nano commutateurs magnétiques sont en cours d'étude et ils sont susceptibles d'être présents dans plusieurs domaines d'application comme les interrupteurs d'alimentation, les convertisseurs DC/DC...etc. Compte tenu de leur très petite taille et de leur procédé de fabrication, leurs performances sont sujettes à de grandes dispersions. Partant du besoin de modélisation et d'optimisation avec fiabilité de ces dispositifs, ces travaux de thèse se décomposent en trois axes. Axe modélisation : Développement d'un modèle semi analytique pour calculer la déformation avec l'analyse de contact mécani

APA, Harvard, Vancouver, ISO, and other styles

28

Pham, quang Phuong. "Modélisation magnéto-mécanique d'un nano commutateur. Optimisation sous contraintes de fiabilité par dérivation automatique des programmes en Java." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00721947.

Full text

Abstract:

Les nano commutateurs magnétiques sont en cours d'étude et ils sont envisageables dans plusieurs domaines d'application comme les interrupteurs d'alimentation, les convertisseurs DC/DC...etc. Partant du besoin de modélisation et d'optimisation avec fiabilité de ces dispositifs, ces travaux de thèse se décomposent en trois axes. Axe modélisation : développement d'un modèle semi analytique pour calculer la déformation avec l'analyse de contact mécanique. Ce modèle a été introduit pour le couplage magnéto-mécanique dans le logiciel de modélisation de MEMS magnétiques MacMMems. Axe dérivation auto

APA, Harvard, Vancouver, ISO, and other styles

29

Pham-Quang, Phuong. "Modélisation magnéto-mécanique d'un nano commutateur. Optimisation sous contraintes de fiabilité par dérivation automatique des programmes en Java." Thesis, Grenoble, 2011. http://www.theses.fr/2011GRENT060/document.

Full text

Abstract:

Les nano commutateurs magnétiques sont en cours d'étude et ils sont envisageables dans plusieurs domaines d'application comme les interrupteurs d'alimentation, les convertisseurs DC/DC...etc. Partant du besoin de modélisation et d'optimisation avec fiabilité de ces dispositifs, ces travaux de thèse se décomposent en trois axes. Axe modélisation : développement d'un modèle semi analytique pour calculer la déformation avec l'analyse de contact mécanique. Ce modèle a été introduit pour le couplage magnéto-mécanique dans le logiciel de modélisation de MEMS magnétiques MacMMems. Axe dérivation auto

APA, Harvard, Vancouver, ISO, and other styles

30

Oliveira, Daniel Gomes de. "Avaliação de ferramentas de geração automática de dados de teste para programas java: um estudo exploratório." Universidade Federal de Goiás, 2016. http://repositorio.bc.ufg.br/tede/handle/tede/6567.

Full text

Abstract:

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2016-12-05T15:46:39Z No. of bitstreams: 2 Dissertação - Daniel Gomes de Oliveira - 2016.pdf: 1447085 bytes, checksum: f382ec268ae42480adeee8f03e5ccda2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-12-13T15:32:34Z (GMT) No. of bitstreams: 2 Dissertação - Daniel Gomes de Oliveira - 2016.pdf: 1447085 bytes, checksum: f382ec268ae42480adeee8f03e5ccda2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br

APA, Harvard, Vancouver, ISO, and other styles

31

Almeida, Vinicius Coelho de. "Uso da linguagem OCL no contexto de diagramas de classe da UML e programas em java." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/SLBS-6Y5HZL.

Full text

Abstract:

In this work, we present OCL usage in forward engineering of UML class diagrams to Java code, as well as a discussion of its potential usage during reverse engineering in this context. The stateof-art of the related tools in the academic literature, and existing problems on forward and reverse engineering were surveyed. Also, we have identified mappings among types and operations from both languages. Finally, our conclusions about OCL usage viability on development process andproposal of future works finalize the dissertation.<br>Neste trabalho, apresentamos o uso de OCL na engenharia a frente

APA, Harvard, Vancouver, ISO, and other styles

32

SANTOS, Gustavo Alexandre dos. "Suporte a refatorações em um sistema de transformação de propósito geral." Universidade Federal de Pernambuco, 2006. https://repositorio.ufpe.br/handle/123456789/2603.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:59:36Z (GMT). No. of bitstreams: 2 arquivo5286_1.pdf: 1505909 bytes, checksum: f4646a946b73590a827dd6f77a6f55ef (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006<br>Conselho Nacional de Desenvolvimento Científico e Tecnológico<br>A técnica de refatoração de código vem se tornando cada vez mais comum em processos de desenvolvimento de software. A reestruturação contínua durante o processo de desenvolvimento contribui para um aumento da qualidade do código em termos de legibilidade, modularidad

APA, Harvard, Vancouver, ISO, and other styles

33

Rapeli, Leide Rachel Chiusi. "Refatoração de sistemas Java utilizando padrões de projeto: um estudo de caso." Universidade Federal de São Carlos, 2005. https://repositorio.ufscar.br/handle/ufscar/626.

Full text

Abstract:

Made available in DSpace on 2016-06-02T19:06:28Z (GMT). No. of bitstreams: 1 DissLRCR.pdf: 1289177 bytes, checksum: 0d5c30e3a6fab66cbd1251a5fc2211d1 (MD5) Previous issue date: 2005-12-19<br>This dissertation presents a study case on object-oriented systems refactoring. Systems developed according to the object-oriented paradigm may contain reusable code, even though not always have been designed for it. Systems maintenance is not an easy task, even for object-oriented systems. Software design patterns favour the implementation of efficient solutions for recurrent problems, easing reusability

APA, Harvard, Vancouver, ISO, and other styles

34

Balbuena, Palacios Carlos Humberto. "Análisis, diseño e implementación de un generador MDA de Aplicaciones Java Web." Bachelor's thesis, Pontificia Universidad Católica del Perú, 2010. http://tesis.pucp.edu.pe/repositorio/handle/123456789/1345.

Full text

Abstract:

La arquitectura orientada a modelos (MDA) fue formalmente introducida por el OMG (Object Management Group) en el año 2001 como un término que abarcaba un gran número de aplicaciones para el modelado y elaboración de especificaciones de arquitectura. Desde entonces, estas especificaciones y su uso han ido evolucionando en forma considerable, y el término MDA es ahora ampliamente reconocido en la industria de tecnologías de información. Sin embargo, MDA va mas allá de ser un conjunto de tecnologías o de un modo específico para generar código, actualmente provee un marco de trabajo para la admini

APA, Harvard, Vancouver, ISO, and other styles

35

Šimelytė, Justė. "Atleidimo nuo bausmės programų EB ir JAV efektyvumas kovojant su karteliais bei EB ir JAV bendradarbiavimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2009. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2007~D_20081203_204206-88463.

Full text

Abstract:

Karteliai yra slapti konkurentų susitarimai, kuriais koordinuojamos ar nustatomos kainos, ribojama pasiūla, gamybos apimtys, dalinamasi rinkomis ar vartotojais, sumažinama prekių kokybė ar jų pasirinkimas, todėl yra pripažįstami vienais iš rimčiausių konkurencijos pažeidimų. Susitarimai dėl kartelių yra slapti, gerai koordinuoti, o jų dalyviai, vengdami griežtos atsakomybės ir prisidengdami slapyvardžiais, susitikimus organizuoja užsienio kurortuose. Vis dažniau sudaromi tarptautiniai karteliai, kuriais nustatomos kainos, ribojama pasiūla pasauliniu mastu. Tai apsunkina kartelių atskleidimą be

APA, Harvard, Vancouver, ISO, and other styles

36

Flatscher, Rony G. "Anatomy of a GUI (Graphical User Interface) Application for Rexx Programmers." Rexx Language Association, 2018. http://epub.wu.ac.at/6875/2/201803%2DAnatomyOfGUI%2DArticle.pdf.

Full text

Abstract:

Creating for the first time GUI (graphical user interface) applications is an endeavor that can be most challenging. This article introduces the general concepts of GUIs and the need to interact with GUI elements only on the so called "GUI thread". The concepts pertain to GUI applications written for Windows, Linux and MacOS alike. Using Java libraries for creating Rexx GUI applications makes these Rexx GUI applications totally platform independent. Taking advantage of BSF4ooRexx even the powerful JavaFX GUI libraries can be exploited by pure Rexx, allowing Rexx programmers to create th

APA, Harvard, Vancouver, ISO, and other styles

37

Hurlin, Clément. "Spécification et vérification de programmes orientés objets en logique de séparation." Phd thesis, Université de Nice Sophia-Antipolis, 2009. http://tel.archives-ouvertes.fr/tel-00424979.

Full text

Abstract:

Cette thèse propose une extension de la logique de séparation pour les programmes parallèles et orientés-objets. La logique de séparation est un formalisme récent et prometteur pour vérifier les programmes impératifs. Cependant, jusqu'à présent, la logique de séparation a été appliquée à des programmes utilisant un opérateur parallèle irréaliste (||) et des verrous non-ré-entrants (contrairement au langage Java). Dans cette thèse, nous adaptons la logique de séparation aux opérateurs "fork" et "join" (utilisés par de nombreux langages: C, Java, etc...) et aux verrous ré-entrants (utilisés par

APA, Harvard, Vancouver, ISO, and other styles

38

Pinto, Randal Juliano Pereira. "Tecnicas de otimização para o interpretador da K virtual machine." [s.n.], 2003. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276340.

Full text

Abstract:

Orientador : Rodolfo Jardim de Azevedo<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-08-03T22:42:38Z (GMT). No. of bitstreams: 1 Pinto_RandalJulianoPereira_M.pdf: 1892190 bytes, checksum: d5c7c9a843bf9760d761e985a3df1b3c (MD5) Previous issue date: 2003<br>Resumo: Dispositivos portáteis e personalizáveis têm se tornado Ítens cada vez mais importantes em nossas vidas. Telefones celulares, organizadores pessoais, terminais de serviço pos-suem algumas características em comum como a funcionalidade limitada, restrições d

APA, Harvard, Vancouver, ISO, and other styles

39

RABELO, JÚNIOR Sebastião Estefânio Pinto. "Verificação de conformidade entre diagramas de sequência UML e código Java." Universidade Federal de Campina Grande, 2012. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626.

Full text

Abstract:

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-02T14:02:19Z No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5)<br>Made available in DSpace on 2018-09-02T14:02:19Z (GMT). No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) Previous issue date: 2012-11-11<br>Capes<br>Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os d

APA, Harvard, Vancouver, ISO, and other styles

40

Cafeo, Bruno Barbieri de Pontes. "Teste estrutural de integração contextual de programas orientados a objetos e a aspectos." Universidade de São Paulo, 2011. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12082011-103432/.

Full text

Abstract:

Paradigmas e técnicas de desenvolvimento como a programação Orientada a Objetos (OO) e a programação Orientada a Aspectos (OA) procuram melhorar os níveis de reuso e manutenibilidade na produção de software. Contudo, com a introdução de mecanismos com maior poder de expressividade e, consequentemente, a possível introdução de novos tipos de defeitos, a utilização de linguagens OO e OA pode se tornar um obstáculo ao invés de um auxílio ao desenvolvimento de software. Para lidar com esse problema, nesta dissertação é proposta uma abordagem de teste estrutural de integração para programas orienta

APA, Harvard, Vancouver, ISO, and other styles

41

Lemos, Otávio Augusto Lazzarini. "Teste estrutural de integração de programas orientados a aspectos: uma abordagem baseada em conjuntos de junção para AspectJ." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20052009-095641/.

Full text

Abstract:

A Programação Orientada a Aspectos (POA) é uma técnica de desenvolvimento que apoia a separação de interesses transversais. Na POA, adendos são aplicados a pontos de junção do sistema por meio de uma construção especial chamada descritor de conjuntos de junção (ou simplesmente conjunto de junção). Esse mecanismo apoia a modularização de comportamentos transversais, entretanto, como as interações adicionadas não ficam explícitas no código-fonte, é difícil assegurar que estão corretas. Para lidar com esse problema, nesta tese é proposta uma abordagem rigorosa de teste estrutural de integração pa

APA, Harvard, Vancouver, ISO, and other styles

42

Neves, Vânia de Oliveira. "Teste de integração contextual de programas orientados a objetos e a aspectos: critérios e automação." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08042010-163127/.

Full text

Abstract:

Uma abordagem de teste estrutural de integração contextual para programas OO e OA escritos em Java e AspectJ é apresentada. A finalidade dessa abordagem é descobrir defeitos que possam existir nas interfaces entre uma determinada unidade (método ou adendo) e todas as outras que interagem diretamente com ela, bem como descobrir defeitos que possam ocorrer na hierarquia de chamadas dessas unidades. Para programas OO, esse tipo de teste envolve testar a interação entre métodos; já para programas OA, o teste estrutural de integração nível um (como também pode ser chamado) deve considerar as intera

APA, Harvard, Vancouver, ISO, and other styles

43

Fischer, Jana [Verfasser], Uwe [Akademischer Betreuer] Berger, Bernhard [Akademischer Betreuer] Blanz, and Yes [Akademischer Betreuer] Stöbel-Richter. "Untersuchung der Nachhaltigkeit eines Programms zur Primärprävention bei Essstörungen an Schulen / Jana Fischer. Gutachter: Uwe Berger ; Bernhard Blanz ; Yes Stöbel-Richter." Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2011. http://d-nb.info/1016620020/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Wardhana, Dharendra. "Have decentralisation and democratisation been effective in promoting an inclusive social protection system in Indonesia? : a comparative case study of the implementation of social protection programmes in Central Java." Thesis, King's College London (University of London), 2018. https://kclpure.kcl.ac.uk/portal/en/theses/have-decentralisation-and-democratisation-been-effective-in-promoting-an-inclusive-social-protection-system-in-indonesia(49b8f1f4-ccfc-45d4-b309-4ac9db07467b).html.

Full text

Abstract:

Decentralisation, democratisation, and social protection (SP) are widely regarded as three important endeavours that developing countries ought to pursue. Research has, however, neglected the relationship between these three. An exploration of this interplay is important given that efforts by decentralised governments to expand SP are often unaccompanied by sufficient resources. In the Indonesian context, most local governments struggle to maintain the viability of SP while attempting to garner electoral votes with various entitlement programmes. This thesis addresses this gap in the literatur

APA, Harvard, Vancouver, ISO, and other styles

45

Hiet, Guillaume. "Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d'information au sein du système d'exploitation et des applications : mise en oeuvre sous Linux pour les programmes Java." Rennes 1, 2008. http://www.theses.fr/2008REN1S171.

Full text

Abstract:

La sécurité informatique est un enjeu crucial. Elle consiste en premier lieu à définir une politique de sécurité puis à mettre en œuvre cette politique. L’approche de détection d'intrusions paramétrée par la politique de sécurité nous paraît prometteuse. Une telle approche s'appuie uniquement sur un modèle de l'évolution de l'état du système et sur un modèle de la politique de sécurité. Nous souhaitons surveiller un système comprenant un OS et des logiciels COTS dont des applications web. Nous proposons un modèle de détection permettant de suivre les flux d'informations entre les conteneurs d'

APA, Harvard, Vancouver, ISO, and other styles

46

OLIVEIRA, Catuxe Varjão de Santana. "Uma técnica para verificar não-conformidades em Programas Especificados com Contratos." Universidade Federal de Campina Grande, 2013. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1622.

Full text

Abstract:

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-31T22:55:43Z No. of bitstreams: 1 CATUXE VARJÃO DE SANTANA OLIVEIRA - PPGCC DISSERTAÇÃO 2013..pdf: 11354934 bytes, checksum: 6a23f31ef43ba211aeaa89eb36061a43 (MD5)<br>Made available in DSpace on 2018-08-31T22:55:43Z (GMT). No. of bitstreams: 1 CATUXE VARJÃO DE SANTANA OLIVEIRA - PPGCC DISSERTAÇÃO 2013..pdf: 11354934 bytes, checksum: 6a23f31ef43ba211aeaa89eb36061a43 (MD5) Previous issue date: 2013-03-15<br>A escrita de especificações formais por contratos é uma maneira confiável e prática de construir softwares, em que de

APA, Harvard, Vancouver, ISO, and other styles

47

Hiet, Guillaume. "Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des ﬂux d'informations au sein du système d'exploitation et des applications : mise en œuvre sous Linux pour les programmes Java". Phd thesis, Université Rennes 1, 2008. http://tel.archives-ouvertes.fr/tel-00355089.

Full text

Abstract:

La sécurité informatique est un enjeu crucial. Elle consiste en premier lieu à définir une politique de sécurité puis à mettre en œuvre cette politique. Les approches préventives comme le contrôle d'accès sont essentielles mais insuffisantes. Il est donc nécessaire de recourir à la détection d'intrusions. En particulier, l'approche de détection d'intrusions paramétrée par la politique de sécurité nous paraît prometteuse. Une telle approche s'appuie uniquement sur un modèle de l'évolution de l'état du système et sur un modèle de la politique de sécurité. Nous nous intéressons dans cette thèse a

APA, Harvard, Vancouver, ISO, and other styles

48

Sallenave, Olivier. "Contribution à l'efficacité des programmes orientés objet pour processeurs embarqués." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20120.

Full text

Abstract:

Les systèmes embarqués sont largement utilisés de nos jours. Pour des raisons d'efficacité, les plus contraints en termes de ressources sont toujours programmés en C et en assembleur. L'adoption de langages de plus haut niveau tels que C# ou Java offrirait plus d'abstraction au programmeur, ce qui réduirait les temps de développement et par conséquent le coût de ces systèmes. Certains d'entre eux ont déjà migré vers de tels langages, comme les téléphones mobiles ou les tablettes tactiles, mais ils sont équipés d'une grande quantité de mémoire externe et ne reflètent pas la majorité des système

APA, Harvard, Vancouver, ISO, and other styles

49

Karol, Sven. "Well-Formed and Scalable Invasive Software Composition." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-170162.

Full text

Abstract:

Software components provide essential means to structure and organize software effectively. However, frequently, required component abstractions are not available in a programming language or system, or are not adequately combinable with each other. Invasive software composition (ISC) is a general approach to software composition that unifies component-like abstractions such as templates, aspects and macros. ISC is based on fragment composition, and composes programs and other software artifacts at the level of syntax trees. Therefore, a unifying fragment component model is related to the cont

APA, Harvard, Vancouver, ISO, and other styles

50

Caserta, Pierre. "Analyse statique et dynamique de code et visualisation des logiciels via la métaphore de la ville : contribution à l'aide à la compréhension des programmes." Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0266.

Full text

Abstract:

Ce travail s'inscrit dans le cadre des recherches menées autour de l'analyse et la visualisation des logiciels, notamment les logiciels à objets, et en particulier Java. Très brièvement, on peut dire que le but de cette thèse revient à tenter de répondre à une question fondamentale: comment faire pour faciliter la compréhension du logiciel par ses développeurs et concepteurs ? Ce travail de recherche est basé en grande partie sur deux axes principaux. Le premier consiste à analyser l'exécution des programmes, non seulement au niveau de la méthode, mais bien au niveau du bloc de base, pour recu

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!