Výsledky vyhľadávania - ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES

AlgoTouch: a programming by demonstration tool for teaching algorithms

Autori: Frison, Patrice Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) a ďalší

Prispievatelia: Frison, Patrice Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) a ďalší

Zdroj: Proceedings of the 2014 ACM Conference on Innovation & Technology in Computer Science Education ; ITiCSE'2014 Innovation and Technology in Computer Science Education ; https://ubs.hal.science/hal-01194567 ; ITiCSE'2014 Innovation and Technology in Computer Science Education, Jun 2014, Uppsala, Sweden. ⟨10.1145/2591708.2602654⟩

Predmety: Algorithm visualization, Direct manipulation, Novice programming environment, Programming by demonstration, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.3: Programmer workbench, [INFO.EIAH]Computer Science [cs]/Technology for Human Learning

Geografické téma: Uppsala, Sweden

Dostupnosť: https://ubs.hal.science/hal-01194567
https://doi.org/10.1145/2591708.2602654

Design of a visual environment for programming by direct data manipulation ; Conception d'un environnement visuel pour la programmation par manipulation directe des données

Autori: Adam, Michel Frison, Patrice Daoud, Moncef a ďalší

Prispievatelia: Adam, Michel Frison, Patrice Daoud, Moncef a ďalší

Zdroj: https://hal.science/hal-05089017 ; 2025.

Predmety: Learning programming, Automatic code generation, Programming by demonstration, Direct data manipulation, Programmation visuelle Manipulation directe des données Programmation par démonstration Génération automatique de code Apprentissage de la programmation Visual programming Direct data manipulation Programming by demonstration Automatic code generation Learning programming, Programmation visuelle, Manipulation directe des données, Programmation par démonstration, Génération automatique de code, Apprentissage de la programmation Visual programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.2: Computer and Information Science Education, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.EIAH]Computer Science [cs]/Technology for Human Learning

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2506.03720; ARXIV: 2506.03720

Dostupnosť: https://hal.science/hal-05089017
https://hal.science/hal-05089017v2/document
https://hal.science/hal-05089017v2/file/AlgoTouchDesign.pdf

Meta-programming with Express and SQL

Autori: Saliou, Philippe Plantec, Alain Ribaud, Vincent a ďalší

Prispievatelia: Saliou, Philippe Plantec, Alain Ribaud, Vincent a ďalší

Zdroj: International Workshop on Declarative Meta Programming (DMP 02) ; https://hal.univ-brest.fr/hal-01451131 ; International Workshop on Declarative Meta Programming (DMP 02), Sep 2002, Edimbourg, United Kingdom

Predmety: 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: Edimbourg, United Kingdom

Dostupnosť: https://hal.univ-brest.fr/hal-01451131
https://hal.univ-brest.fr/hal-01451131v1/document
https://hal.univ-brest.fr/hal-01451131v1/file/DMP2002-PlantecRibaudSaliou.pdf

Visualization of the Static aspects of Software: a survey

Autori: Caserta, Pierre Zendra, Olivier Real time and interoperability (TRIO) a ďalší

Prispievatelia: Caserta, Pierre Zendra, Olivier Real time and interoperability (TRIO) a ďalší

Zdroj: ISSN: 1077-2626 ; IEEE Transactions on Visualization and Computer Graphics ; https://inria.hal.science/inria-00546158 ; IEEE Transactions on Visualization and Computer Graphics, 2011, 17 (7), pp.913-933. ⟨10.1109/TVCG.2010.110⟩.

Predmety: Software Comprehension, Software Maintenance, Human Perception, Visualization of Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.0: Graphical environments, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnosť: https://inria.hal.science/inria-00546158
https://inria.hal.science/inria-00546158v2/document
https://inria.hal.science/inria-00546158v2/file/visualization_static_aspects_2011.pdf
https://doi.org/10.1109/TVCG.2010.110

Programming with Miracles

Autori: Joshi, Rajeev Laboratory for Reliable Software JPL Jet Propulsion Laboratory (JPL) a ďalší

Prispievatelia: Joshi, Rajeev Laboratory for Reliable Software JPL Jet Propulsion Laboratory (JPL) a ďalší

Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524770 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.27

Predmety: program semantics, specification language, testing, miracle, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Nancy, France

Relation: inria-00524770; https://hal.inria.fr/inria-00524770

Dostupnosť: https://hal.inria.fr/inria-00524770

Methods and tools for the design of embedded software for highly constrained device ; Élements de conception de systèmes embarqués fortement contraints

Autori: Hauspie, Michaël Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS) a ďalší

Prispievatelia: Hauspie, Michaël Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS) a ďalší

