システムの網羅的なテストができるモデル検査のコンテスト、MoCCon振り返り

-[Vol.557]-------------------------------------------------------
このメールはCodeZineで登録された方にお送りしています。
配信の停止は文末をご覧ください。
-----------------------------------------------------------------

[0]目次
----------
[1]新着記事一覧
[2]今週のニュース一覧
[3]人気記事ランキング
[4]コミュニティ・イベント
[5]リクエスト＆投稿
[6]配信停止の方法

CodeZineのTwitterアカウント、Facebookページも公開しています。
* Twitter   => https://twitter.com/codezine
* Facebook1 => 
* Facebook2 => 

━━━━━━━━━━━━━━━━━━━━
[1] 新着記事一覧：5本（5/17〜5/24）
━━━━━━━━━━━━━━━━━━━━
こんにちは、CodeZine編集部です。今週のオススメ記事はこちらです。

★システムの網羅的なテストができるモデル検査
　実課題を扱ったモデル検査のコンテスト「MoCCon」を振り返る
　社会人エンジニア向けの教育プログラム「トップエスイー」での講義や制作結果
などからエンジニアの皆さんに対して有用な情報をお届けするコーナーです。今回
は、形式手法の1つであるモデル検査について説明します。モデル検査はモデル
チェッキングとも呼ばれ、形式手法の中でもツールによる自動化が比較的進んでお
り、数学や論理学に詳しくない人でもモデル作成や検査の処理に取り組みやすく、
理解しやすい技術です。トップエスイーでは、その有用性に着目してモデル検査に
関する講義や演習を充実させるなど、教育に力を入れています。

http://codezine.jp/article/detail/10164?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

◆SQLで基本のデータ解析に挑戦する
　本連載ではビジネスデータ解析でデータベースから情報を取得して活用する必要
がある方を対象に、「クロス集計」「デシル分析」「バスケット分析」「時系列分
析」といったビジネスデータ解析でよく使われる実践的なSQL例を示し、解説しま
す。今回は、その中からクロス集計とデシル分析を取り上げます。

http://codezine.jp/article/detail/10154?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

◆OSSフレームワーク「dataforms.jar」でサンプルプログラムを構築する（2）
　本記事ではMVCそれぞれの機能を1つのjarファイルにまとめた、中小規模Webアプ
リ開発向けのOSSフレームワーク「dataforms.jar」を使い、掲示板のサンプルアプ
リケーションを構築します。前回は、テーブルとフィールドクラスの作成、ページ
とフォームクラスの作成、ページクラスからのHTML作成を行いました。今回は検索
条件の調整、添付ファイルテーブルの操作機能を追加します。

http://codezine.jp/article/detail/10043?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

◆ストレスなく開発できるLINE BOTはビジネスの常識に
　『LINE BOTを作ろう！』立花さんに訊く
　CodeZineで人気を集めた連載「日本一わかりやすいLINE Bot開発講座」をまとめ
て加筆した『LINE BOTを作ろう！』が5月11日に刊行となりました。早くからLINE 
BOTに注目していた著者の立花翔さん（GMOインターネット）は、今後必ずこの技術
が必要になると断言。特にアプリ開発者にとってはストレスフリーで開発できるこ
とが魅力だといいます。

http://codezine.jp/article/detail/10147?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

◆iPhoneからBLEで簡単制御！ konashi 2.0とJavaScriptで始める電子工作
　本連載では、IoTハックに興味のある人に向けて、ハッカブルなIoTデバイスを紹
介していきます。今回はハードウェアの設定なしにJavaScriptで制御できる「kona
shi 2.0」を紹介します。

http://codezine.jp/article/detail/10111?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

◆【こちらも注目！】EnterpriseZineの新着記事

・デスマに射す、希望の光
　―『ITは本当に世界をより良くするのか？』発刊記念トーク＠デブサミ2017
http://enterprisezine.jp/dbonline/detail/9287?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

・ランサムウェア「WannaCry」騒動が残した教訓
http://enterprisezine.jp/article/detail/9314?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

