Výsledky vyhľadávania - 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).

Autori: Porra, Jaana Hirschheim, Rudy Land, Frank a ďalší

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

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

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

Autori: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a ďalší

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

Predmety: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

ABSTRACTS from other ACM Publications.

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

Predmety: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

ABSTRACTS from other ACM Publications.

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

Predmety: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

ABSTRACTS from other ACM Publications.

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

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

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

Design Maintenance Systems.

Autori: Baxter, Ira D.

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

Predmety: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

THE OPERATIONAL VERSUS THE CONVENTIONAL APPROACH TO SOFTWARE DEVELOPMENT.

Autori: Zave, Pamela

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

Predmety: COMPUTER software development, COMPUTER programming

Products of weighted logic programs.

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

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

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

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

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

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

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

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

Autori: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet a ďalší

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

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

CURRICULUM 68.

Autori: Nauarro, Silvio O.

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

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

Korporácia: ASSOCIATION for Computing Machinery

Mitigating Program Security Vulnerabilities: Approaches and Challenges.

Autori: Shahriar, Hossain Zulkernine, Mohammad

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

Predmety: PROGRAMMING languages, COMPUTER security, COMPUTER programming, SOFTWARE engineering, COMPUTER software, COMPUTER science

How to Reorganize Computational Science and Technologies?

Autori: Il'in, V. P.

Zdroj: 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.

Autori: GHAFFARIAN, SEYED MOHAMMAD SHAHRIARI, HAMID REZA

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

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

S

Autori: Kaplan, Steven M.

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

The Complexity of Adding Multitolerance.

Autori: CHEN, JINGSHU EBNENASIR, ALI KULKARNI, SANDEEP

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

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

Formal Methods: Practice and Experience.

Autori: WOODCOCK, JIM LARSEN, PETER GORM BICARREGUI, JUAN a ďalší

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

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

Complexity Results in Revising UNITY Programs.

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

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

Predmety: 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

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

Typ zdroja: eBook.

Predmet: Software engineering, Computer science

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science

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

Autori: Muhammad Faizal A. Ghani Lay Hoon Ang Mohd Sukki Othman a ďalší

Typ zdroja: eBook.

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

Kategórie: EDUCATION / General, ART / General, LANGUAGE STUDY / General, LANGUAGE ARTS & DISCIPLINES / General