Search Results - Software and its engineering Software notations and tools General programming languages*
-
1
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
2
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 4(HOPL)
Subject Terms: 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)
File Description: application/pdf
-
3
Authors:
Source: Molecular diversity [Mol Divers] 2025 Aug; Vol. 29 (4), pp. 3733-3752. Date of Electronic Publication: 2024 May 14.
Publication Type: Journal Article; Review
Journal Info: 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
MeSH Terms: Software* , Programming Languages*, Cheminformatics/methods
-
4
Authors: et al.
Contributors: et al.
Source: Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems. :79-88
Subject Terms: 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
File Description: application/pdf
Access URL: 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 -
5
Authors:
Contributors:
Source: ACM SIGAda Ada Letters. :17-28
Subject Terms: 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
-
6
Authors: et al.
Source: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :264-280
Subject Terms: 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
File Description: application/pdf
-
7
Authors: Güvenir, H. A.
Source: ACM SIGCSE Bulletin
Subject Terms: 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
File Description: application/pdf
Access URL: 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 -
8
Authors: Petkova, Diana
Source: International Journal of Cognitive Research in Science, Engineering & Education (IJCRSEE); 2025, Vol. 13 Issue 1, p75-81, 7p
-
9
Authors:
Source: Science, Technology & Human Values; Jan2025, Vol. 50 Issue 1, p69-93, 25p
Subject Terms: AESTHETIC judgment, SOFTWARE architecture, DIVERSITY in organizations, DESIGN software, WEB services
-
10
Authors:
Resource Type: eBook.
Subjects: 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
PDF Full Text -
11
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
12
Authors: Banerjee, Bakul
Source: Annals of Software Engineering; 2000, Vol. 10 Issue 1-4, p373-387, 15p
-
13
Authors:
Resource Type: eBook.
Subjects: Software engineering--Congresses
PDF Full Text ePub Full Text -
14
Authors: et al.
Source: Human Behavior & Emerging Technologies; 9/29/2025, Vol. 2025, p1-19, 19p
-
15
Authors: et al.
Source: Frontiers in Neuroinformatics; 2025, p1-21, 21p
Subject Terms: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)
-
16
Authors: et al.
Source: Frontiers in Neuroinformatics; 2024, p01-13, 13p
-
17
Authors: Radenski, Atanas
Source: Information Sciences. 87:107-122
Subject Terms: 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
File Description: application/pdf
Access URL: 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 -
18
Authors:
Source: Communications of the ACM; Apr2011, Vol. 54 Issue 4, p142-151, 10p, 1 Color Photograph, 1 Diagram, 2 Charts
-
19
Authors:
Resource Type: eBook.
Subjects: Software engineering--Congresses
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General
PDF Full Text -
20
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text