1

私はいくつかの研究の最中であり、役立つ多くの文献を見つけることができませんでした。2つの形式手法のプラットフォーム依存性を比較したいと思います。代数的仕様とオブジェクト指向。彼らはどの言語を使用しますか？

誰かがこれについて何か知っているか、私を正しい方向に向けることができますか？ありがとう

4

3 に答える 3

1

私の会社はそのようなシステムを構築し、それを産業慣行として使用しているので、「代数的仕様」の意味を知っています（GIYF： http: //en.wikipedia.org/wiki/Algebraic_specificationを参照）。「言語」とは、抽象データ型、関数の署名、および関数の機能を説明する公理の言語であり、ADT、署名、および公理は、より複雑な代数を形成するために組み合わせることができるパラメーター化された「代数」にパッケージ化されることがよくあります。

「オブジェクト指向」（仕様）とはどういう意味かわかりません。ほとんどのオブジェクト指向の「設計」は、クラス（データ型を暗黙的に表す）と署名のセットであり、セマンティクスは付加されていません。私はそれらを「仕様」とはほとんど呼びません。むしろ、それらは「スケッチ」です。

于 2012-03-08T16:50:59.263 に答える
0

申し訳ありませんが、仕様は、定義上、プラットフォームに依存しません。オブジェクト指向モデリングをサポートする仕様言語を探しているなら、VDM++がぴったりだと思います。

于 2012-07-25T04:08:07.103 に答える
0

この論文はあなたを助けるかもしれないと思います。オンライン（グーグル）で入手できますが、公開されているかどうかはわかりません。著者のDBLPにはそれについて何もありません。

「オブジェクト指向形式手法の比較」、Nicolas Guel、Olivier Biberstein、Didier Buchs、Ercument Canver、Marie-Claude Gaudel、Friedrich von Henke、Detlef Schwier

于 2013-02-18T12:32:30.120 に答える