Výsledky vyhledávání - software and _ engineering software notations and tools general programming languages

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

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: 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

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

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Alessandra Russo Andy Schürr

Resource Type: eBook.

Témata: 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

Assessing the usefulness of a visual programming IDE for large-scale automation software.

Autoři: Wiesmayr, Bianca Zoitl, Alois Rabiser, Rick

Zdroj: Software & Systems Modeling. Oct2023, Vol. 22 Issue 5, p1619-1643. 25p.

Témata: *AUTOMATION software, *INDUSTRIAL robots, *SOFTWARE maintenance, *INDUSTRIAL engineering, *SOFTWARE engineers, *SOFTWARE engineering

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

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

The AI Act and The Agile Safety Plan

Autoři: Thor Myklebust Tor Stålhane Dorthea Mathilde Kristin Vatn

Resource Type: eBook.

Témata: 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

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

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Naoki Kobayashi James Worrell

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

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

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

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

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

Modeling software processes from different domains using SPEM and BPMN notations: An experience report of teaching software processes

Autoři: Carla Bezerra Emanuel Ferreira Coutinho

Zdroj: Journal of Software Engineering Research and Development. 11

Témata: FOS: Computer and information sciences, Computer Networks and Communications, Social Sciences, Business, Management and Accounting, Agile Software Development in Software Engineering, Process Models, Metamodeling, Management Information Systems, Process Modeling Languages, Personal software process, Software construction, Software engineering, Software development process, 4. Education, Workflow Mining and Business Process Management, Software development, Agile Software Development, Computer science, Social software engineering, Programming language, Software Process Improvement, Log Analysis and System Performance Diagnosis, Computer Science, Physical Sciences, Semantic Business Process Management, Software Engineering Process Group, Software, Information Systems

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

A Tool for Modeling JsonLogic based Business Process Rules

Autoři: Bul, Y. Soleymanzadeh, K. Bagci, S. a další

Zdroj: 2019 1st International Informatics and Software Engineering Conference (UBMYK). :1-5

Témata: JsonLogic, 0202 electrical engineering, electronic engineering, information engineering, Business Process Rule, Model-driven Software Development, 02 engineering and technology, Domain-specific Modeling Language

Přístupová URL adresa: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=8965462
http://xplorestaging.ieee.org/ielx7/8959514/8965428/08965462.pdf?arnumber=8965462

Lessons learned from developing mbeddr: a case study in language engineering with MPS.

Autoři: Voelter, Markus Kolb, Bernd Szabó, Tamás a další

Zdroj: Software & Systems Modeling. Feb2019, Vol. 18 Issue 1, p585-630. 46p.

Témata: *PROGRAMMING languages, *COMPUTATIONAL complexity, *COMPUTER software development, *SCALABILITY, *TASK performance

Do Machine Learning Models Produce TypeScript Types That Type Check?

Autoři: Yee, Ming-Ho Guha, Arjun Ming-Ho Yee and Arjun Guha

Přispěvatelé: Yee, Ming-Ho Guha, Arjun Ming-Ho Yee and Arjun Guha

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, deep learning, 02 engineering and technology, ddc:004, Type migration, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2302.12163
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.37

Evaluation of Novel Approaches to Software Engineering : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers

Autoři: Raian Ali Hermann Kaindl Leszek A. Maciaszek

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computers, Software engineering--Congresses, Computers, Special purpose, Computer programming, Computer architecture

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General