Search Results - automation programming—program transformation additional key words 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

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

ABSTRACTS from other ACM Publications.

Source: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Subject Terms: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

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

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

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

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

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

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

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

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

S

Authors: Kaplan, Steven M.

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

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

Complexity Results in Revising UNITY Programs.

Authors: BONAKDARPOUR, BORZOO EBNENASIR, ALI KULKARNI, SANDEEP S.

Source: ACM Transactions on Autonomous & Adaptive Systems; 2009, Vol. 4 Issue 1, p5-5.28, 28p, 1 Diagram

Subject Terms: REAL-time programming, ALGORITHMS, POLYNOMIALS, FUNCTION spaces, COMPUTER programming

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Authors: Pedro Lopez-Garcia John P. Gallagher Roberto Giacobazzi

Resource Type: eBook.

Subjects: Software engineering, Computer science

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

Proceedings of the 2024 4th International Conference on Education, Language and Art (ICELA 2024)

Authors: Muhammad Faizal A. Ghani Lay Hoon Ang Mohd Sukki Othman et al.

Resource Type: eBook.

Subjects: Language and languages--Study and teaching--Congresses, Education--Congresses

Categories: EDUCATION / General, ART / General, LANGUAGE STUDY / General, LANGUAGE ARTS & DISCIPLINES / General