Výsledky vyhledávání - Software AND its engineering Software notations AND tools General programming languages*

Determinacy Race Detector for Promises (Artifact)

Autoři: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Přispěvatelé: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Témata: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, ddc:004, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24

History of Logo

Autoři: Solomon, Cynthia Harvey, Brian Kahn, Ken a další

Zdroj: Proceedings of the ACM on Programming Languages. 4(HOPL)

Témata: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), 4612 Software Engineering (for-2020), 4 Quality Education (sdg), Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys-, Lambda calculus, Recursive functions, Interactive computation., Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation., 4612 Software engineering (for-2020), 4613 Theory of computation (for-2020), 4903 Numerical and computational mathematics (for-2020)

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/1623m1p3
https://escholarship.org/content/qt1623m1p3/qt1623m1p3.pdf

Python tools for structural tasks in chemistry.

Autoři: Ryzhkov FV Ryzhkova YE Elinson MN

Zdroj: Molecular diversity [Mol Divers] 2025 Aug; Vol. 29 (4), pp. 3733-3752. Date of Electronic Publication: 2024 May 14.

Způsob vydávání: Journal Article; Review

Informace o časopise: Publisher: ESCOM Science Publishers Country of Publication: Netherlands NLM ID: 9516534 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1573-501X (Electronic) Linking ISSN: 13811991 NLM ISO Abbreviation: Mol Divers Subsets: MEDLINE

Výrazy ze slovníku MeSH: Software* , Programming Languages*, Cheminformatics/methods

Energy-aware parallelization flow and toolset for C code

Autoři: LAZARESCU, MIHAI TEODOR Albert Cohen Adrien Guatto a další

Přispěvatelé: LAZARESCU, MIHAI TEODOR Albert Cohen Adrien Guatto a další

Zdroj: Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems. :79-88

Témata: Energy estimation, 02 engineering and technology, 01 natural sciences, 7. Clean energy, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Program parallelization, 13. Climate action, Data dependency analysis, 0103 physical sciences, Computing methodologies, Parallel computing methodologies, Parallel programming languages, Software and its engineering, Software notations and tools, General programming languages, Language types, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, SDG 7 - Affordable and Clean Energy, Exeention profiling, SDG 7 – Betaalbare en schone energie

Popis souboru: application/pdf

Přístupová URL adresa: https://iris.polito.it/retrieve/handle/11583/2565955/63537/scopes.pdf
https://iris.polito.it/handle/11583/2565955
https://iris.polito.it/bitstream/11583/2565955/1/scopes.pdf
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2F25ead65a-3bc7-4184-a08d-888b1d0d3900
https://dl.acm.org/doi/10.1145/2609248.2609264
https://research.tue.nl/en/publications/energy-aware-parallelization-flow-and-toolset-for-c-code
https://hal.archives-ouvertes.fr/hal-01257245

Concurrent programming for the control of hexapod walking

Autoři: Laurent Thiry Bernard Thirion Université de Haute Alsace, Pole Essor

Přispěvatelé: Laurent Thiry Bernard Thirion Université de Haute Alsace, Pole Essor

Zdroj: ACM SIGAda Ada Letters. :17-28

Témata: Language types, 0209 industrial biotechnology, Software notations and tools, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, General programming languages

Přístupová URL adresa: https://hal.science/hal-00951278v1
https://doi.org/10.1145/507548.507551
https://dl.acm.org/doi/10.1145/507548.507551
https://hal.archives-ouvertes.fr/hal-00951278
http://www.sigada.org/ada_letters/march2002/thirion.pdf

Practical virtual method call resolution for Java

Autoři: Sundaresan, Vijay Hendren, Laurie Razafimahefa, Chrislain a další

Zdroj: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :264-280

Témata: Language types, Software notations and tools, Software and its engineering, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, General programming languages

Popis souboru: application/pdf

Přístupová URL adresa: https://archive-ouverte.unige.ch/unige:155911/ATTACHMENT01
https://dl.acm.org/doi/10.1145/354222.353189

An object-oriented tutoring system for teaching sets

Autoři: Güvenir, H. A.

Zdroj: ACM SIGCSE Bulletin

Témata: Software Notations and Tools, General Programming Languages, Software and Its Engineering, Language Types, 4. Education, 05 social sciences, Computing Education Programs, Object Oriented Languages, 0503 education

Popis souboru: application/pdf

Přístupová URL adresa: http://repository.bilkent.edu.tr/bitstream/11693/48915/1/An_object_oriented_tutoring_system_for_teaching_sets.pdf
http://repository.bilkent.edu.tr/bitstream/11693/48915/1/An_object_oriented_tutoring_system_for_teaching_sets.pdf
http://repository.bilkent.edu.tr/handle/11693/48915
https://dl.acm.org/doi/10.1145/209849.209856
https://dblp.uni-trier.de/db/journals/sigcse/sigcse27.html#Guvenir95
https://hdl.handle.net/11693/48915

