Search Results - automation programming—program transformation additional key works and phrases

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

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)

ABSTRACTS from other ACM Publications.

Source: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Subject Terms: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

Design Maintenance Systems.

Authors: Baxter, Ira D.

Source: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p

Subject Terms: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

ABSTRACTS from other ACM Publications.

Source: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Subject Terms: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

Mitigating Program Security Vulnerabilities: Approaches and Challenges.

Authors: Shahriar, Hossain Zulkernine, Mohammad

Source: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p11-11:46, 46p, 6 Diagrams, 12 Charts

Subject Terms: PROGRAMMING languages, COMPUTER security, COMPUTER programming, SOFTWARE engineering, COMPUTER software, COMPUTER science

THE OPERATIONAL VERSUS THE CONVENTIONAL APPROACH TO SOFTWARE DEVELOPMENT.

Authors: Zave, Pamela

Source: Communications of the ACM; Feb1984, Vol. 27 Issue 2, p104-118, 15p, 8 Diagrams, 3 Charts

Subject Terms: COMPUTER software development, COMPUTER programming

Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques: A Survey.

Authors: GHAFFARIAN, SEYED MOHAMMAD SHAHRIARI, HAMID REZA

Source: ACM Computing Surveys; Jul2018, Vol. 50 Issue 4, p56:1-56:36, 36p, 1 Diagram, 5 Charts, 1 Graph

Subject Terms: COMPUTER software safety measures, MACHINE learning, ARTIFICIAL intelligence, DATA mining, DATABASE searching

Products of weighted logic programs.

Authors: COHEN, SHAY B. SIMMONS, ROBERT J. SMITH, NOAH A.

Source: Theory & Practice of Logic Programming; 03/01/2011, Vol. 11 Issue 2/3, p263-296, 34p

Subject Terms: LOGIC programming, PROGRAM transformation, NATURAL language processing, ALGORITHMS, MATHEMATICAL optimization, MACHINE learning

How to Reorganize Computational Science and Technologies?

Authors: Il'in, V. P.

Source: Herald of the Russian Academy of Sciences; May2019, Vol. 89 Issue 3, p250-258, 9p

Plant Intelligent Automation and Digital Transformation Volume II : MIS and HW-SW Implementation

Authors: Swapan Basu

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Authors: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet et al.

Source: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Subject Terms: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

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

From Datalog Rules to Efficient Programs with Time and Space Guarantees.

Authors: LIU, YANHONG A. STOLLER, SCOTT D.

Source: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

Subject Terms: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity

High-level specifications for automatically generating parallel code.

Authors: Acosta, Alejandro Almeida, Francisco Peláez, Ignacio

Source: Concurrency & Computation: Practice & Experience; May2013, Vol. 25 Issue 7, p989-1012, 24p, 5 Diagrams, 8 Charts, 3 Graphs

Subject Terms: CODING theory, COMPUTER systems, TECHNICAL specifications, GRAPHICS processing units, POWER Computing computers, COMPUTER architecture, COMPUTER programming

The Complexity of Adding Multitolerance.

Authors: CHEN, JINGSHU EBNENASIR, ALI KULKARNI, SANDEEP

Source: ACM Transactions on Autonomous & Adaptive Systems; Oct2014, Vol. 9 Issue 3, p15-15:33, 33p

Subject Terms: COMPUTATIONAL complexity, FAULT-tolerant computing, COMPUTER programming, POLYNOMIAL time algorithms, PROBLEM solving

Formal Methods: Practice and Experience.

Authors: WOODCOCK, JIM LARSEN, PETER GORM BICARREGUI, JUAN et al.

Source: ACM Computing Surveys; Oct2009, Vol. 41 Issue 4, p19:1-19:36, 36p, 4 Charts, 10 Graphs

Subject Terms: FORMAL methods (Computer science), INDUSTRIAL surveys, SOFTWARE verification, USER-centered system design, SOFTWARE architecture

Abstracts of Current Computer Literature.

Source: IEEE Transactions on Computers; 1969, Vol. C-18 Issue 6, p574-592, 19p

Soviet Cybernetics and Computer Sciencesߞ1960.

Authors: Feigenbaum, Edward A.

Source: IRE Transactions on Electronic Computers; 1961, Vol. EC-10 Issue 4, p759-776, 18p

S

Authors: Kaplan, Steven M.

Source: Wiley Electrical & Electronics Engineering Dictionary; 2004, p676-768, 93p