Výsledky vyhľadávania - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques
-
1
Autori: a ďalší
Prispievatelia: 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
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Techniques de l'ingénieur Automatique et ingénierie système ; https://hal.science/hal-05069404 ; Techniques de l'ingénieur Automatique et ingénierie système, 2025, Automatique séquentielle, Automatique Séquentielle (S7254), ⟨10.51257/a-v2-s7254⟩ ; https://www.techniques-ingenieur.fr/
Predmety: Concurrent Systems, Modeling tools Conclusion, Real time systems, Petri nets, Réseaux de Petri, Systèmes temps réel, Systèmes concurrent, Outils de modélisation Petri net, ACM CCS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.6: Petri nets, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
3
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ISSN: 0045-7906 ; Computers and Electrical Engineering ; https://hal.science/hal-03278354 ; Computers and Electrical Engineering, 2021, 94, pp.107292. ⟨10.1016/j.compeleceng.2021.107292⟩.
Predmety: SMARTEN, energy management, energy-mix, smart grid, multiscale, simulation, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.3: Network Operations, 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: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Journal of Software Engineering and Applications. :353-397
Predmety: Design Method, Comparison Criteria, Embedded System, [INFO]Computer Science [cs], Real-Time System, Modelling Language, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Second IEEE International Conference on Robotic Computing ; https://hal.sorbonne-universite.fr/hal-01666652 ; Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States ; http://www.ieee-irc.org
Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Geografické téma: Laguna Hills, California, United States
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://inria.hal.science/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8
Predmety: Modeling workbenches, Language workbenches, Executable Modeling Language, Omniscient debugging, Eclipse Modeling Framework, DSMLs Domain Specific Modeling Languages, Model execution, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.8: Types of Simulation/I.6.8.3: Discrete event, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Amsterdam, Netherlands
-
7
TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ACM Transactions on Embedded Computing Systems. 15:1-27
Predmety: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES, 13. Climate action, Electronic System Level, 0202 electrical engineering, electronic engineering, information engineering, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION, Multiprocessor, 02 engineering and technology, High-Level Synthesis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, System-on-Chip
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Journée Jeunes Chercheurs en Interfaces Cerveau-Ordinateur et Neurofeedback (JJC-ICON’2018) ; https://inria.hal.science/hal-01763019 ; Journée Jeunes Chercheurs en Interfaces Cerveau-Ordinateur et Neurofeedback (JJC-ICON’2018), Apr 2018, Toulouse, France
Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, 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, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [SCCO]Cognitive science, [SHS.STAT]Humanities and Social Sciences/Methods and statistics
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Actes du XXXVIème Congrès INFORSID ; https://hal.science/hal-02468406 ; Actes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
Predmety: Systèmes d'information, Architecture d'entreprise, Rétro-ingénierie, Alignement Métier, Ingénierie des modèles, Mesure, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Web Science 2017 (WebSci17) ; https://inria.hal.science/hal-01560180 ; Web Science 2017 (WebSci17), Jun 2017, Troy, NY, United States. pp.381 - 382, ⟨10.1038/nbt0609-508⟩ ; http://websci17.org/
Predmety: Interaction design, Augmentation, Interaction, Web, Web interfaces, World Wide Web, Interaction design theory, Web-based interaction, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.3: Group and Organization Interfaces/H.5.3.7: Web-based interaction, HCI)/H.5.2: User Interfaces/H.5.2.7: Interaction styles (e.g., commands, menus, forms, direct manipulation), 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.2: Design Tools and Techniques, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software/H.3.4.2: Information networks, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI]
Geografické téma: Troy, NY, United States
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: 18th International Conference on Evaluation and Assessment in Software Engineering
https://inria.hal.science/hal-00957168
18th International Conference on Evaluation and Assessment in Software Engineering, May 2014, London, United Kingdom. pp.9, ⟨10.1145/2601248.2601275⟩Predmety: Conflicts, Merge quality, Experimentation, Algorithms, Commutative Replicated Data Types, Benchmark, Collaboration, Asynchronous System, Collaborative Editing, Distributed Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Geografické téma: London, United Kingdom
-
12
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014 ; https://hal.science/hal-01119571 ; International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Predmety: model-checking, execution trace, diagnosis, verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO]Computer Science [cs], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Bridgeport, United States
Dostupnosť: https://hal.science/hal-01119571
https://hal.science/hal-01119571v1/document
https://hal.science/hal-01119571v1/file/Techniques%20and%20Challenges%20for%20Trace%20Processing%20from%20a%20Model-checking%20Perspective.pdf -
13
Autori: a ďalší
Prispievatelia: 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]
-
14
Autori: a ďalší
Prispievatelia: 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 -
15
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Leibniz International Proceedings in Informatics (LIPIcs) ; The 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)) ; https://hal.science/hal-01587616 ; The 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)), 2017, Varsovie, Poland. ⟨10.4230/LIPIcs.ICALP.2017.117⟩
Predmety: separability problem, Parikh automata, integer vector addition systems, visible one counter automata, decidability, undecidability, ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: JUCS-Journal of Universal Computer Science 17(5): 742-776
Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, Aspect-Oriented Software Architectures, Domain-Specific Software Engineering, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Component-Based Frameworks, 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.2: Design Tools and Techniques
Popis súboru: application/pdf; text/html
Prístupová URL adresa: https://inria.hal.science/inria-00521432v1
https://inria.hal.science/inria-00521432v1/document
https://doi.org/10.3217/jucs-017-05-0742
https://hal.inria.fr/inria-00521432/document
https://hal.inria.fr/inria-00521432
https://doi.org/10.3217/jucs-017-05-0742
http://www.jucs.org/jucs_17_5/an_aspect_oriented_framework/jucs_17_05_0742_0776_loiret.pdf
https://dblp.uni-trier.de/db/journals/jucs/jucs17.html#LoiretRSRSP11 -
17
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Lecture Notes in Computer Science ISBN: 9783642358128
Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, Automatización y sistemas de control, goal-based adaptation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, Automation Command and control system, Systems engineering, reference models for self-adaptation, dynamic context monitoring, Monitoreo de redes, 0202 electrical engineering, electronic engineering, information engineering, control loops, explicit feedback loops, Ingeniería de software, Runtime adaptation, Ingeniería de sistemas y comunicaciones
Popis súboru: application/pdf; 265 - 293 páginas; Digital
Prístupová URL adresa: http://repository.icesi.edu.co/biblioteca_digital/bitstream/10906/82843/1/villegas_dynamico_reference_2010.pdf
https://inria.hal.science/hal-00713315v2
https://dblp.uni-trier.de/db/conf/dagstuhl/adaptive2010.html#VillegasTMDC10
https://link.springer.com/content/pdf/10.1007%2F978-3-642-35813-5_11.pdf
https://link.springer.com/chapter/10.1007%2F978-3-642-35813-5_11
https://doi.org/10.1007/978-3-642-35813-5_11
http://www.savinetwork.ca/wp-content/uploads/savifunded/Hausi%20Muller_UVictoria_DYNAMICO-A%20reference%20model%20for%20governing%20control%20objectives%20&%20context%20relevance%20in%20self-adaptive%20software%20systems_Software%20Eng%20for%20Self-Adaptive%20Systems_Feb13.pdf
https://rd.springer.com/chapter/10.1007/978-3-642-35813-5_11 -
18
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Software Engineering for Self-Adaptive Systems 2 ; https://inria.hal.science/hal-00713315 ; Rogerio de Lemos and Holger Giese and Hausi Müller and Mary Shaw. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.265-293, 2012, LNCS
Predmety: Runtime adaptation, reference models for self-adaptation, dynamic context monitoring, control loops, explicit feedback loops, goal-based adaptation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
19
Autori: a ďalší
Prispievatelia: a ďalší
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
Predmety: 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]
-
20
Autori: a ďalší
Prispievatelia: 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
Nájsť tento článok vo Web of Science 
Full Text Finder