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

127件中121-127件目

• 121.　振舞仕様を用いた通信システムの仕様記述法，海野 浩,森 彰,二木厚吉，日本ソフトウエア科学会第16回大会論文集，377-380，1999
• 122.　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
• 123.　Component-based Algebraic Specification and Verification in CafeOBJ，Razvan Diaconescu,Kokichi Futatsugi,Shusaku Iida，Lecture Notes in Computer Science，1708，1644-1663，1999
• 124.　Simply Observable Behavioral Specification，M.Matsumoto and K.Futatsugi，Proceedings of Asia-Pacific Software Engineering Conference'99，460-467，1999
• 125.　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
• 126.　Optimizing term rewriting using discrimination nets with specialization，Kazuhiro Ogata,Shigenori Ioroi,Kokichi Futatsugi，Proc of the 1999 ACM Symposium on Applied Computing，511--518，1999
• 127.　An Operational Semantics of GAEA in CafeOBJ，Hiroshi Ishikawa,Kokichi Futatsugi,Takuo Watanabe，OBJ/CafeOBJ/Maude at Formal Methods '99，213--225，1999.9

[ ≪ 前へ ]

1  2  3  4  5  6  7