Zdroj: https://hal.science/tel-01104105 ; Systèmes embarqués. Université Lille 1, 2014.

Predmety: embedded systems, sensors network, network intrusion detection, smart cards, internet of things, energy aware protocols, économie d'énergie, réseaux de capteurs, détection d'intrusions réseau, cartes à puce, internet des objets, systèmes embarqués, ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management/D.4.4.3: Network communication, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: C.: Computer Systems Organization/C.5: COMPUTER SYSTEM IMPLEMENTATION/C.5.3: Microcomputers, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing

Dostupnosť: https://hal.science/tel-01104105
https://hal.science/tel-01104105v1/document
https://hal.science/tel-01104105v1/file/hauspie-hdr.pdf

SimCells, an advanced software for multicellular modeling Application to tumoral and blood vessel co-development

Autori: Ballet, Pascal Laboratoire de Traitement de l'Information Medicale (LaTIM) Université de Brest (UBO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre Hospitalier Régional Universitaire de Brest (CHRU Brest)-IMT Atlantique (IMT Atlantique) a ďalší

Prispievatelia: Ballet, Pascal Laboratoire de Traitement de l'Information Medicale (LaTIM) Université de Brest (UBO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre Hospitalier Régional Universitaire de Brest (CHRU Brest)-IMT Atlantique (IMT Atlantique) a ďalší

Zdroj: https://hal.science/hal-01853293 ; 2018.

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.1: Integrated environments, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.8: Types of Simulation/I.6.8.8: Visual, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

Dostupnosť: https://hal.science/hal-01853293
https://hal.science/hal-01853293v1/document
https://hal.science/hal-01853293v1/file/SimCellsAdvSof4MulticellSimulation.pdf

Induction for Positive Almost Sure Termination

Autori: Gnaedig, Isabelle Theoretical adverse computations, and safety (CARTE) Inria Nancy - Grand Est a ďalší

Prispievatelia: Gnaedig, Isabelle Theoretical adverse computations, and safety (CARTE) Inria Nancy - Grand Est a ďalší

Zdroj: PPDP 2007 - 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming ; https://inria.hal.science/inria-00182435 ; PPDP 2007 - 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.167-177

Predmety: Algorithms, Languages, Verification, Abstraction, Constraint, Narrowing, Probability, Termination, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.2: Logics of programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, 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/F.4.3.0: Algebraic language theory, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Wroclaw, Poland

Dostupnosť: https://inria.hal.science/inria-00182435
https://inria.hal.science/inria-00182435/document
https://inria.hal.science/inria-00182435/file/ppdp11b-gnaedig-preprint.pdf

Architecture Orienté Service Dynamique : D-SOA

Autori: Parigot, Didier Boussemart, Baptiste Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) a ďalší

Prispievatelia: Parigot, Didier Boussemart, Baptiste Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) a ďalší

Zdroj: https://inria.hal.science/inria-00342310 ; [Rapport de recherche] 2008, pp.13.

Predmety: ACM: D.: Software, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnosť: https://inria.hal.science/inria-00342310
https://inria.hal.science/inria-00342310v1/document
https://inria.hal.science/inria-00342310v1/file/soa-3.pdf

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

Autori: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise a ďalší

Prispievatelia: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise a ďalší

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

Predmety: 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]

Dostupnosť: https://inria.hal.science/inria-00468283

Logic programming environments: Dynamic program analysis and debugging

Autori: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) a ďalší

Prispievatelia: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) a ďalší

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

Predmety: 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]

Prístupová URL adresa: 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

Computing Constructor Forms with Non Terminating Rewrite Programs

Autori: Gnaedig, Isabelle Kirchner, Hélène Constraints, automatic deduction and software properties proofs (PROTHEO) a ďalší

Prispievatelia: Gnaedig, Isabelle Kirchner, Hélène Constraints, automatic deduction and software properties proofs (PROTHEO) a ďalší

Zdroj: Symposium on Principles and Practice of Declarative Programming - PPDP'06 ; https://inria.hal.science/inria-00112083 ; Symposium on Principles and Practice of Declarative Programming - PPDP'06, Jul 2006, Venise/Italie

Predmety: Sufficient Completeness, Constructor, Abstraction, Narrowing, Ordering Constraint, Termination, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.2: Logics of programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques, 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/F.4.3.0: Algebraic language theory, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.4: Substitution mechanisms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnosť: https://inria.hal.science/inria-00112083
https://inria.hal.science/inria-00112083/document
https://inria.hal.science/inria-00112083/file/ppdp51-gnaedig-pour-hal.pdf

