Suchergebnisse - acm: d.: software/d.3: programming languages/d.3.4: process*

Visualize to understand: application to vector programming ; Visualiser pour comprendre : application à la programmation vectorielle

Autoren: Ntang, Pierre Marie Université du Québec à Montréal = University of Québec in Montréal (UQAM) Université Téluq (TELUQ) et al.

Weitere Verfasser: Ntang, Pierre Marie Université du Québec à Montréal = University of Québec in Montréal (UQAM) Université Téluq (TELUQ) et al.

Quelle: https://theses.hal.science/tel-04280389 ; Informatique [cs]. Assemblée des gouverneurs de l'Université du Québec, 2023. Français. ⟨NNT : ⟩.

Schlagwörter: Software Visualization, Vector Programming, cognitive efficiency, Model, Visualisation de Logiciel, Programmation Vectorielle, Efficience Cognitive, Modèle, PhD, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.6: Software process models (e.g., CMM, ISO, PSP), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.0: Domain engineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.5: Programming Languages and Software, [INFO]Computer Science [cs], [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: tel-04280389; https://theses.hal.science/tel-04280389; https://theses.hal.science/tel-04280389/document; https://theses.hal.science/tel-04280389/file/These_Doctorat_Informatique_Cognitive_Pierre_Marie_Ntang_Oct2023_Hal.pdf

Verfügbarkeit: https://theses.hal.science/tel-04280389
https://theses.hal.science/tel-04280389/document
https://theses.hal.science/tel-04280389/file/These_Doctorat_Informatique_Cognitive_Pierre_Marie_Ntang_Oct2023_Hal.pdf

Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming

Autoren: Magnaudet, Mathieu Chatty, Stéphane Conversy, Stéphane et al.

Weitere Verfasser: Magnaudet, Mathieu Chatty, Stéphane Conversy, Stéphane et al.

Quelle: Proceedings of the ACM on Human-Computer Interaction. 2:1-27

Schlagwörter: Interactive Software, Smala, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 05 social sciences, Reactive Programming, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], GUI Programming, 02 engineering and technology, Djnn

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal-enac.archives-ouvertes.fr/hal-01815222/file/pacm2018-light.pdf
https://enac.hal.science/hal-01815222v1
https://doi.org/10.1145/3229094
https://enac.hal.science/hal-01815222v1/document
https://hal-enac.archives-ouvertes.fr/hal-01815222
https://dl.acm.org/doi/10.1145/3229094
https://dblp.uni-trier.de/db/journals/pacmhci/pacmhci2.html#MagnaudetCCLPP18
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002219380888816
https://hal-enac.archives-ouvertes.fr/hal-01815222/document

Behavioral adaptation of component compositions based on process algebra encodings

Autoren: Mateescu, Radu Poizat, Pascal Salaün, Gwen et al.

Weitere Verfasser: Mateescu, Radu Poizat, Pascal Salaün, Gwen et al.

Quelle: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :385-388

Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-WB] Computer Science [cs]/Web, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA], 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Dateibeschreibung: application/pdf

Zugangs-URL: http://hal.inria.fr/docs/00/18/94/96/PDF/RR-6362.pdf
https://inria.hal.science/inria-00189246v2
https://hal.science/hal-00342148v1
https://doi.org/10.1145/1321631.1321690
http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#MateescuPS07
https://core.ac.uk/display/24537546
http://www.ibisc.univ-evry.fr/~poizat/documents/publications/RR-MPS07.pdf
https://hal.inria.fr/inria-00189246v2
https://hal.archives-ouvertes.fr/hal-00342148
https://doi.org/10.1145/1321631.1321690

Participatory Programming: Developing Programmable Bioinformatics Tools for End-Users

Autoren: Letondal, Catherine Henry Lieberman Fabio Paternò et al.

Weitere Verfasser: Letondal, Catherine Henry Lieberman Fabio Paternò et al.

