Senshu University · Faculty of Network and Information · 教授

Research keywords形式手法・ソフトウェア工学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 「CafeOBJによる分散システムの形式仕様作成法」
• 「Concurrent Object Composition in CafeOBJ」
• MDD and Formal Methods
• 「Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling」

• 形式手法を用いたソフトウェアコンポーネントに基づくソフトウェア開発法
• 形式手法を用いたソフトウェアコンポーネントに基づくソフトウェア開発法 個人研究 （キーワード：形式手法,コンポーネント,ソフトウェア工学） 生田キャンパス10号館6階10638研究課題・受託研究・科研費

• Official profile