Suchergebnisse - Software and _ engineering Software notations and tools General programming languages~

History of Logo

Autoren: Solomon, Cynthia Harvey, Brian Kahn, Ken et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Luís Caires

Resource Type: eBook.

Schlagworte: 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.

Autoren: Ryzhkov FV Ryzhkova YE Elinson MN

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

Publikationsart: Journal Article; Review

Info zur Zeitschrift: 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-Schlagworte: 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

Autoren: Alessandra Russo Andy Schürr

Resource Type: eBook.

Schlagworte: 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.

Autoren: Wiesmayr, Bianca Zoitl, Alois Rabiser, Rick

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

Schlagwörter: *AUTOMATION software, *INDUSTRIAL robots, *SOFTWARE maintenance, *INDUSTRIAL engineering, *SOFTWARE engineers, *SOFTWARE engineering

Foundations of Software Science and Computation Structures

Autoren: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Schlagworte: 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

Autoren: Laurent Thiry Bernard Thirion Université de Haute Alsace, Pole Essor

Weitere Verfasser: Laurent Thiry Bernard Thirion Université de Haute Alsace, Pole Essor

Quelle: ACM SIGAda Ada Letters. :17-28

Schlagwörter: 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

Zugangs-URL: 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

Autoren: Thor Myklebust Tor Stålhane Dorthea Mathilde Kristin Vatn

Resource Type: eBook.

Schlagworte: 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?

Autoren: Banerjee, Bakul

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

Schlagwörter: 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

Autoren: Naoki Kobayashi James Worrell

Resource Type: eBook.

Schlagworte: 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

Autoren: Güvenir, H. A.

Quelle: ACM SIGCSE Bulletin

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

Determinacy Race Detector for Promises (Artifact)

Autoren: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Weitere Verfasser: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24

Energy-aware parallelization flow and toolset for C code

Autoren: LAZARESCU, MIHAI TEODOR Albert Cohen Adrien Guatto et al.

Weitere Verfasser: LAZARESCU, MIHAI TEODOR Albert Cohen Adrien Guatto et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

Practical virtual method call resolution for Java

Autoren: Sundaresan, Vijay Hendren, Laurie Razafimahefa, Chrislain et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Carla Bezerra Emanuel Ferreira Coutinho

Quelle: Journal of Software Engineering Research and Development. 11

Schlagwörter: 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

Autoren: Radenski, Atanas

Quelle: Information Sciences. 87:107-122

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

A Tool for Modeling JsonLogic based Business Process Rules

Autoren: Bul, Y. Soleymanzadeh, K. Bagci, S. et al.

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

Schlagwörter: JsonLogic, 0202 electrical engineering, electronic engineering, information engineering, Business Process Rule, Model-driven Software Development, 02 engineering and technology, Domain-specific Modeling Language

Zugangs-URL: 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.

Autoren: Voelter, Markus Kolb, Bernd Szabó, Tamás et al.

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

Schlagwörter: *PROGRAMMING languages, *COMPUTATIONAL complexity, *COMPUTER software development, *SCALABILITY, *TASK performance

Do Machine Learning Models Produce TypeScript Types That Type Check?

Autoren: Yee, Ming-Ho Guha, Arjun Ming-Ho Yee and Arjun Guha

Weitere Verfasser: Yee, Ming-Ho Guha, Arjun Ming-Ho Yee and Arjun Guha

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Raian Ali Hermann Kaindl Leszek A. Maciaszek

Resource Type: eBook.

Schlagworte: 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