Quelle: Human-Computer Interaction Series ISBN: 9781402042201

Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.2: Interactive environments, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems/H.1.2.2: Software psychology, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems/H.1.2.0: Human factors, HCI)/H.5.2: User Interfaces, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design/D.2.10.0: Methodologies, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.12: User interfaces, End-User Development, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], participatory design, [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal-enac.archives-ouvertes.fr/hal-01286956v2/file/EUD-letondal.pdf
https://hal-enac.archives-ouvertes.fr/hal-01286956v2
https://dblp.uni-trier.de/db/series/hci/Lieberman2006.html#Letondal06
https://rd.springer.com/chapter/10.1007/1-4020-5386-X_10
https://link.springer.com/chapter/10.1007/1-4020-5386-X_10

Proceedings of the First Domain-Specific Aspect Languages Workshop - ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)

Autoren: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise et al.

Weitere Verfasser: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise et al.

Quelle: https://inria.hal.science/inria-00468283 ; [Research Report] 2006, pp.40.

Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Verfügbarkeit: https://inria.hal.science/inria-00468283

Selected Papers from the ACM Conference on Language Design for Reliable Software.

Autoren: Horning, J. J.

Quelle: Communications of the ACM; Aug1977, Vol. 20 Issue 8, p539-539, 1p

Schlagwörter: COMPUTER software, PROGRAMMING languages, RELIABILITY in engineering, COMPUTER programmers, COMPUTER science

Proceedings of the ACM Programming Languages and Pragmatics Conference.

Autoren: Forsythe, George E.

Quelle: Communications of the ACM; Mar1966, Vol. 9 Issue 3, p137-138, 2p

Schlagwörter: CONFERENCES & conventions, COMPUTER software, PROGRAMMING languages, PRAGMATICS, COMMITTEES

PARTICIPATORY PROGRAMMING: DEVELOPING PROGRAMMABLE BIOINFORMATICS TOOLS FOR END-USERS IN CONTEXT

Autoren: Letondal, Catherine Institut Pasteur Paris

Weitere Verfasser: Letondal, Catherine Institut Pasteur Paris

Quelle: End User Development ; https://hal-enac.archives-ouvertes.fr/hal-01286956 ; End User Development, 9, Springer, pp.207-242, 2006, Volume 9 2006, 978-1-4020-4220-1 ; http://link.springer.com/book/10.1007%2F1-4020-5386-X

Schlagwörter: End-User Development, participatory design, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.2: Interactive environments, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.12: User interfaces, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design/D.2.10.0: Methodologies, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems/H.1.2.0: Human factors, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems/H.1.2.2: Software psychology, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: hal-01286956; https://hal-enac.archives-ouvertes.fr/hal-01286956; https://hal-enac.archives-ouvertes.fr/hal-01286956/document; https://hal-enac.archives-ouvertes.fr/hal-01286956/file/EUD-letondal.pdf

Verfügbarkeit: https://hal-enac.archives-ouvertes.fr/hal-01286956
https://hal-enac.archives-ouvertes.fr/hal-01286956/document
https://hal-enac.archives-ouvertes.fr/hal-01286956/file/EUD-letondal.pdf

A portrait of adopted programming languages of Iberian Peninsula Higher Education Institutions.

Autoren: Rolland Sobral, Sónia Moreira, Fernando

Quelle: CISTI (Iberian Conference on Information Systems & Technologies / Conferência Ibérica de Sistemas e Tecnologias de Informação) Proceedings; 2021, Issue 16, p1-6, 6p

Schlagwörter: PROGRAMMING languages, UNIVERSITIES & colleges, COMPUTER science, COMPUTER software

Geografische Kategorien: IBERIAN Peninsula

A relational logic for higher-order programs.

Autoren: AGUIRRE, ALEJANDRO BARTHE, GILLES GABOARDI, MARCO et al.

Quelle: Journal of Functional Programming; 2019, Vol. 29, p1-83, 83p

Schlagwörter: SUBROUTINES (Computer programs), COMPUTER software, COMPUTER programmers, SYNTAX in programming languages, NATURAL numbers

Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation.

