Search Results - Software AND its engineering Software notations AND tools General programming languages~
-
1
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
-
2
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
-
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: Luís Caires
Resource Type: eBook.
Subjects: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing
Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
PDF Full Text ePub Full Text -
5
Authors: Nobuko Yoshida
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing
PDF Full Text -
6
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 -
7
Authors:
Resource Type: eBook.
Subjects: Software engineering, Artificial intelligence--Law and legislation--European Union countries, Artificial intelligence--Safety measures, Data protection, Risk management
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / General, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text -
8
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
-
9
Authors:
Resource Type: eBook.
Subjects: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers
Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text -
10
Authors: Viktor Vafeiadis
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF Full Text ePub Full Text -
11
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
-
12
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 -
13
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
-
14
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 -
15
-
16
-
17
Authors: et al.
Resource Type: eBook.
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 -
18
Authors: Banerjee, Bakul
Source: Annals of Software Engineering; 2000, Vol. 10 Issue 1-4, p373-387, 15p
-
19
Authors: Stephanie Weirich
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF Full Text ePub Full Text -
20
Authors: Ilya Sergey
Resource Type: eBook.
Subjects: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General
PDF Full Text
Nájsť tento článok vo Web of Science 
Full Text Finder