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 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.  

Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- ontwerpen --- programmeren (informatica) --- programmeertalen --- software engineering --- informatica management --- computernetwerken

Choose an application

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

Mathematical logic --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- algebra --- informatica --- programmeren (informatica) --- wiskunde --- software engineering --- logica

Choose an application

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

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

Mathematical logic. --- Computer logic. --- Software engineering. --- Computer science—Mathematics. --- Programming languages (Electronic computers). --- Computers. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Software Engineering. --- Discrete Mathematics in Computer Science. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices.

Choose an application

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