Search Results - java (programm de (programmation OR 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

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

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

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

Fondements de la Programmation Concepts et Techniques

Authors: Rifflet, Jean-Marie Yunès, Jean-Baptiste Preuves, Programmes et Systèmes (PPS) et al.

Contributors: Rifflet, Jean-Marie Yunès, Jean-Baptiste Preuves, Programmes et Systèmes (PPS) et al.

Source: https://hal.archives-ouvertes.fr/hal-01187683 ; Ellipses, 2014, 978-2340000148.

Subject Terms: programmation, concepts, [INFO]Computer Science [cs]

Relation: hal-01187683; https://hal.archives-ouvertes.fr/hal-01187683

Availability: https://hal.archives-ouvertes.fr/hal-01187683

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

S'initier à la programmation et à l'orienté objet : Avec des exemples en C, C++, C#, Python, Java et PHP

Authors: Claude Delannoy

Resource Type: eBook.

Subjects: Object-oriented programming languages--Problems, exercises, etc, Programming languages (Electronic computers)--Problems, exercises, etc, Programming languages (Electronic computers), Object-oriented programming languages

Categories: COMPUTERS / Programming / Object Oriented

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

Hiber, un langage pour décrire les règles de génération de code dans SableCC

Authors: Coderre, David

Subject Terms: SableCC (cadre d'application), Générateur de programme, Compilateur (Logiciel), Structure de données, Interpréteur (Logiciel), Script (Informatique), Hiber (Langage de programmation)

File Description: application/pdf

Relation: http://www.archipel.uqam.ca/3260/; http://www.archipel.uqam.ca/3260/1/M9709.pdf; Coderre, David (2007). « Hiber, un langage pour décrire les règles de génération de code dans SableCC » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

Availability: http://www.archipel.uqam.ca/3260/1/M9709.pdf

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

S'initier à la programmation et à l'orienté objet : Avec des exemples en C, C++, C#, Python, Java et PHP

Authors: Claude Delannoy

Resource Type: eBook.

Subjects: Programming languages (Electronic computers), Object-oriented programming languages

Categories: COMPUTERS / Programming / Object Oriented

Programmer en Java

Authors: Claude Delannoy

Resource Type: eBook.

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

Categories: COMPUTERS / Languages / Java

S'initier à la programmation : Avec des exemples en C, C++, C#, Java et PHP

Authors: Claude Delannoy

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Problems, exercises, etc, Object-oriented programming languages--Problems, exercises, etc, Programming languages (Electronic computers), Object-oriented programming languages

Categories: COMPUTERS / Programming / General

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

S'initier à la programmation et à l'orienté objet : Avec des exemples en C, C++, C#, Java et PHP

Authors: Claude Delannoy

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Problems, exercises, etc, Programming languages (Electronic computers), Object-oriented programming languages, Object-oriented programming languages--Problems, exercises, etc

Categories: COMPUTERS / Programming / General

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