日本ソフトウェア科学会大会論文集

• 資料種別: 雑誌
• タイトル: 日本ソフトウェア科学会大会論文集
• タイトルよみ: ニホン ソフトウェア カガッカイ タイカイ ロンブンシュウ
• 巻次・部編番号: 31:2014.9.7-2014.9.10
• 著者・編者: 日本ソフトウェア科学会 編
• 並列タイトル著者・編者: Japan Society for Software Science and Technology
• 著者標目: 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
• 出版事項: [東京] : 日本ソフトウェア科学会
• 出版年月日等: 2014
• 出版年（W3CDTF）: 2014
• 刊行巻次・年月次: 1回 (1984)-第36回 (2019年8月27/29日)
• 大きさ: 30cm
• 並列タイトル等: 日本ソフトウェア科学会大会講演論文集 ニホン ソフトウェア カガッカイ タイカイ コウエン ロンブンシュウ; Conference proceedings
• ISSN（掲載誌）: 0913-5391
• ISSN-L（掲載誌）: 0913-5391
• 出版地（国名コード）: JP
• 本文の言語コード: jpn; eng
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• NDLC: ZM13
• 一般注記: 本タイトル等は最新号による; 本タイトルは「日本ソフトウェア科学会大会講演論文集」のこともあり; 3回から6回の並列タイトル: Conference proceedings, Japan Society for Software Science and Technology; 1回から6回, 32回から第36回までの編者: 日本ソフトウェア科学会
• 所蔵機関: 国立国会図書館
• 請求記号: Z14-1245
• 別の記録形式: 他媒体版 : 日本ソフトウェア科学会大会講演論文集 [電子資料] (ISSN:1348-0901); https://ndlsearch.ndl.go.jp/books/R100000002-I000003980312
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000000050201; http://id.ndl.go.jp/bib/000000050201
• 目録規則: 日本目録規則1987年版改訂版

目次

形式言語CSP#によるSysMLステートマシン図の形式化

スマホ・アプリの電力消費振る舞いと検査性質の表現

協調的リアクティブシステムの合成手法

情報制御システムにおける段階的検査法を用いたモジュラ検証

女性IT技術者の育成を目指して : enPiT女性部会WiTの活動を中心に