Search Results - java (((programm OR program) OR program) de programmation)*

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

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

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

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

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

Optimizing Cloud Native Java

Authors: Benjamin J. Evans James Gough

Resource Type: eBook.

Subjects: Java (Computer program language), Cloud computing, Computer software--Development, Java (Langage de programmation)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Distributed Systems / Cloud Computing

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

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

Programmer en Java

Authors: Claude Delannoy

Resource Type: eBook.

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

Categories: COMPUTERS / Languages / Java

Inférence de certificats pour la vérification statique des programmes Java

Authors: Menif, Emna

Thesis Advisors: Debbabi, Mourad, Tawbi, Nadia

Subject Terms: QA 76.05 UL 2012 M545, Java (Langage de programmation), Sécurité, Mesures

File Description: 290 p.; application/pdf

Availability: https://hdl.handle.net/20.500.11794/23269

Spring AI in Action

Authors: Craig Walls

Resource Type: eBook.

Subjects: Instructional and educational works, Informational works, Mate´riel d'e´ducation et de formation, Documents d'information, Artificial intelligence, Java (Computer program language), Intelligence artificielle, Java (Langage de programmation)

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Natural Language Processing, 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

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

Java server side interpreter and OCLC SiteSearch

Authors: Shafer, Keith E.

Subjects: Java (Computer program language), Online bibliographic searching., SiteSearch (Online information service), Database searching., Java (Langage de programmation), Recherche documentaire automatisée., Bases de données Interrogation., online searching., Database searching., Java (Computer program language), Online bibliographic searching.

URL: http://worldcat.org/oclc/54084366/viewonline

A Java Z39.50 client for browsing large databases

Authors: Hickey, Thomas Butler

Subjects: Browsers (Computer programs), Java (Computer program language), Online bibliographic searching., End-user computing., Navigateurs (Logiciels), Java (Langage de programmation), Recherche documentaire automatisée., Systèmes d'information Utilisateurs., Browsers (Computer programs), End-user computing., Java (Computer program language), Online bibliographic searching.

URL: http://library.oclc.org.oclclibrary.idm.oclc.org/digital/collection/p267701coll27/id/62

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

Guidon Web : applying Java to scholarly electronic journals

Additional Titles: At head of title: Electronic publishing research

Authors: Hickey, Thomas Butler

Subjects: Electronic journals., Java (Computer program language), Graphical user interfaces (Computer systems), Périodiques électroniques., Java (Langage de programmation), Interfaces graphiques (Informatique), Electronic journals., Graphical user interfaces (Computer systems), Java (Computer program language)

URL: http://worldcat.org/oclc/54386917/viewonline

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.

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

Access URL: https://hal.science/hal-03030511v1

HotJava is brewing : can new Web browser improve electronic access?

Additional Titles: Hot Java is brewing

Authors: Shafer, Keith E.

Subjects: Java (Computer program language), Object-oriented programming (Computer science), Multimedia systems., World Wide Web., Electronic publishing., Internet, Java (Langage de programmation), Programmation orientée objet (Informatique), Multimédia., Web., Édition électronique., World Wide Web., electronic publishing., Electronic publishing., Java (Computer program language), Multimedia systems., Object-oriented programming (Computer science), World Wide Web.

URL: http://worldcat.org/oclc/54851921/viewonline

Studying the Practices and Challenges of Developing Hardware Description Language Programs

Source: PolyPublie

Index Terms: Memoires de maitrise, Mémoire ou thèse, NonPeerReviewed

URL: https://publications.polymtl.ca/10340/1/2022_FatemehYousefifeshki.pdf
https://publications.polymtl.ca/10340/
https://publications.polymtl.ca/10340