二木　厚吉 （フタツギ　コウキチ）　特任教授
ソフトウェア検証研究センター

127件中101-120件目

• 101.　A LOTOS Simulator in OBJ，Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi，in Joseph Goguen and Grant Malcolm, editors，Software Engineering with OBJ，Kluwer Academic Publishers，pp. 363-398，2000
• 102.　Executable Formal Specification Language as a Tool for checking OCL，Kazuki Munakata, Shusaku Iida, Kokichi Futatsugi，OOPSLA 2000 workshop on Refactoring the UML (pUML Workshop)，October，2000
• 103.　振舞仕様に基づく仕様コンポーネント化技術の発展可能ソフトウェアへの応用，飯田　周作，二木　厚吉，コンピュータソフトウェア，Vol.18，No.0，pp.30-45，2001
• 104.　CafeOBJ Jewels in K.Futatsugi, A.T.Nakagawa, T.Tamai, editors，Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida，CAFE: An Industiral-Strength Algebraic Formal Method，Elsevier，pp.33-60，2000
• 105.　Introducing OBJ in Joseph Goguen and Grant Malcolm, editors，Joseh Goguen, Timoth Winkler, Jose Meseguer, Kokichi Futatsugi, Jean-Perre Jouannaud，Software Engineering with OBJ，Kluwer Academic Publishers，pp.3 -167，2000
• 106.　形式仕様を用いたシステムの非機能的性質記述の試み −コンポーネントに基づくソフトウェア開発への応用−，飯田　周作，二木　厚吉，2000年ソフトウェアシンポジウム会議録，ソフトウェア技術者協会，pp.23-30，June，2000
• 107.　Behavioural Coherence in Object-Oriented Algebraic Specification，Razvan Diaconescu and Kokichi Futatsugi，Journal of Universal Computer Science，Vol.6, No.1，pp.74-96，2000
• 108.　Constructing a Graphics System with OBJ2: A Practical Guide in Joseph Goguen and Grant Malcolm, editors，Ataru Nakagawa and Kokichi Futatsugi，Software Engineering with OBJ，Kluwer Academic Publishers，pp. 193-248，2000
• 109.　Highly Reliable Component-Based Software Development by using Algebraic Behavioral Specification，Michihiro Matsumoto, Kokichi Futatsugi，Proceedings of ICFEM'2000，IEEE Press，pp.35-43，2000
• 110.　Specification and verification of a single-track railroad signaling in CafeOBJ，Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi，Proceedings of 2000 International Technical Conference on Circuits/Systems,Computers and Communications (ITC-CSCC 2000)，pp.268--273，July,2000
• 111.　Component-based Algebraic Specification and Verification in CafeOBJ，Razvan Diaconescu,Kokichi Futatsugi,Shusaku Iida，Lecture Notes in Computer Science，1708，1644-1663，1999
• 112.　A Comonent-based Algebraic Specification of ODP Trading Function and the Interactive Browsing Environment，Chiyo Matsumiya,Shusaku Iida,Kokichi Futatsugi，OBJ/CafeOBJ/Maude at Formal Methods '99，227-241，1999
• 113.　Object composition and refinement by using non-observable projection operators: A case study of the automated teller machine system，M.Matsumoto and K.Futatsugi，OBJ/CafeOBJ/Maude at Formal Methods '99，133-157，1999.9
• 114.　Simply Observable Behavioral Specification，M.Matsumoto and K.Futatsugi，Proceedings of Asia-Pacific Software Engineering Conference'99，460-467，1999
• 115.　振舞仕様を用いた通信システムの仕様記述法，海野 浩,森 彰,二木厚吉，日本ソフトウエア科学会第16回大会論文集，377-380，1999
• 116.　振舞意味論によるオブジェクト階層構造の記述と詳細化検証，松本充広, 二木厚吉，FOSE'99論文集，132-139，1999
• 117.　振舞仕様による通信処理システムの記述法について，海野浩,森彰,二木厚吉，日本ソフトウェア科学会FOSE'99，172-179，1999
• 118.　Verifying Behavioural Specifications in CafeOBJ Environment，Akira Mori,Kokichi Futatsugi，Lecture Notes in Computer Science，1709，1625-1643，1999
• 119.　A Case Study of Algebraic Specification for Communication Processing Systems，H.Unno,A.Mori,K.Futatsugi，Proceedings of the ISFST-99，87-92，1999
• 120.　項書換え抽象機械{TRAM}の設計と実装，五百蔵重典, 緒方和博, 二木厚吉，電子情報通信学会論文誌 D-I，J83-D-I，2，255-263，2000.3

[ ≪ 前へ ]

1  2  3  4  5  6  7

[ 次へ ≫ ]