Autoren: SEWELL, PETER WOJCIECHOWSKI, PAWEŁ T. UNYAPOTH, ASIS

Quelle: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p12-12.83, 63p, 7 Diagrams, 6 Charts

Schlagwörter: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

Report on HOPL IV—ACM SIGPLAN History of Programming Languages Conference.

Autoren: Priestley, Mark Petricek, Tomas Hemmendinger, David

Quelle: IEEE Annals of the History of Computing; Jul-Sep2021, Vol. 43 Issue 3, p83-85, 3p

Schlagwörter: PROGRAMMING languages, ORAL history, VERILOG (Computer hardware description language)

Acm forum.

Autoren: Lamport, Leslie Ashenhurst, R. L. Ammeraal, L. et al.

Quelle: Communications of the ACM; Mar1976, Vol. 19 Issue 3, p162-165, 4p

Schlagwörter: MATHEMATICAL programming, COMPUTER software, CYBERNETICS, PROGRAMMING languages, COMPUTER programming

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

Emerging languages: An alternative approach to teaching programming languages.

Autoren: PERUGINI, SAVERIO

Quelle: Journal of Functional Programming; 2019, Vol. 29, p1-13, 13p

Schlagwörter: PROGRAMMING languages, CUSTOMIZATION, SYNCHRONIZATION, VIDEO blogs, ONLINE education

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality.

Autoren: FURIA, CARLO A. TORKAR, RICHARD FELDT, ROBERT

Quelle: ACM Transactions on Software Engineering & Methodology; Jul2022, Vol. 31 Issue 3, p1-38, 38p

Schlagwörter: PROGRAMMING languages, BAYESIAN analysis, SOFTWARE engineers, DATA analysis, SOFTWARE engineering, EMPIRICAL research

Acm forum.

Autoren: R. L. A. Gries, David

Quelle: Communications of the ACM; Nov74, Vol. 17 Issue 11, p655-657, 3p

Schlagwörter: LETTERS to the editor, COMPUTER programming, FORTRAN, PROGRAMMING languages, COMPUTER software

Jean Sammet: Programming Language Contributor and Historian, and ACM President.

Autoren: Bergin, Thomas J.

Quelle: IEEE Annals of the History of Computing; Jan-Mar2009, Vol. 31 Issue 1, p76-85, 10p, 1 Black and White Photograph

Schlagwörter: PROGRAMMING languages

Geografische Kategorien: NEW York (N.Y.), NEW York (State)

Firma/Körperschaft: NATIONAL Academy of Engineering

People: SAMMET, Jean E., 1928-2017

The verified CakeML compiler backend.

Autoren: KIAM TAN, YONG MYREEN, MAGNUS O. KUMAR, RAMANA et al.

Quelle: Journal of Functional Programming; 2019, Vol. 29, p1-57, 57p

Schlagwörter: COMPILERS (Computer programs), FUNCTIONAL programming languages, SEMANTICS, PROGRAMMING languages, COMPUTER software

Logic programming environments: Dynamic program analysis and debugging

Autoren: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) et al.

Weitere Verfasser: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) et al.

Quelle: The Journal of Logic Programming. :351-384

Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Logic, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Zugangs-URL: https://inria.hal.science/hal-00756832v1
https://hal.inria.fr/inria-00074067
https://dblp.uni-trier.de/db/journals/jlp/jlp19.html#DucasseN94
https://hal.inria.fr/inria-00074067/document
https://www.sciencedirect.com/science/article/pii/0743106694900302
http://www.sciencedirect.com/science/article/pii/0743106694900302

Behavioral Interface Specification Languages.

Autoren: Hatcliff, John Leavens, Gary T. Leino, K. Rustan M. et al.

Quelle: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p16-16:58, 58p

Schlagwörter: COMPUTER interfaces, PROGRAMMING languages, COMPUTER programming, COMPUTER software, COMPUTER programmers, SOFTWARE verification, SOFTWARE engineering