Cross-modal Priming of a Music Education Event in a Digital Environment.

Autoři: Petkova, Diana

Zdroj: International Journal of Cognitive Research in Science, Engineering & Education (IJCRSEE); 2025, Vol. 13 Issue 1, p75-81, 7p

Témata: MUSIC education, DIGITAL technology, MUSICAL perception, TEACHING aids, SENSORY stimulation, ARTIFICIAL intelligence, INTERDISCIPLINARY research, EDUCATION software

Coding Beauty and Decoding Ugliness: The Role of Aesthetic Concerns in Programming Practices.

Autoři: Fedorova, Marina Mazmanian, Melissa Dourish, Paul

Zdroj: Science, Technology & Human Values; Jan2025, Vol. 50 Issue 1, p69-93, 25p

Témata: AESTHETIC judgment, SOFTWARE architecture, DIVERSITY in organizations, DESIGN software, WEB services

Fundamental Approaches to Software Engineering

Autoři: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

Témata: Computer systems, Software engineering--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)

Autoři: Olivieri, Luca Negrini, Luca Arceri, Vincenzo a další

Přispěvatelé: Olivieri, Luca Negrini, Luca Arceri, Vincenzo a další

Témata: Program Verification, Blockchain, Software and its engineering → Software notations and tools, Static Analysis, DApps, Theory of computation → Program verification, Theory of computation → Program analysis, ddc:004, Go language, Security and privacy → Distributed systems security, Non-determinism, Smart contracts

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.23

Mapping software: Are we nearing standardization?

Autoři: Banerjee, Bakul

Zdroj: Annals of Software Engineering; 2000, Vol. 10 Issue 1-4, p373-387, 15p

Témata: COMPUTER software, COMPUTER software development, PROGRAMMING languages, COMPUTER systems, ELECTRONIC systems, COMPUTER programming, SYSTEMS design, SOFTWARE engineering, HIGH technology, COMPUTER science

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Leen Lambers Sebastián Uchitel

Resource Type: eBook.

Témata: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General

A Model‐Driven Framework for Gamification of Learning Introductory Programming.

Autoři: Mousavi, Seyedeh Hasti Rahimi, Shekoufeh Kolahdouz Samimi Dehkordi, Leila a další

Zdroj: Human Behavior & Emerging Technologies; 9/29/2025, Vol. 2025, p1-19, 19p

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules.

Autoři: Linssen, Charl Babu, Pooja N. Eppler, Jochen M. a další

Zdroj: Frontiers in Neuroinformatics; 2025, p1-21, 21p

Témata: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)

Accelerating spiking neural network simulations with PymoNNto and PymoNNtorch.

Autoři: Vieth, Marius Rahimi, Ali Gorgan Mohammadi, Ashena a další

Zdroj: Frontiers in Neuroinformatics; 2024, p01-13, 13p

Témata: ARTIFICIAL neural networks, NEUROMORPHICS, ARTIFICIAL intelligence, SOFTWARE frameworks, MODULAR design, PYTHON programming language

Introducing objects and parallelism to an imperative programming language

Autoři: Radenski, Atanas

Zdroj: Information Sciences. 87:107-122

Témata: software tools, parallelism, Programming Languages and Compilers, programming languages, software notation, object oriented languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, software engineering, 3. Good health

Popis souboru: application/pdf

Přístupová URL adresa: https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1214&context=scs_articles
https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1214&context=scs_articles
https://digitalcommons.chapman.edu/scs_articles/208/
http://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1214&context=scs_articles
https://dblp.uni-trier.de/db/journals/isci/isci87.html#Radenski95
https://www.sciencedirect.com/science/article/abs/pii/0020025595001239

Achievements and Challenges in Software Reverse Engineering.

Autoři: CANFORA, GERARDO DI PENTA, MASSIMILIANO CERULO, LUIGI

Zdroj: Communications of the ACM; Apr2011, Vol. 54 Issue 4, p142-151, 10p, 1 Color Photograph, 1 Diagram, 2 Charts

Témata: REVERSE engineering software, COMPUTER software development, COMPUTER science research, COMPUTER programming, SOFTWARE architecture, COMPUTER software laws

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autoři: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Témata: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

On some innovations in teaching the formal semantics using software tools.

Autoři: Steingartner, William

Zdroj: Ecological Genomics; 2021, Vol. 11 Issue 1, p2-11, 10p