SLPの位置づけ

SLPは、以下に記載のとおり、仕様記述のモデル規範型に分類されます。要求定義フェーズにおいて、まだはっきりしない「WHAT」（ぼんやり「WHAT」）を、明確で整理された「WHAT」（はっきり「WHAT」）に変換し、設計・実装フェーズに必要な「HOW」につなげます。

SLPの位置づけは、数理論理学者の 岡本圭史氏 の指導によるものです。現在、当社は岡本氏（仙台高等専門学校）とSLPの共同研究をしています。（2014年2月現在）