プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。
保証の無い手法.
保証が無いものを「仕様」と言えるかどうかという根本的な疑問点はあるが、ここまでで述べたような形式的な記述と検証というような手法でないものについても、類似したものとして扱われていることがある。
仕様記述言語一覧.
（その他の記述言語）
STNet
概要.
SI（情報システム開発）事業からデータセンターなどのプラットフォーム事業、さらには法人・個人向け通信事業まで、異なる分野のサービスを幅広く事業展開している。事業展開は四国内のみにとどまらず、東京にも営業部門、システム開発部門をおいて、主に四国外の企業向けの営業や情報システム開発を行っている。
事業概要.
法人向け通信事業.
個人向け通信事業.
あんしん電力.
システム開発事業.
四国電力向けの業務システム開発・運用をはじめとして、法人向け業務用ソフトウェアの開発受託やERPソリューションの提供などを行っている。
プラットフォーム事業.
同社は、システム開発事業と通信事業の中間領域で、LANやデータセンターなどの利用基盤構築、セキュリティやクラウドサービスなど、業務システムや通信サービスを利用するためのIT業務基盤を提供する事業を「プラットフォーム事業」と呼んでいる。
STNet中期戦略.
その一方、社会・生活・産業におけるデジタル化の進展に伴いデータ活用が飛躍的に拡大・発展し、ICT（情報通信技術）が「データインフラ」として重要な役割を担う「データ駆動社会」の到来が予見されており、なかでも通信市場では、通信と放送の融合や上位レイヤー（ソフトウェア）と通信役務の一体化が進展するなど、業界構造そのものの変化が進んでいる。
概要.
サービスエリア.
提携ケーブルテレビ会社.
ノヴゴロド州
第二次世界大戦で特に男性の人口が大きく減少したことから、現在に至るまで欧州ロシアで最小の人口密度となっている。少子化や転出により、人口減少が見られる。
標準時.
産業.