Search Results - ((automatizacii OR automatizacii) OR automation) programming-program synthesis general terms*

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Authors: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

Source: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Subject Terms: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

Source: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Hammer for Coq: Automation for Dependent Type Theory.

Authors: Czajka, Łukasz Kaliszyk, Cezary

Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

Dynamic Modelling and Optimal Sliding Mode Control of the Wearable Rehabilitative Bipedal Cable Robot with 7 Degrees of Freedom.

Authors: Sajedifar, A. Korayem, M. H. Allahverdi, F.

Source: Journal of Intelligent & Robotic Systems; Jun2024, Vol. 110 Issue 2, p1-16, 16p

A Variability-Aware Robust Design Methodology for Integrated Circuits by Geometric Programming.

Authors: Zhang, Yi Zhou, Junlong Chen, Li et al.

Source: Journal of Circuits, Systems & Computers; May2019, Vol. 28 Issue 5, pN.PAG-N.PAG, 19p

Subject Terms: ROBUST control, GEOMETRIC programming, INTEGRATED circuit design, ROBUST optimization, INTEGRATED circuits, GEOMETRIC modeling

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Logic-Based Program Synthesis and Transformation

Authors: Maribel Fernández

Resource Type: eBook.

Subjects: Computer science, Artificial intelligence, Software engineering, Machine theory, Computer engineering, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Research Trends and Issues of Engineering Design Process for STEM Education in K-12: A Bibliometric Analysis.

Authors: Ali, Muhammad Tse, Alex Wing Cheung

Source: International Journal of Education in Mathematics, Science & Technology; 2023, Vol. 11 Issue 3, p695-727, 33p

Synthesis: Dream → Programs.

Authors: Manna, Zohar Waldinger, Richard

Source: IEEE Transactions on Software Engineering; Mar79, Vol. 5 Issue 2, p294-328, 35p

Subject Terms: LISP (Computer program language), PROGRAMMING languages, LIST processing (Electronic computers), SOFTWARE engineering, COMPUTER software

DEPS: a model- and property-based language for system synthesis problems.

Authors: Yvars, Pierre-Alain Zimmer, Laurent

Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Subject Terms: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Authors: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

A methodological approach to the development of a technological platform for intelligent integrated energy system modelling.

Authors: Novitsky, N.N. Serttter, B. Chupin, V.R. et al.

Source: E3S Web of Conferences; 12/15/2020, Vol. 219, p1-6, 6p

Evolution of Self-Assembling Patterns in Cellular Automata using Development.

Authors: ÖZTÜRKERI, CAN JOHNSON, COLIN G.

Source: Journal of Cellular Automata; 2011, Vol. 6 Issue 4/5, p257-300, 44p

Subject Terms: CELLULAR automata, GENETIC programming, MACHINE theory, TURING machines, OPEN source intelligence

The In-House Option : Professional Issues of Library Automation

Authors: Terry D Webb

Resource Type: eBook.

Subjects: Libraries--Automation, Libraries--Automation--Case studies

Categories: COMPUTERS / Information Technology, LANGUAGE ARTS & DISCIPLINES / Study & Teaching, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / Digital & Online Resources

CURRICULUM 68.

Authors: Nauarro, Silvio O.

Source: Communications of the ACM; Mar1968, Vol. 11 Issue 3, p151-197, 47p

Subject Terms: COMPUTER science, ACADEMIC programs, COMMITTEES, TECHNICAL specifications, CONTINUING education, HIGHER education

Company/Entity: ASSOCIATION for Computing Machinery

Automated Reasoning: Some Successes and New Challenges.

Authors: Janičić, Predrag

Source: Central European Conference on Information & Intelligent Systems; 9/21/2011, p13-22, 10p

Subject Terms: AUTOMATION, INDUSTRIAL engineering, MECHANIZATION, TECHNOLOGICAL innovations, CREATIVE ability in technology

Development of Domestic Programming Technology.

Authors: Lavrischeva, E.

Source: Cybernetics & Systems Analysis; May2014, Vol. 50 Issue 3, p452-464, 13p

Subject Terms: COMPUTER systems, AUTOMATION, ASSEMBLY line methods, COMPUTER programming, COMPUTATIONAL complexity

Bad to the Bone : Crafting Electronic Systems with BeagleBone and BeagleBone Black

Authors: Steven F. Barrett Jason Kridner

Resource Type: eBook.

Subjects: Engineering, Electronic circuits, Control engineering, Robotics, Automation, Computers

Categories: TECHNOLOGY & ENGINEERING / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General