Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « java »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
japanese < java < javabeans  Facettes :

List of bibliographic references indexed by java

Number of relevant bibliographic references: 64.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000552 (2015-05-05) Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Emilie Balland [France]A Java Framework for Test Data Generation
000E23 (2014) Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Effective strategic programming for Java developers
001043 (2013-08-29) Emmanuel Hainry [France] ; Romain Péchoux [France]Types for controlling heap and stack in Java
001331 (2013-01-11) Emmanuel Hainry [France] ; Romain Péchoux [France]Type-based heap and stack space analysis in Java
001C27 (2012-02-16) Pierre Caserta [France] ; Olivier Zendra [France]JBInsTrace: A Tracer of Java and JRE Classes at Basic-Block Granularity by Dynamically Instrumenting Bytecode
002096 (2011-09-26) Dominique Méry [France] ; Neeraj Kumar Singh [France]EB2J : Code Generation from Event-B to Java
002214 (2011-07-26) Pierre Caserta [France] ; Olivier Zendra [France]A Tracing Technique using Dynamic Bytecode Instrumentation of Java Applications and Libraries at Basic Block Level
002416 (2011-03-21) Frédéric Dadeau [France] ; Fabien Peureux [France]Grey-Box Testing and Verification of Java/JML
002458 (2011-02-11) Martin Quinson [France] ; Gérald Oster [France]The Java Learning Machine: A Learning Management System Dedicated To Computer Science Education
002D75 (2010-03-27) Alain Giorgetti [France] ; Claude Marché [France] ; Elena Tushkanova [France] ; Olga Kouchnarenko [France]Specifying Generic Java Programs: two case studies
003029 (2010) Thi Mai Thuong Tran [Norvège] ; Martin Steffen [Norvège]Safe Commits for Transactional Featherweight Java
004143 (2008) Alain Giorgetti [France] ; Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France]Verification of class liveness properties with Java modeling language
004857 (2007-06-26) Emilie Balland [France] ; Paul Brauner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Tom: Piggybacking rewriting on java
005496 (2006) Violeta Felea [France] ; Bernard Toursel [France]Dynamic load‐balancing mechanism for distributed Java applications
005C54 (2005) Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]A generator of efficient strongly typed abstract syntax trees in Java
005E68 (2005) Mark Van Den Brand ; Pierre-Etienne Moreau ; Jurgen VinjuA generator of efficient strongly typed abstract syntax trees in Java
006365 (2005) M. Van Den Brand [Pays-Bas] ; P.-E. Moreau [France] ; J. Vinju [Pays-Bas]Generator of efficient strongly typed abstract syntax trees in Java
006791 (2004) Olivier Festor ; Laurent AndreyJMX : un standard pour la gestion Java
006875 (2004) Horatiu Cirstea ; Pierre-Etienne Moreau ; Antoine ReillesRule based programming in Java for protocol verification
006C03 (2004) Nancy Rodriguez [France] ; Luis Jose Pulido [France] ; Jean-Pierre Jessel [France]Enhancing a Telerobotics Java Tool with Augmented Reality
006E96 (2004) Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Rule based programming in Java for protocol verification

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "java" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "java" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    java
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022