Výsledky vyhledávání - 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

Assessing and Analyzing the Correctness of GitHub Copilot's Code Suggestions.

Autoři: Mo, Ran Wang, Dongyu Zhan, Wenjing a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-32, 32p

Témata: PROGRAMMING languages, CODE generators, STATISTICAL accuracy, FAILURE analysis, EMPIRICAL research, COMPUTER software development

Korporace: GITHUB Inc.

A Survey of Machine Learning for Big Code and Naturalness.

Autoři: ALLAMANIS, MILTIADIS BARR, EARL T. DEVANBU, PREMKUMAR a další

Zdroj: ACM Computing Surveys; Jul2019, Vol. 51 Issue 4, p1-37, 37p

Témata: COMPUTER programming education, SOFTWARE engineering, PROGRAMMING languages, SOFTWARE engineers, NATURAL languages, MACHINE learning

History of Logo

Autoři: Solomon, C Harvey, B Kahn, K a další

Zdroj: Proceedings of the ACM on Programming Languages; vol 4, iss HOPL, 1-66; 2475-1421

Témata: 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, 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., Quality Education, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, K-12 education (ages 5-18), Software notations and tools–General programming languages, Language features–Control structures, Theory of computation–Models of computation— Computability–Lambda calculus, article

URL: https://escholarship.org/uc/item/1623m1p3
https://escholarship.org/

A universal and scalable CNC interpreter for CNC systems.

Autoři: Liu, Lisi Yao, Yingxue Du, Jianjun

Zdroj: International Journal of Advanced Manufacturing Technology; Aug2019, Vol. 103 Issue 9-12, p4453-4466, 14p, 6 Illustrations, 9 Diagrams, 1 Chart

Témata: TRANSLATORS, PROGRAMMING languages

JAVACOP: Declarative Pluggable Types for Java.

Autoři: MARKSTRUM, SHANE MARINO, DANIEL ESQUIVEL, MATTHEW a další

Zdroj: ACM Transactions on Programming Languages & Systems; Jan2010, Vol. 32 Issue 2, p4-4:37, 37p, 7 Charts

Témata: PROGRAMMING languages, JAVA programming language, JAVASPACES technology, SYNTAX in programming languages, COMPUTER programming, COMPUTER software testing

The Liver Meeting: 2025 Abstracts.

Zdroj: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

Metamodels in Europe: Languages, Tools, and Applications.

Autoři: Passerone, Roberto Hafaiedh, Imene Ben Graf, Susanne a další

Zdroj: IEEE Design & Test of Computers; May/Jun2009, Vol. 26 Issue 3, p38-52, 15p, 6 Diagrams

Témata: INFORMATION modeling, SYSTEM analysis, SYSTEM integration, SYSTEMS engineering, PROGRAMMING languages

Geografický termín: EUROPE

PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.

Autoři: AMIGHI, AFSHIN HAACK, CHRISTIAN HUISMAN, MARIEKE a další

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-66, 66p

Témata: SEPARATION (Technology), THREADS (Computer programs), JAVA programming language, PROGRAMMING languages, MATHEMATICAL models

WHEN IS A CONTAINER A COMONAD?

Autoři: AHMAN, DANEL CHAPMAN, JAMES UUSTALU, TARMO

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-48, 48p

Témata: PROGRAMMING languages, DATA structures, TREE graphs, PARAMETERS (Statistics), ABSTRACT data types (Computer science), PROBLEM solving

AN EFFECT SYSTEM FOR ALGEBRAIC EFFECTS AND HANDLERS.

Autoři: BAUER, ANDREJ PRETNAR, MATIJA

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-29, 29p

Témata: SYSTEMS design, PROGRAMMING languages, SEMANTICS, COMPUTATIONAL complexity, MATHEMATICS theorems

Detection, assessment and mitigation of vulnerabilities in open source dependencies.

Autoři: Ponta, Serena Elisa Plate, Henrik Sabetta, Antonino

Zdroj: Empirical Software Engineering; Sep2020, Vol. 25 Issue 5, p3175-3215, 41p

Témata: OPEN source software, COMPUTER software, SOFTWARE product line engineering, JAVA programming language, EMPIRICAL research

Towards a Digital Transformation Hyper-Framework: The Essential Design Principles and Components of the Initial Prototype.

Autoři: Perisic, Ana Perisic, Branko

Zdroj: Applied Sciences (2076-3417); Jan2025, Vol. 15 Issue 2, p611, 38p

Témata: DIGITAL transformation, ELECTRONIC information resources, DIGITAL technology, DIGITAL twin, SYSTEMS engineering

CoReaAgents: A Collaboration and Reasoning Framework Based on LLM-Powered Agents for Complex Reasoning Tasks.

Autoři: Han, Zhonghe Wang, Jiaxin Yan, Xiaolu a další

Zdroj: Applied Sciences (2076-3417); May2025, Vol. 15 Issue 10, p5663, 26p

Témata: ARTIFICIAL intelligence, MACHINE learning, MULTIAGENT systems, DIVISION of labor, INTELLIGENCE officers

From Business Process Models to Process-Oriented Software Systems.

Autoři: CHUN OUYANG DUMAS, MARLON VAN DER AALST, WIL M. P. a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Aug2009, Vol. 19 Issue 1, p2:1-2:37, 37p, 8 Diagrams, 5 Charts, 2 Graphs

Témata: BPEL (Computer program language), SYSTEM analysis, COMPUTER software development, WEB services, FLOW charts, ALGORITHMS

Natural language techniques supporting decision modelers.

Autoři: Arco, Leticia Nápoles, Gonzalo Vanhoenshoven, Frank a další

Zdroj: Data Mining & Knowledge Discovery; 2021, Vol. 35 Issue 1, p290-320, 31p

Témata: NATURAL languages, TASK analysis, STONE implements, DISCOURSE analysis

A Regression Test Selection Technique for Embedded Software.

Autoři: BISWAS, SWARNENDU MALL, RAJIB SATPATHY, MANORANJAN

Zdroj: ACM Transactions on Embedded Computing Systems; Dec2013, Vol. 13 Issue 3, p47:1-47:39, 39p

Témata: REGRESSION testing (Computer science), EMBEDDED computer systems, COMPUTER software, COMPUTER programming, TELECOMMUNICATION, SOURCE code

Digital Twins Verification and Validation Approach through the Quintuple Helix Conceptual Framework.

Autoři: Perisic, Ana Perisic, Branko

Zdroj: Electronics (2079-9292); Aug2024, Vol. 13 Issue 16, p3303, 32p

Témata: DIGITAL twin, DIGITAL computer simulation, SYSTEMS engineering, INFORMATION resources, INFORMATION dissemination

A Method for Web Service Description by Using Problem Frames Approach.

Autoři: Guangjun Cai Zhi Jin Zhijing Feng

Zdroj: ICSE: International Conference on Software Engineering; 2008, p23-28, 6p, 4 Diagrams, 6 Charts

Témata: WEB services, COMPUTER software development, COMPUTER programming, SOFTWARE engineering, APPLICATION software

PROGRAM LOGICS FOR HOMOGENEOUS GENERATIVE RUN-TIME META-PROGRAMMING.

Autoři: BERGER, MARTIN TRATT, LAURENCE

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-50, 50p

Témata: COMPUTER programming, HOMOGENEOUS polynomials, MATHEMATICAL formulas, DERIVATIVES (Mathematics), MATHEMATICAL models