Search Results - java (((((programa OR programy) OR program) OR program) OR program) de programmation)*

Ethical Programs : Hospitality and the Rhetorics of Software

Authors: James J. Brown, Jr

Resource Type: eBook.

Subjects: Freedom of information, Databases--Social aspects, Internet--Moral and ethical aspects, Computer software--Social aspects

Categories: SOCIAL SCIENCE / General, SOCIAL SCIENCE / Media Studies

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

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

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

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

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

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

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

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

External Dependencies in Programs : Specification, Detection and Incorrectness

Authors: Hosry, Aless STAR, ABES

Contributors: Hosry, Aless STAR, ABES

Subject Terms: Dépendances incorrectes, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], External dependencies, Software quality, Qualité logicielle, Pattern matching, Incorrect dependencies, Dépendances externes, Correspondance de motifs, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://theses.hal.science/tel-05031064v2

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

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

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

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

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

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

Authors: Cyrille Herby

Resource Type: eBook.

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

Categories: COMPUTERS / Languages / Java