Výsledky vyhledávání - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: JOBIM ; https://uca.hal.science/hal-03716631 ; JOBIM, Jul 2022, Rennes, France. ; https://jobim2022.sciencesconf.org/
Témata: molecular dynamics, aquaporins, galaxy, workflow, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BBM.BS]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Structural Biology [q-bio.BM], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-WB]Computer Science [cs]/Web
Relation: hal-03716631; https://uca.hal.science/hal-03716631; https://uca.hal.science/hal-03716631/document; https://uca.hal.science/hal-03716631/file/poster_JOBIM2022_AE_Petit.pdf
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: IHM-2017 ; 29ème conférence francophone sur l'Interaction Homme-Machine ; https://hal.science/hal-01577689 ; 29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 2 p ; http://ihm2017.afihm.org
Témata: Software Engineering, MDE, HCI, Human-Centered Design, Méta-Modèle, Conception Centrée sur l’Humain, Génie Logiciel, Ingénierie Dirigée par les Modèles, Interaction Homme-Machine, Papyrus, UML, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI), ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization ; https://inria.hal.science/hal-01253322 ; CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain ; http://cgo.org/cgo2016/
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Geografické téma: Spain
Time: Barcelona, Spain
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)
https://hal.science/hal-01817884
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, FranceTémata: transformation de graphes, modélisation géométrique à base topologique, conditions syntaxiques, préservation de la cohérence, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-02091644 ; [Rapport Technique] IHMTEK. 2019.
Témata: Electroencephalography EEG, OpenBCI, P300, Driver, Software implementation, Electroencephalographie EEG, Pilote, Implémentation logicielle, ACM: B.: Hardware/B.4: INPUT/OUTPUT AND DATA COMMUNICATIONS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [SCCO.NEUR]Cognitive science/Neuroscience, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [SPI.TRON]Engineering Sciences [physics]/Electronics
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1904.04015; ARXIV: 1904.04015
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: International Workshop on Polyhedral Compilation Techniques (IMPACT) ; https://inria.hal.science/hal-01100974 ; International Workshop on Polyhedral Compilation Techniques (IMPACT), Jan 2015, Amsterdam, Netherlands. pp.8 ; http://impact.gforge.inria.fr/impact2015/
Témata: ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.4: Graphical user interfaces (GUI), HCI)/H.5.2: User Interfaces/H.5.2.7: Interaction styles (e.g., commands, menus, forms, direct manipulation), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Geografické téma: Amsterdam, Netherlands
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://inria.hal.science/hal-01055788 ; IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Jul 2014, Melbourne, Australia. pp.109-112
Témata: ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.4: Graphical user interfaces (GUI), HCI)/H.5.2: User Interfaces/H.5.2.7: Interaction styles (e.g., commands, menus, forms, direct manipulation), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0948-695X.
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: International Workshop on Encapsulation and Access Rights in Object-Oriented Design and Programming (WEAR-OOIS 2003) ; https://hal.univ-brest.fr/hal-01451180 ; International Workshop on Encapsulation and Access Rights in Object-Oriented Design and Programming (WEAR-OOIS 2003), Sep 2003, Genève, Switzerland. pp.63-69 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269762
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Genève, Switzerland
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-00672976 ; Science of Computer Programming, 2012.
Témata: Java, Tracing, Dynamic, Bytecode, Instrumentation, Profiling, Program Analysis, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.5: Object-oriented Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: ICSE 2000. International Workshop on Constructing Software Engineering Tools (COSET 2000) ; https://hal.univ-brest.fr/hal-01450904 ; ICSE 2000. International Workshop on Constructing Software Engineering Tools (COSET 2000), Jun 2000, Limerick, Ireland ; http://dl.acm.org/citation.cfm?id=302969
Témata: EXPRESS, SDAI, STEP standard, CASE tools implementation, CASE tools interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: ICSE'99 - International Workshop on Constructing Software Engineering Tools (COSET'99) ; https://hal.univ-brest.fr/hal-01450886 ; ICSE'99 - International Workshop on Constructing Software Engineering Tools (COSET'99), May 1999, Los Angeles, United States ; http://dl.acm.org/citation.cfm?id=337180.337822
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Los Angeles, United States
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: 12th IEEE International Conference on Software Engineering and Knowledge Engineering (SEKE'99)
https://hal.univ-brest.fr/hal-01450893
12th IEEE International Conference on Software Engineering and Knowledge Engineering (SEKE'99), Jun 1999, Kaiserlautern, GermanyTémata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Kaiserlautern, Germany
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: CSIRO-Macquarie University ; 1st Australian Workshop on Constructing Software Engineering Tools ; https://hal.univ-brest.fr/hal-01078451 ; 1st Australian Workshop on Constructing Software Engineering Tools, CSIRO-Macquarie University, Nov 1998, Adelaide, Australia
Témata: meta-model, application generator, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00516990 ; [Technical Report] RT-0390, INRIA. 2010, pp.149.
Témata: C language, reference manual, user's guide, runtime specialization, compile-time specialization, partial evaluation, program specialization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.4: Interpreters, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.11: Translator writing systems and compiler generators, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00120518 ; [Technical Report] RT-0328, INRIA. 2006, pp.18.
Témata: lexical analysis, syntactical analysis, Lex, Prolog, DCG, Definite Clause Grammar, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.1: Syntax, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.SE/0612082; ARXIV: cs.SE/0612082
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ; Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France. pp.187-200, ⟨10.1007/978-3-662-53426-7_14⟩ ; http://www.disc-conference.org/wp/disc2016/
Témata: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Relation: https://hal.sorbonne-universite.fr/hal-01274295v1; info:eu-repo/semantics/altIdentifier/arxiv/1602.08361; ARXIV: 1602.08361
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016) ; https://hal.sorbonne-universite.fr/hal-01349070 ; Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece
Témata: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Dostupnost: https://hal.sorbonne-universite.fr/hal-01349070
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: SoICT 2011 ; https://inria.hal.science/inria-00637765 ; SoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.2: Automatic Programming, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Dostupnost: https://inria.hal.science/inria-00637765
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 1746-4463.
Témata: wireless, video game, multiplayer, computer games, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Dostupnost: https://inria.hal.science/hal-01111503
Nájsť tento článok vo Web of Science