Despite the simplicity of our example Cuadro.java it helps us understand the fundamentals of Java and in particular the structure of a typical java program.
Ainda que nosso exemplo quadro.java é bastante simples, nos ajudará a compreender os elementos fundamentais de um programa Java, e sobretudo a estrutura de um programa.
In addition, this paper discusses the development and utilization of Java applet programs to solve some design-oriented equations for rectifier applications.
Além disso, este artigo aborda o desenvolvimento e a utilização de Java applets para resolução de algumas equações de projetos orientados para aplicações destes retificadores.
CoffeeDregs is a tool that visualizes step by step the execution of an arbitrary Java program.
O CoffeeDregs é uma ferramenta que visualiza passo a passo a execução de um programa Java arbitrário.
To help software developers in the application of formal verification in Java programs, we propose in this work the generation of properties formal representation for direct use in a verifier.
Para auxiliar os desenvolvedores na utilização da verificação formal em programas escritos em Java, propomos neste trabalho a geração de representação de propriedades para uso direto num verificador.
The java subdirectory contains the source of the Java programs, which are used with the Linux validation and transformation tool, in case you want to modify or rebuild them.
O subdiretório java contém a origem dos programas Java, que são usados com a ferramenta de validação e transformação Linux, no caso de desejar modificar ou reconstruí-los.
KTest is oriented to state-based testing of Java-written programs, supported by the mechanism of computational reflection. By evaluating user specified assertions, KTest verifies the state integrity of the objects during the execution of the program being tested.
Através do emprego de asserções, especificadas pelo usuário, é possível verificar a integridade dos estados dos objetos durante a execução do programa em teste.
This Ph.D. thesis presents the SBBMuT approach that applies deterministic execution and genetic algorithm for the generation and execution of a set of synchronization sequences during the mutation testing of Java multithreaded programs.
Esta tese de doutorado apresenta a abordagem SBBMuT que aplica execução determinística e algoritmo genético para a geração e execução de um conjunto de sequências de sincronização durante o teste de mutação para programas Java multithread.
GNU Classpath was one of the FSF high-priority projects for this reason, because of the problem of free Java programs relying on non-free Java implementations, which RMS drew attention to back in 2004.
O GNU Classpath foi um dos projetos de alta prioridade por esse motivo, por causa do problema de programas livres em Java terem de depender de implementações não livres de Java, às quais RMS chamou a atenção lá em 2004.
P-pack includes a series of web-based Java presentation programs (scrollup, newsflash, TickLeft, rotateinfo, TypeText) that can be used to enhance your web site.
P-pack inclui uma série de programas baseados na web Java apresentação (scrollup, newsflash, TickLeft, rotateinfo, TypeText) que podem ser usados para aprimorar seu web site.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.