Search Results - java (((((programa OR program) 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

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

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

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

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

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

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

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

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

Conception d'un langage dédié à l'analyse et la transformation de programmes

Authors: Balland, Emilie

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, langages de programmation, langages embarqués, analyse statique, transformation de programmes, réécriture, stratégies, termes-graphes

Availability: http://tel.archives-ouvertes.fr/tel-00435881
http://tel.archives-ouvertes.fr/docs/00/43/58/81/PDF/manuscrit.pdf

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

Evaluating a multiprocessor NT server for Z39.50 use

Authors: Hickey, Thomas Butler

Subjects: Operating systems (Computers), Information storage and retrieval systems., Java (Computer program language), Library information networks Standards., Computer network protocols Standards., Systèmes d'exploitation (Ordinateurs), Systèmes d'information., Java (Langage de programmation), Réseaux de bibliothèques Normes., Protocoles de réseaux d'ordinateurs Normes., operating systems., information storage., information retrieval services., Computer network protocols Standards., Information storage and retrieval systems., Java (Computer program language), Library information networks Standards., Operating systems (Computers)

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

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

International Extension Programs Information System version II (IEPIS II): An MVC Model 2 design using Apache Jakarta Struts

Authors: Tsai, Meng-Hsi

Source: Theses Digitization Project

Subject Terms: Management information systems Case studies, College applications Computer programs, Students, Foreign, Application software Development, Struts framework, Java (Computer program language), Systèmes d'information de gestion Études de cas, Universités Demandes d'admission Logiciels, Logiciels d'application Développement, Struts (Cadre d'application Web), Java (Langage de programmation), Management information systems, Databases and Information Systems

File Description: application/pdf

Availability: https://scholarworks.lib.csusb.edu/etd-project/4493
https://scholarworks.lib.csusb.edu/context/etd-project/article/5595/viewcontent/INTERNATIONAL_20EXTENSION_20PROGRAMS_20INFORMATION_20_2778_Redacted.pdf

Poster: Performance challenges in modular parallel programs

Authors: Aksenov, Vitalii Acar, Umut, A. Charguéraud, Arthur et al.

Contributors: Aksenov, Vitalii Acar, Umut, A. Charguéraud, Arthur et al.

Source: PPoPP 2018 - 23rd ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming ; https://inria.hal.science/hal-01887717 ; PPoPP 2018 - 23rd ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Feb 2018, Vienna, Austria. ⟨10.1145/3178487.3178516⟩

Subject Terms: [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Vienna, Austria

Relation: info:eu-repo/grantAgreement/EC/FP7/308246/EU/Parallelism and Beyond: Dynamic Parallel Computation for Efficiency and High Performance/DEEPSEA

Availability: https://inria.hal.science/hal-01887717
https://inria.hal.science/hal-01887717v1/document
https://inria.hal.science/hal-01887717v1/file/main.pdf
https://doi.org/10.1145/3178487.3178516