Výsledky vyhledávání - ((automatic OR automatizace) OR automation) programming— program transformation
-
1
Autoři: James D. Stevens
Zdroj: ProQuest LLC. 2021Ph.D. Dissertation, University of Illinois at Urbana-Champaign.
Peer Reviewed: N
Page Count: 113
Descriptors: Computation, Programming, Computer Graphics, Automation, Man Machine Systems, Computers, Models, Computer Interfaces, Sciences, Engineering
-
2
Autoři:
Zdroj: Informatics in Education. 2024 23(4):735-765.
Peer Reviewed: Y
Page Count: 31
Descriptors: Programming Languages, Computer Science Education, Foreign Countries, Programming, Expertise, Attitudes, Algorithms, Educational History, Information Science, Teaching Methods, Intellectual History, Trend Analysis, Technological Advancement, Secondary School Teachers, Creative Thinking, Problem Solving, Computer Software, Teacher Attitudes, Instructional Innovation, College Faculty
Geografický termín: Lithuania
-
3
Autoři: a další
Zdroj: Computer Science Education. 2018 28(1):87-108.
Peer Reviewed: Y
Page Count: 22
Descriptors: Foreign Countries, Graduate Students, Masters Programs, Programming, Computer Science Education, Problems, Statistical Analysis, Comparative Analysis, Incidence, Automation, Error Correction
Geografický termín: Colombia (Bogota)
-
4
Přispěvatelé:
Témata: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101666
-
5
Přispěvatelé:
Témata: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54027
-
6
Autoři: a další
Zdroj: Genetic Programming and Evolvable Machines. 20(4):531-580
Popis souboru: print
-
7
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
Relation: 9783540691747; 0302-9743
Dostupnost: https://hdl.handle.net/1822/14350
-
8
Přispěvatelé:
Témata: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37723
-
9
Autoři:
Zdroj: IEEE Transactions on Software Engineering. Apr2003, Vol. 29 Issue 4, p360-384. 24p. 2 Black and White Photographs, 37 Diagrams, 8 Charts.
-
10
Přispěvatelé:
Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37724
-
11
Autoři: Pekunov, V.1
Zdroj: Automation & Remote Control. Jul2008, Vol. 69 Issue 7, p1252-1261. 10p. 3 Diagrams.
-
12
Autoři: Ballis, Demis
Přispěvatelé: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Alpuente Frasnedo, María, FALASCHI, MORENO
Zdroj: Riunet
Témata: Software verification, Software correction, Inductive learning, Abstract diagnosis, Rule-based specification languages, Program transformation, Functional logic languages, Formal methods, Rewriting, Web site verification, Simulation, LENGUAJES Y SISTEMAS INFORMATICOS, 1203 11, 1203 18, 1203 23, 1203 24
Přístupová URL adresa: http://hdl.handle.net/10251/1948
-
13
Autoři: Brown, Stephen Anthony
Témata: 005, Computer software & programming
Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263028
-
14
Autoři: Huang, Hanxian
Témata: Computer science
Popis souboru: application/pdf
-
15
Autoři:
Zdroj: Evolutionary Computation. Fall2017, Vol. 25 Issue 3, p351-373. 23p.
-
16
Autoři:
Zdroj: Formal Aspects of Computing. Jul2012, Vol. 24 Issue 4-6, p569-594. 26p.
-
17
Autoři: a další
Zdroj: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
Plný text ve formátu HTML Plný text ve formátu PDF -
18
-
19
Autoři: Neron, Pierre
Témata: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Program Transformation, Real Number arithmetic, Anti-unification, Semantics of Programming Languages, Proof Assistant, Embedded Systems, Quantifier Elimination
-
20
Autoři: Shelekhov, V. I.1,2 (AUTHOR) vshel@iis.nsk.su
Zdroj: Programming & Computer Software. Oct2023, Vol. 49 Issue 5, p470-483. 14p.
Nájsť tento článok vo Web of Science
Full Text Finder