Opening Polyhedral Compiler's Black Box

Autori: Bagnères, Lénaïc Zinenko, Oleksandr Huot, Stéphane a ďalší

Prispievatelia: Bagnères, Lénaïc Zinenko, Oleksandr Huot, Stéphane a ďalší

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/

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

Dostupnosť: https://inria.hal.science/hal-01253322
https://inria.hal.science/hal-01253322v1/document
https://inria.hal.science/hal-01253322v1/file/2015.09.18_Polyhedral_Compiler_White_Boxing.pdf

Bringing Evolutionary Computation to Industrial Applications with GUIDE

Autori: da Costa, Luis Schoenauer, Marc Machine Learning and Optimisation (TAO) a ďalší

Prispievatelia: da Costa, Luis Schoenauer, Marc Machine Learning and Optimisation (TAO) a ďalší

Zdroj: GECCO 2009 ; https://inria.hal.science/inria-00375419 ; GECCO 2009, ACM, Jul 2009, Montréal, Québec, Canada

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.7: Visual Programming, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Geografické téma: Montréal, Québec

Time: Montréal, Québec, Canada

Dostupnosť: https://inria.hal.science/inria-00375419
https://inria.hal.science/inria-00375419v1/document
https://inria.hal.science/inria-00375419v1/file/t13fp504-DaCosta.pdf

Revisiting the Visitor: the Just-Do-It Pattern

Autori: Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Prispievatelia: Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Zdroj: ISSN: 0948-695X.

Predmety: Lisp, Design Patterns, Visitor, Meta-Programming, Object-Oriented Programming, ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, 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.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques/D.2.3.0: Object-oriented programming, 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, [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-01543389; https://hal.archives-ouvertes.fr/hal-01543389

Dostupnosť: https://hal.archives-ouvertes.fr/hal-01543389
https://doi.org/10.3217/jucs-016-02-0246

EUGENE: a STEP-based framework to build Application Generators

Autori: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS a ďalší

Prispievatelia: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS a ďalší

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

Predmety: 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]

Geografické téma: Adelaide, Australia

Dostupnosť: https://hal.univ-brest.fr/hal-01078451
https://hal.univ-brest.fr/hal-01078451v1/document
https://hal.univ-brest.fr/hal-01078451v1/file/AWCSET98.pdf

Behavioral adaptation of component compositions based on process algebra encodings

Autori: Mateescu, Radu Poizat, Pascal Salaün, Gwen a ďalší

Prispievatelia: Mateescu, Radu Poizat, Pascal Salaün, Gwen a ďalší

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

Predmety: 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]

Popis súboru: application/pdf

Prístupová URL adresa: 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

JBInsTrace: A Tracer of Java and JRE Classes at Basic-Block Granularity by Dynamically Instrumenting Bytecode

Autori: Caserta, Pierre Zendra, Olivier Real time and interoperability (TRIO) a ďalší

Prispievatelia: Caserta, Pierre Zendra, Olivier Real time and interoperability (TRIO) a ďalší

Zdroj: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-00672976 ; Science of Computer Programming, 2012.

Predmety: 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]

Dostupnosť: https://inria.hal.science/hal-00672976
https://inria.hal.science/hal-00672976v2/document
https://inria.hal.science/hal-00672976v2/file/JBInsTrace_A_Tracer_of_Java_and_JRE_Classes.pdf

Correct-by-construction model driven engineering composition operators

Autori: Kezadri, Mounira Pantel, Marc Thirioux, Xavier a ďalší

Prispievatelia: Kezadri, Mounira Pantel, Marc Thirioux, Xavier a ďalší

Zdroj: ISSN: 0934-5043.

Predmety: Formal verification, Composition, Proof assistant, MDE, MOF, ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnosť: https://inria.hal.science/hal-01319576
https://doi.org/10.1007/s00165-016-0354-6

Coordinating multiple administration loops using discrete control

Autori: Gueye, Soguy Mak-Karé de Palma, Noël Rutten, Eric a ďalší

Prispievatelia: Gueye, Soguy Mak-Karé de Palma, Noël Rutten, Eric a ďalší

Zdroj: ACM SIGOPS Operating Systems Review. 47:18-25

Predmety: [INFO.INFO-DC]Computer Science [cs]/Distributed, coordination, reconfiguration, reactive programming, Autonomic managers, administration loops, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, discrete controller synthesis, 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, Parallel, components, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], and Cluster Computing [cs.DC], [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], model-based approach, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.4: System Management

Prístupová URL adresa: https://dl.acm.org/doi/10.1145/2553070.2553074
https://hal.inria.fr/hal-00949555