Jump to main content

yr 〜
yr

Search results 8

Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System

Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System
Digital文書・図像類
Aoki, Toshiaki, Satoh, Makoto, Tani, Mitsuhiro, Yatake, Kenro, Kishi, Tomoji北陸先端科学技術大学院大学先端科学技術研究科情報科学系2016-05-23Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology)IS-RR-2016-002p.1-11
Other Libraries in Japan
  • Author HeadingAoki, Toshiaki Satoh, Makoto Tani, Mitsuhiro Yatake, Kenro Kishi, Tomoji

Studies on software architectural design

Studies on software architectural design
Paper博士論文
Tomoji Kishi [著][Tomoji Kishi][2002]<UT51-2008-D787>
National Diet LibraryOther Libraries in Japan

ソフトウェア工学

ソフトウェア工学
PaperDigital図書
岸知二, 野田夏子 著近代科学社2016.7<M159-L959>
National Diet LibraryOther Libraries in Japan

情報システムデザイン : 体験で学ぶシステムライフサイクルの実務

情報システムデザイン : 体験で学ぶシステムライフサイクルの実務
Paper図書
高橋真吾, 衣川功一, 野中誠, 岸知二, 野村佳秀 著共立出版2021.1<DH221-M184>
National Diet LibraryOther Libraries in Japan

オブジェクト指向最前線 : 情報処理学会OO'97シンポジウム

オブジェクト指向最前線 : 情報処理学会OO'97シンポジウム
Paper図書
岸知二, 中所武司 編朝倉書店1997.6<M159-G1400>
National Diet LibraryOther Libraries in Japan

ソフトウェアアーキテクチャ : アーキテクチャとドメイン指向トラック (ソフトウェアテクノロジーシリーズ ; 4)

ソフトウェアアーキテクチャ : アーキテクチャとドメイン指向トラック (ソフトウェアテクノロジーシリーズ ; 4)
Paper図書
岸知二, 野田夏子, 深澤良彰 著共立出版2005.6<M159-H1173>
National Diet LibraryOther Libraries in Japan

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2009

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2009
Paper図書
鵜林尚靖, 岸知二 編近代科学社2009.9<M159-J655>
National Diet LibraryOther Libraries in Japan

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2007 14 (レクチャーノート/ソフトウェア学 ; 33)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2007 14 (レクチャーノート/ソフトウェア学 ; 33)
Paper図書
岸知二, 野田夏子 編近代科学社2007.11<M159-H2006>
National Diet LibraryOther Libraries in Japan

Reached to the end of result.

RSS