・専門知識がなくても大丈夫、
　『Windowsでできる小さな会社のLAN構築・運用ガイド 第3版』刊行
http://enterprisezine.jp/article/detail/9189?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

━━━━━━━━━━━━━━━━━━━━
[2] 新着ニュース：2本（5/17〜5/24）
━━━━━━━━━━━━━━━━━━━━
・エクセルソフト、AcroForm機能やPDFへの日本語OCR出力に対応した
.NET用の画像処理ライブラリ「ImageGear for .NET v23」を発売（05-19）
http://codezine.jp/article/detail/10196?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

・Google、Androidの開発言語としてKotlinを公式にサポート（05-18）
http://codezine.jp/article/detail/10194?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

━━━━━━━━━━━━━━━━━━━━
[3] 人気ランキング（5/17〜5/23）
━━━━━━━━━━━━━━━━━━━━
＜記事＞

●1位 システムの網羅的なテストができるモデル検査
　　　実課題を扱ったモデル検査のコンテスト「MoCCon」を振り返る
http://codezine.jp/article/detail/10164?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

●2位 OSSフレームワーク「dataforms.jar」で
　　　サンプルプログラムを構築する（2）
http://codezine.jp/article/detail/10043?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

●3位 ストレスなく開発できるLINE BOTはビジネスの常識に
　　　『LINE BOTを作ろう！』立花さんに訊く
http://codezine.jp/article/detail/10147?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

●4位 iOS／Androidアプリの開発を支援する
　　　「Visual Studio Mobile Center （preview）」を使って見よう
http://codezine.jp/article/detail/10095?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

●5位 Visual C++ 2017で一足お先にfilesystem
http://codezine.jp/article/detail/10076?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524


＜ニュース＞

●1位 Google、Androidの開発言語としてKotlinを公式にサポート
http://codezine.jp/article/detail/10194?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

●2位 エクセルソフト、Web APIテストツール「Ready! API 2.0」を発売、ダッシ
ュボードの刷新やJava 8サポートの追加
http://codezine.jp/article/detail/10189?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

●3位 エクセルソフト、AcroForm機能やPDFへの日本語OCR出力に対応した.NET用の
画像処理ライブラリ「ImageGear for .NET v23」を発売
http://codezine.jp/article/detail/10196?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

●4位 『ルビィのぼうけん』の著者を迎えた教員向けセミナーを品川で開催
http://codezine.jp/article/detail/10187?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

●5位 グレープシティ、業務アプリ向けコンポーネントスイート「ComponentOne S
tudio 2017J v1」を発売、ガントチャートや1レコード複数行表示グリッドを追加
http://codezine.jp/article/detail/10188?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524


━━━━━━━━━━━━━━━━━━━━
[4] コミュニティ・イベント
━━━━━━━━━━━━━━━━━━━━

・CodeZineでは、コミュニティコーナーに登録されたイベントを
　メルマガでお知らせしています。ぜひ、ご活用ください！
http://codezine.jp/community/?utm_source=cz-news&utm_medium=email&utm_campaign=cz-news20170524

━━━━━━━━━━━━━━━━━━━━
[5] リクエスト＆投稿
━━━━━━━━━━━━━━━━━━━━
「こんな記事が読んでみたい！」というリクエストがありましたら、
編集部までお気軽にご応募ください。
また、投稿も随時受け付けています。
その他のご要望にも柔軟に対応してまいりますので、どしどしお寄せください。

・サポート用アドレスはこちら


・投稿用アドレスはこちら


━━━━━━━━━━━━━━━━━━━━
[6] 配信停止の方法
━━━━━━━━━━━━━━━━━━━━
バックナンバーはこちら。 http://codezine.jp/ml/backnumber/

こちらのページの「CodeZine News」の枠にアドレスを入れ解除してください。
https://sems.shoeisha.com/users/ml

・ニュースの内容は予告なしに変更される場合があります。
・記事中の会社名、製品名は、弊社および各社の登録商標、商標です。
・本メールへのお問い合わせについては、
  広告出稿については、 までご連絡ください。
────────────────────
発行:株式会社翔泳社 CodeZine編集部
(c)2005-2017 SHOEISHA. All rights reserved.