Informatik (15 755 Artikel)

Algorithms, Exercises, and Implementations

This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environm...

Topics and features: presents a brief history of software quality and its influential pioneers, as well as a discussion of the various software lifecycles used in software development; describes th...

From Model Checking to Annotation Checking

From Model Checking to Annotation Checking

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by comput...

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by comput...

With Isabelle/HOL

With Isabelle/HOL

This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great...

is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pionee...

This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996.The volume presents 31 revised full papers selected ...

Ugo Montanari in a Nutshell.- Ugo Montanari in a Nutshell.- Graph Transformation.- Ugo Montanari and Graph Transformation.- Unfolding Graph Transformation Systems: Theory and Applications to Verifi...

Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volu...