The site menu is from hereThe head of this page

This is an explanation of shortcut keys. To link or execute a function, press any of the following combinations of shortcut keys and then press Enter.  To listen to an explanation of shortcut keys, press Alt and 0.  To display the top page, press Alt and 1.  To login, press Alt and 2.  To display the Simple Search page, press Alt and 3.  To display the Advanced Search page, press Alt and 4.  To display the Search page for persons with disabilities, press Alt and 5.  To sort search results, press Alt and 6.  To display the NDL homepage, press Alt and 7.  To refine search results, press Alt and 8.  This ends the explanation of shortcut keys.

The navigation is from here

The navigation is to here

A body is from here

Format 記事・論文


藤倉 俊幸


Title 形式手法による組み込みソフトウェア開発(第5回)ステート・マシンによる仕様の分割とデッドロックの排除
Author 藤倉 俊幸
Place of Publication (Country Code) JP
Year of Publication(W3CDTF) 2012-11
Subject Heading(Keyword) 形式手法
Subject Heading(Keyword) クラス設計
Subject Heading(Keyword) LTSA
Subject Heading(Keyword) ステート・マシン
Target Audience 一般
Material Type 記事・論文
is part of (URI Form)
is part of (ISSN Form) 03879569
is part of (ISSN-L Form) 03879569
Magazine-which-carries-the-article name インターフェース = Interface
Printing volume 38
Printing number 11
Printing through number 425
Printing page 160-166
Language(ISO639-2 Form) jpn : 日本語

A body is to here

Copyright © 2012 National Diet Library. All Rights Reserved.

Foot is to here