Search Results - java ((programa OR programm) de programmation)~

Design of a visual environment for programming by direct data manipulation ; Conception d'un environnement visuel pour la programmation par manipulation directe des données

Authors: Adam, Michel Frison, Patrice Daoud, Moncef et al.

Contributors: Adam, Michel Frison, Patrice Daoud, Moncef et al.

Source: https://hal.science/hal-05089017 ; 2025.

Subject Terms: Learning programming, Automatic code generation, Programming by demonstration, Direct data manipulation, Programmation visuelle Manipulation directe des données Programmation par démonstration Génération automatique de code Apprentissage de la programmation Visual programming Direct data manipulation Programming by demonstration Automatic code generation Learning programming, Programmation visuelle, Manipulation directe des données, Programmation par démonstration, Génération automatique de code, Apprentissage de la programmation Visual programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.2: Computer and Information Science Education, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.EIAH]Computer Science [cs]/Technology for Human Learning

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2506.03720; ARXIV: 2506.03720

Availability: https://hal.science/hal-05089017
https://hal.science/hal-05089017v2/document
https://hal.science/hal-05089017v2/file/AlgoTouchDesign.pdf

Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java

Authors: Hardin, Thérèse Jaume, Mathieu Pessaux, François et al.

Contributors: Hardin, Thérèse Jaume, Mathieu Pessaux, François et al.

Source: https://hal.science/hal-03030511 ; ISTE Editions, 2021, 9781784057022.

Subject Terms: Langages de programmation, sémantique, objets, modules, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Availability: https://hal.science/hal-03030511

Raisonnement à contraintes pour le test de bytecode Java

Authors: Charreteur, Florence Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) et al.

Contributors: Charreteur, Florence Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) et al.

Source: JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes ; https://inria.hal.science/inria-00290579 ; JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.11-20

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.3: Constraints, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Nantes, France

Availability: https://inria.hal.science/inria-00290579
https://inria.hal.science/inria-00290579v1/document
https://inria.hal.science/inria-00290579v1/file/pages-011-20-article27.pdf

Le livre de Java premier langage : Avec 109 exercices corrigés

Authors: Anne Tasso

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

Programmer en Java : Couvre les nouveautés de Java 8 : streams, expressions lambda...

Authors: Claude Delannoy

Resource Type: eBook.

Subjects: Java (Computer program language)--Handbooks, manuals, etc, Object-oriented programming (Computer science)--Handbooks, manuals, etc

Categories: COMPUTERS / Languages / Java

Programmer en Java : Couvre Java 10 à Java 14 - 11e édition

Authors: Claude Delannoy

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

Dépendances externes dans les programmes : spécification, détection et inexactitudes ; External Dependencies in Programs : Specification, Detection and Incorrectness

Authors: Hosry, Aless Université de Lille (2022-.) Anquetil, Nicolas

Contributors: Hosry, Aless Université de Lille (2022-.) Anquetil, Nicolas

Subject Terms: Dépendances externes, Dépendances incorrectes, Qualité logicielle, Correspondance de motifs, External dependencies, Incorrect dependencies, Software quality, Pattern matching

Relation: http://www.theses.fr/2024ULILB045/document

Availability: http://www.theses.fr/2024ULILB045/document

Programmer en Java : Couvre Java 9

Authors: Claude Delannoy

Resource Type: eBook.

Subjects: Object-oriented programming (Computer science)--Handbooks, manuals, etc, Java (Computer program language)--Handbooks, manuals, etc

Categories: COMPUTERS / Languages / Java

Le livre de Java premier langage : Avec 109 exercices corrigés - Mise à jour avec Java 9

Authors: Anne Tasso

Resource Type: eBook.

Subjects: Java (Computer program language)--Problems, exercises, etc

Categories: COMPUTERS / Languages / Java

Programmer en Java

Authors: Claude Delannoy

Resource Type: eBook.

Subjects: Java (Computer program language), Object-oriented programming (Computer science)

Categories: COMPUTERS / Languages / Java

Programación de buscadores en JavaScript para diccionarios digitales. (Spanish)

Alternate Title: Search Engine Programming in JavaScript for Digital Dictionaries. (English)
Programmation de moteurs de recherche dans JavaScript pour des dictionnaires digitaux. (French)
Programação de Javascript search para dicionários digitais. (Portuguese)

Authors: KROHN, HAAKON S.

Source: Cuadernos de Lingüística Hispánica; jul-dic2019, Issue 34, p94-116, 23p

