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

On the influence of program constructs on bug localization effectiveness

Authors: Marcelo Garnier Isabella Ferreira Alessandro Garcia

Source: J. Softw. Eng. Res. Dev.. 5

Subject Terms: FOS: Computer and information sciences, Economics, Software Defect Prediction, Set (abstract data type), Software bug, Program comprehension, Task (project management), Information retrieval, Data mining, Code (set theory), Source Code Analysis, Software engineering, Automated Software Testing Techniques, 4. Education, Object-oriented programming, Computer science, Programming language, Management, Operating system, Software Fault Localization, Bug Localization, Principal (computer security), Computer Science, Physical Sciences, Software system, Software Reliability Modeling, Software Reliability Assessment and Prediction, Software, Java, Empirical Studies in Software Engineering, Information Systems

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

Automatic Construction of Java Programs from Functional Program Specifications

Authors: Md. Humayun

Source: International Journal of Advanced Computer Science and Applications. 6

Subject Terms: Executable, 0211 other engineering and technologies, 02 engineering and technology, Java concurrency, Theoretical computer science, Scala, Artificial Intelligence, Programming Language Semantics, Parallel Computing and Performance Optimization, 0202 electrical engineering, electronic engineering, information engineering, Java applet, 2. Zero hunger, Java annotation, 4. Education, Computer science, Programming language, Computational Theory and Mathematics, Hardware and Architecture, Generics in Java, Computer Science, Physical Sciences, strictfp, Real time Java, Java Modeling Language, Program Analysis and Verification Techniques, Java, Formal Methods in Software Verification and Control

Access URL: http://thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf

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

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

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

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

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

Apprenez à programmer en Java : La programmation professionnelle à portée de tous Ed. 2

Authors: Herby, Cyrille, Herby, Cyrille

Index Terms: book

URL: https://international.scholarvox.com/book/88809443

Unsupervised Translation of Programming Languages. (Traduction Non Supervisée de Langages de Programmation)

Authors: Roziere, Baptiste Cazenave, Tristan Université Paris sciences et lettres

Contributors: Roziere, Baptiste Cazenave, Tristan Université Paris sciences et lettres

Subject Terms: Apprentissage profond, Translation, Programmation, Langages de programmation, Transcompilation, Deep learning, Programming languages, Program synthesis, organisation des données, Traduction, Réseaux de neurones, Neural networks, Synthèse de code, logiciels

File Description: application/pdf

Access URL: https://tel.archives-ouvertes.fr/tel-03852612