Search Results - acm: d.: software/d.2: software engineering/d.2.6: programming environmental
-
1
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00468283 ; [Research Report] 2006, pp.40.
Subject Terms: 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]
Availability: https://inria.hal.science/inria-00468283
-
2
Authors: et al.
Contributors: et al.
Source: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1. :135-144
Subject Terms: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, Legal Aspects, Specication, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 16. Peace & justice, Formal Methods, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, Specification, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Liability, 0202 electrical engineering, electronic engineering, information engineering, Defects, Contract, [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, Evidence
File Description: application/pdf
Access URL: https://hal.inria.fr/inria-00472287/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://inria.hal.science/inria-00440437v1
https://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#MetayerMTMPCFH10
https://hal.inria.fr/inria-00440437/document
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006062081
https://hal.archives-ouvertes.fr/inria-00440437/en/
https://ieeexplore.ieee.org/document/6062081/
https://dl.acm .org/doi/10.1145/1806799.1806823 -
3
Authors: et al.
Contributors: et al.
Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://hal.inria.fr/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823
Subject Terms: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, droit, stat
Subject Geographic: Cape Town, South Africa
Time: Cape Town, South Africa
Relation: https://hal.inria.fr/inria-00472287v3/file/20100608-ICSE-HAL-version-with-DOI.pdf; https://hal.inria.fr/inria-00472287
-
4
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Human-Computer Interaction. 2:1-27
Subject Terms: 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
File Description: application/pdf
Access 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 -
5
Authors: et al.
Contributors: et al.
Source: The Journal of Logic Programming. :351-384
Subject Terms: 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]
Access 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 -
6
Authors:
Source: ACM SIGSOFT Software Engineering Notes. 28:29-35
Access URL: https://dl.
acm .org/doi/10.1145/885638.885644
https://dblp.uni-trier.de/db/journals/sigplan/sigplan38.html#RyderS03
https://dblp.uni-trier.de/db/journals/sigsoft/sigsoft28.html#RyderS03
https://dl.acm .org/doi/10.1145/882240.882258
http://sigsoft.org/impact/p29-ryder.pdf
http://portal.acm .org/citation.cfm?id=882258 -
7
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00440437 ; [Research Report] RR-7148, INRIA. 2009, pp.23.
Subject Terms: Formal Methods, Specification, Defects, Legal Aspects, Evidence, Liability, Contract, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
-
8
Authors: et al.
Contributors: et al.
Source: GPCE '09: Proceedings of the 8th international conference on Generative programming and component engineering ; https://hal.inria.fr/inria-00405819 ; GPCE '09: Proceedings of the 8th international conference on Generative programming and component engineering, Oct 2009, Denver, CO, United States. pp.137-146
Subject Terms: design, languages, pervasive computing, generative programming, DSL, diaspec, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.3: Languages (e.g., description, interconnection, definition), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.4: Patterns (e.g., client/server, pipeline, blackboard), 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.9: Retargetable compilers, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Subject Geographic: Denver, CO, United States
Relation: inria-00405819; https://hal.inria.fr/inria-00405819; https://hal.inria.fr/inria-00405819v2/document; https://hal.inria.fr/inria-00405819v2/file/gpce42-cassou.pdf
-
9
Authors: et al.
Contributors: et al.
Source: ICSE'11: Proceedings of the 33rd International Conference on Software Engineering ; ICSE'11 - 33rd International Conference on Software Engineering ; https://inria.hal.science/inria-00537789 ; ICSE'11 - 33rd International Conference on Software Engineering, May 2011, Honolulu, HI, United States. pp.431-440, ⟨10.1145/1985793.1985852⟩
Subject Terms: software architectures, generative programming, domain-specific ADL, software verification, architectural conformance, Design, Languages, Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.3: Languages (e.g., description, interconnection, definition), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.4: Patterns (e.g., client/server, pipeline, blackboard), [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Subject Geographic: Honolulu, HI, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1109.2807; ARXIV: 1109.2807
-
10
Authors:
Source: ACM Transactions on Software Engineering & Methodology; Oct2008, Vol. 18 Issue 2, p5:1-5:27, 27p, 14 Charts
-
11
Authors: et al.
Contributors: et al.
Source: ISSN: 0950-5849.
Subject Terms: Configuration testing, configurable software systems, constraints programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 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-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
-
12
Authors: et al.
Contributors: et al.
Source: https://theses.hal.science/tel-04280389 ; Informatique [cs]. Assemblée des gouverneurs de l'Université du Québec, 2023. Français. ⟨NNT : ⟩.
Subject Terms: 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
-
13
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00494645 ; [Research Report] RR-7313, INRIA. 2010, pp.38.
Subject Terms: Event-Driven Programming, Object-Oriented Programming, Aspect-Oriented Programming, Declarative Events, Scala, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.5: Object-oriented Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.2: Information hiding, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.8: Multiparadigm 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]
-
14
Authors:
Contributors:
Source: ISSN: 0948-695X.
Subject Terms: Common Lisp, Binary Methods, Meta-Programming, Object-Oriented Programming, ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.11: Object-oriented languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO]Computer Science [cs]
Relation: hal-01544115; https://hal.archives-ouvertes.fr/hal-01544115
-
15
Authors: et al.
Contributors: et al.
Source: Formal Aspects of Computing. 28:409-440
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, MDE, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software, 01 natural sciences, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, Formal verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, 0202 electrical engineering, electronic engineering, information engineering, Proof assistant, MOF, Composition
-
16
Authors:
Contributors:
Source: Proceedings of the ELS 2008 Conference ; ELS European Lisp Symposium 2008 ; https://hal.archives-ouvertes.fr/hal-01544118 ; ELS European Lisp Symposium 2008, May 2008, Bordeaux, France ; http://european-lisp-symposium.org/2008/index.html
Subject Terms: Binary methods, Common Lisp, object orientation, meta-programming, ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.11: Object-oriented languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO]Computer Science [cs]
Relation: hal-01544118; https://hal.archives-ouvertes.fr/hal-01544118; https://hal.archives-ouvertes.fr/hal-01544118/document; https://hal.archives-ouvertes.fr/hal-01544118/file/verna.08.els.pdf; https://hal.archives-ouvertes.fr/hal-01544118/file/verna.08.els.slides.pdf
-
17
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/tel-01086785 ; Programming Languages [cs.PL]. universite de Liile-1, 2014.
Subject Terms: Software evolution, software quality, software engineering, Evolution logicielle, qualité logicielle, génie logiciel, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
18
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00000624 ; [Research Report] PI 1762, 2005, pp.26.
Subject Terms: Multisets, chemical programming model, rewriting, higher-order, infinite and negative multiplicities \\ Multi-ensemble, modèle de programmation chimique, réécriture, ordre supérieur, multiplicités infinie et négative, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING/J.2.3: Chemistry, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: PI 1762
-
19
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/tel-01111708 ; Distributed, Parallel, and Cluster Computing [cs.DC]. Universite de Paris 11, 2014.
Subject Terms: parallel programming, generic programming, generative programming, meta-programming, parallel skeletons, programmation parallèle, méta-programmation, programmation générative, programmation générique, squelettes parallèles, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
20
Authors: et al.
Source: urn:isbn:9798400706127 ; ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 882-894 (2024-09-11); Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria [AT], 16-09-2024 => 20-09-2024
Subject Terms: Large Language Model, Open Source, Program Repair, Language model, Model training, Model-based OPC, Open-source, Performance, Programming tutors, Software repair, Training data, Computational Theory and Mathematics, Computer Science Applications, Software, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: info:eu-repo/grantAgreement/EC/H2020/949014; https://orbilu.uni.lu/handle/10993/63149; info:hdl:10993/63149
Nájsť tento článok vo Web of Science 
Full Text Finder