Suchergebnisse - java (programm de ((programmation OR programyation) OR (programmation OR programyation)))

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

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

Weitere Verfasser: Adam, Michel Frison, Patrice Daoud, Moncef et al.

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

Schlagwörter: 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

Verfügbarkeit: 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

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

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

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

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

Verfügbarkeit: 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

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

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

Schlagwörter: 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

Verfügbarkeit: http://www.theses.fr/2023SORUS240/document

Raisonnement à contraintes pour le test de bytecode Java

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

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

Quelle: 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

Schlagwörter: 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]

Geographisches Schlagwort: Nantes, France

Verfügbarkeit: 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

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

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

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

Schlagwörter: 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

Verfügbarkeit: 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

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

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

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

Schlagwörter: programmation, concepts, [INFO]Computer Science [cs]

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

Verfügbarkeit: https://hal.archives-ouvertes.fr/hal-01187683

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

Autoren: Anne Tasso

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

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

Autoren: Claude Delannoy

Resource Type: eBook.

Schlagworte: 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

Autoren: 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

Autoren: Claude Delannoy

Resource Type: eBook.

Schlagworte: 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

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

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

Schlagwörter: 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

Verfügbarkeit: http://www.theses.fr/2024ULILB045/document

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

Autoren: Coderre, David

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

Dateibeschreibung: 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.

Verfügbarkeit: http://www.archipel.uqam.ca/3260/1/M9709.pdf

Programmer en Java : Couvre Java 9

Autoren: Claude Delannoy

Resource Type: eBook.

Schlagworte: 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

Autoren: Anne Tasso

Resource Type: eBook.

Schlagworte: 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

Autoren: Claude Delannoy

Resource Type: eBook.

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

Categories: COMPUTERS / Programming / Object Oriented

Programmer en Java

Autoren: Claude Delannoy

Resource Type: eBook.

Schlagworte: 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

Autoren: Claude Delannoy

Resource Type: eBook.

Schlagworte: 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

Autoren: Cyrille Herby

Resource Type: eBook.

Schlagworte: 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

Autoren: Claude Delannoy

Resource Type: eBook.

Schlagworte: 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

Autoren: Anne Tasso

Resource Type: eBook.

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

Categories: COMPUTERS / Languages / Java