Subject Terms: SEARCH engines, WEB search engines, KEYWORD searching, JAVASCRIPT programming language, ENCYCLOPEDIAS & dictionaries, COMPUTATIONAL linguistics, LEXICOGRAPHY

Apprenez à programmer en Java

Authors: Cyrille Herby

Resource Type: eBook.

Subjects: Object-oriented programming (Computer science), Java (Computer program language), UML (Computer science)

Categories: COMPUTERS / Languages / Java

Le livre de Java premier langage : Avec 109 exercices corrigés

Authors: Anne Tasso

Resource Type: eBook.

Subjects: Java (Computer program language)--Problems, exercises, etc

Categories: COMPUTERS / Languages / Java

Design of a programming language dedicated to program analysis and transformation ; Conception d'un langage dédié à l'analyse et la transformation de programmes

Authors: Balland, Emilie Formal islands: foundations and applications (PAREO) INRIA Lorraine et al.

Contributors: Balland, Emilie Formal islands: foundations and applications (PAREO) INRIA Lorraine et al.

Source: https://tel.archives-ouvertes.fr/tel-01748507 ; Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩.

Subject Terms: Programming languages, embedded languages, static analysis, program transformation, rewriting, term-graphs, langages de programmation, langages embarqués, analyse statique, transformation de programmes, réécriture, stratégies, termes-graphes, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: NNT: 2009NAN10026; tel-01748507; https://tel.archives-ouvertes.fr/tel-01748507; https://tel.archives-ouvertes.fr/tel-01748507v2/document; https://tel.archives-ouvertes.fr/tel-01748507v2/file/manuscrit.pdf

Availability: https://tel.archives-ouvertes.fr/tel-01748507
https://tel.archives-ouvertes.fr/tel-01748507v2/document
https://tel.archives-ouvertes.fr/tel-01748507v2/file/manuscrit.pdf

Varda : a language for programming distributed systems by composition ; Varda : un langage pour la programmation de systèmes distribués par composition

Authors: Prosperi, Laurent Sorbonne université Makpangou, Mesaac et al.

Contributors: Prosperi, Laurent Sorbonne université Makpangou, Mesaac et al.

Subject Terms: Systèmes distribués, Langage de programmation, Composition, Vérification, Optimisation, Distributed Systems, Programming Languages, Verification, Optimization, 005.133

Relation: http://www.theses.fr/2023SORUS240/document

Availability: http://www.theses.fr/2023SORUS240/document

Le livre de Java premier langage : Avec 100 exercices corrigés

Authors: Anne Tasso

Resource Type: eBook.

Subjects: Java (Computer program language)

Categories: COMPUTERS / Languages / Java

Static analysis of concurrent programs based on behavioral type systems ; Analyse statique de programmes concurrents basés sur des systèmes de type comportemental

Authors: Celestrín, Abel, García Department of Computer Science and Engineering Bologna (DISI) Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) et al.

Contributors: Celestrín, Abel, García Department of Computer Science and Engineering Bologna (DISI) Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) et al.

Source: https://inria.hal.science/tel-01660749 ; Programming Languages [cs.PL]. University of Bologna, 2017. English. ⟨NNT : ⟩.

Subject Terms: Deadlock analysis, resource analysis, Analys d'interblocage, analyse de ressources, Java, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Availability: https://inria.hal.science/tel-01660749
https://inria.hal.science/tel-01660749v1/document
https://inria.hal.science/tel-01660749v1/file/PhD%20Thesis%20-%20Abel%20Garcia.pdf

Le livre de Java premier langage : Avec 99 exercices corrigés - Corrigé du projet et des exercices - Code source de tous les exemples de l'ouvrage

Authors: Anne Tasso

Resource Type: eBook.

Subjects: Java (Computer program language)--Problems, exercises, etc

Categories: COMPUTERS / Languages / Java

Programmer en Java : Java 5 à 7

Authors: Claude Delannoy

Resource Type: eBook.

Subjects: Java (Computer program language)--Handbooks, manuals, etc, Object-oriented programming (Computer science)--Handbooks, manuals, etc

Categories: COMPUTERS / Languages / Java

Le livre de Java premier langage : Avec 99 exercices corrigés - Un best-seller qui a déjà conquis des milliers d'étudiants !

Authors: Anne Tasso

Resource Type: eBook.

Subjects: Java (Computer program language)

Categories: COMPUTERS / Languages / Java