Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019. The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching.

Computational complexity. --- Computer software. --- Computer science. --- Software engineering. --- Data structures (Computer scienc. --- Discrete Mathematics in Computer Science. --- Algorithm Analysis and Problem Complexity. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Programming Techniques. --- Data Structures. --- Data structures (Computer science) --- Computer software engineering --- Engineering --- Informatics --- Science --- Software, Computer --- Computer systems --- Complexity, Computational --- Electronic data processing --- Machine theory --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Graph theory --- Computer science --- Data processing --- Graphs, Theory of --- Theory of graphs --- Combinatorial analysis --- Topology --- Extremal problems --- Computer science—Mathematics. --- Algorithms. --- Programming languages (Electronic computers). --- Computer programming. --- Data structures (Computer science). --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Algorism --- Algebra --- Arithmetic --- Programming --- Foundations --- Discrete mathematics. --- Compilers (Computer programs). --- Artificial intelligence—Data processing. --- Compilers and Interpreters. --- Data Science. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.

Computer science. --- Logic design. --- Architecture, Computer. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Management information systems. --- Computer Science. --- Software Engineering. --- Operating Systems. --- Logic Design. --- Management of Computing and Information Systems. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Computer operating systems --- Computers --- Disk operating systems --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Computer software engineering --- Architecture, Computer --- Design, Logic --- Design of logic systems --- Informatics --- Operating systems --- Systems software --- Sociotechnical systems --- Information resources management --- Management --- Electronic data processing --- Languages, Artificial --- Engineering --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Science --- Communication systems --- Information Systems. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Model-driven software architecture --- MDA (Model-driven software architecture) --- Computer software --- Software architecture --- Development