Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung

格式方法：软件在sicherheitskritischen Bereichen bedeutsam。北京软件工程有限公司（betwareentwicklunsprojekten werden of f<s:1> verschiedene Zwecke mehrere Sprachen and Werkzeuge gleichzetitig in die entwicklunebracht）。Um die Wirksamkeit vielfältiger Konzepte und Methoden innerhalb einer Systementwicklung zu gewährleisten, mssen sie semantisch verträglich sein。通用代数规范语言（Common algeticspecification Language，简称CASL）是一种新型的国际标准，是一种新型的通用代数规范语言，是一种新型的通用代数规范语言，是一种新型的通用代数规范语言。本文介绍了一种基于异构技术的异构化技术的实现方法。大足solsolen存在- ende分析-和Beweiswerkzeuge整合和beweisassenden管理整体。基于逻辑图的模具语义基<e:1>与方法与工作原理的异质组合。

Formale Methoden sind für die Entwicklung korrekter Software insbesondere in sicherheitskritischen Bereichen bedeutsam. Bei Softwareentwicklungsprojekten werden oft für verschiedene Zwecke mehrere Sprachen und Werkzeuge gleichzeitig in die Entwicklung eingebracht. Um die Wirksamkeit vielfältiger Konzepte und Methoden innerhalb einer Systementwicklung zu gewährleisten, müssen sie semantisch verträglich sein. Basierend auf der neuen international standardisierten Spezifikationssprache CASL (Common Algebraic Specification Language) wurde im ersten Teil des Projekts ein Graph von Logiken entwickelt, der Teilsprachen und Erweiterungen von CASL sowie exemplarisch andere Spezifikationssprachen umfasst, mit denen bereits erfolgreich Anwendungen entwickelt wurden (CSP, OBJ, Larch, Z), siehe auch den beigefügten Zwischenbericht. Im zweiten Teil soll es nun um die Implementierung einer darauf basierenden heterogenen Spezifikationssprache gehen. Dazu sollen existierende Analyse- und Beweiswerkzeuge integriert und ein umfassenden Beweismanagement entwickelt werden. Der Logik-Graph ist so die semantische Basis für die heterogene Kombination von Methoden und Werkzeugen.