Informatik (15 757 Artikel)

AMAST's goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movem...

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc app...

1 -- Introduction.- 2 -- Magmas, algebras and trees.- 3 -- Program schemes.- 4 -- Semantics.- 5 -- Classes of interpretations.- 6 -- Program transformations.

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentall...

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifi...

This book constitutes the proceedings of the 5th International Meeting on Algebraic and Algorithmic Aspects of Differential and Integral Operators, AADIOS 2012, held at the Applications of Computer...

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstrac...

This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. The conference is a ...

Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday

Algebraische Strukturen: Halbgruppen und Monoide - Gruppen - Ringe, Körper und Integritätsbereiche Einführung in die Zahlentheorie: Teilbarkeit, Irreduzibilität und prime Elemente - Teilbarkeit gan...

1. Abstrakte Strukturen.- 2. Gleichungen, Spezifikationen.- 3. Rechnungen in Gleichungssystemen.- 4. Erweiterungen von Gleichungsspezifikationen.- 5. Finale Semantik.- 6. Behandlung von Ausnahmezus...

Gruppen, Ringe, Körper, Primzahltests, Verschlüsselung

This book systematically presents the underlying mathematical structures and foundations of feature orientation in the fields of software development. New algebras are proposed and thorough investi...

Selected Results and Surveys

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully r...