|
丸善のおすすめ度
抽象によるソフトウェア設計～Alloyではじめる形式手法～
Daniel Jackson
著
中島 震
監修
今井 健男,
酒井 政裕,
遠藤 侑介,
片岡 欣夫
他
発行年月 |
2011年07月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
16p,357p |
|---|
大きさ |
21cm |
|---|
|
ジャンル |
和書／理工学／情報学／情報システム・ソフトウェア |
|---|
|
|
ISBN |
9784274068584 |
|---|
|
商品コード |
1003335598 |
|---|
NDC分類 |
007.63 |
|---|
|
|
本の性格 |
実務向け |
|---|
|
新刊案内掲載月 |
2011年08月3週 |
|---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1003335598 |
|---|
著者紹介
Daniel Jackson（著者）：マサチューセッツ工科大学電気工学・コンピュータ科学部兼同大学コンピュータ科学・人工知能研究所教授。同研究所のソフトウェア・デザイン・グループを率いる。
内容
対象ソフトウェアの本質的な姿をいかにして把握し表現するか。言語Alloyと自動分析ツールAlloy Analyzerの技術的な背景を、基礎となるロジックや言語仕様を含みながら要領よく解説する。練習問題も収録。
