多くの学生はサイボウズ製品を使ったことがない上に、詳しくも知らないと思います。僕がどういう風にサイボウズ製品を調べたかを記します。

本記事はVDM++の型の組み合わせによってできる型、合成型(Compound Types)の中でも、集合(Set)と配列(Sequence)の簡単なまとめです。

VDM++の型の中でも基本となる、基本データ型(Basic Data Types)の簡単なまとめ