JAVA Applets, um comboio em início de marcha

Java! Uma palavra nova e misteriosa que consegue conjugar imagens, movimento, internet, programação, café quente e o nome de uma das 10,000 ilhas dos nossos amigos da Indonésia. No entanto, é sobre os quatro primeiros conceitos que se trata este projecto de “JAVA Applets, um comboio em início de marcha”. Se o HTML vem ligar imagens à internet, o JAVA tenta dar uma certa interactividade utilizando programação mas, tentando também, que os utilizadores finais a possam utilizar sem grande esforço.

Java Applets for teaching quantum mechanics: Particle in a box

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk. Please report any errors you find.

Java Applets for teaching quantum mechanics: Particle in a 2D box

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk.

Java Applets for teaching quantum mechanics: Particle in a well

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk.

Applets en la enseñanza de la física.

Resumen tomado de la publicación

Cómo, cuándo y dónde utilizar 'applets' como ayuda al aprendizaje de las ciencias.

Se analizan las simulaciones interactivas conocidas como 'applets' para estudiar el tipo de actividades, basadas en las mismas, que se pueden proponer al alumnado. Los 'applets' de ciencias son programas de simulación incorporados en páginas web en los que se muestra la evolución de un fenómeno, o bien, se reproducen situaciones relacionadas con sistemas físicos. El alumnado debe tener en cuenta que la simulación es la representación que corresponde a un modelo simplificado de la realidad, 'no es la realidad'. Con estos programas podemos inducir leyes, caracterizar fenómenos, obtener gráficas, verificar leyes o comprobar hipótesis. Las maneras de plantear una actividad son muy variadas, dependerán de los objetivos didácticos que se plantee el profesor y del modelo de enseñanza que considere más eficiente. A la hora de preparar una actividad se deberá tener en cuenta qué queremos que aprenda nuestro alumnado, en qué momento del proceso enseñanza-aprendizaje realizaremos la actividad, cómo realizará el alumnado la actividad, en qué lugar se realizará la actividad y cuánto tiempo durará.

La interacción con applets Java para el aprendizaje de las matemáticas.

Resumen tomado de la publicación

Los applets de funciones en el Proyecto Gauss.

Resumen basado en el de la publicación

Los applets para la enseñanza de la estadística y probabilidad.

Resumen tomado de la publicación

Applets en Geometría.

Resumen basado en el de la publicación

Usando applets para construir el concepto de integral definida.

Resumen tomado de la publicación

Aproximación al concepto de función primitiva : un experimento de enseñanza con applets de geometría dinámica.

Resumen tomado de la pubicación

Applets

O professor apresenta programas em Java denominados Applets, ilustrando o que é um Applet e como é sua funcionalidade.

Java applets para um software educacional distribuído em eletrônica de potência

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification