InfoQ ホームページ アーティクル
-
イベントレポート：「Coqチュートリアル#1」
去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。
-
/articles/neal-gafter-on-java/ja/smallimage/images_han1.jpg)
Javaの未来についてのNeal Gafter氏とのディスカッション
Java SE 4と5の言語拡張の設計と実装を行った人物であり、現在はMicrosoftで.NETプラットフォームの言語に関する仕事をしている、MicrosoftのNeal Fafter氏は、OracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#は比較について話をしてくれた。
-
/articles/google-dart/ja/smallimage/article icon dart.jpg)
Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate
GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式
-
CSPベースのモデル検査ツール「Process Analysis Toolkit」
本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の１つとして注目されている手法である。
-
Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~
前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。
-
書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介
Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』（「Alloy本」）を紹介する。
-
Windows デバイスで開発するタッチユーザーインターフェイス
スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。また、9月に新しいWindows である Windows 8 が発表され、その環境が” touch first ” となり、圧倒的多数のPCにおいても検討が避けられない状況となっている。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。
-
/articles/rest-soap/ja/smallimage/article icon.jpg)
SOAP から REST へ - その方法と意義
REST API の数はここ５年間で急激に増加しています。しかしそこには実装上の矛盾が数多く存在し，多数の開発者がその原因である RESTful アーキテクチャ定義に合意点を見出すための努力を続けています。この記事では iPaaS (Integration Platform as a Service) である Mule iON が，公開 API と API マッシュアップに一貫性を実現している方法について説明します。
-
TFSによるアジャイル開発の実践
スクラムを用いた、実際のアジャイル開発において、TFSの豊富な機能は最初から最後まで、さまざまな形で活用されます。この記事では、TFSの実際のプロジェクトにおいて、行われるタスクを順に取り上げ、その中でTFSの各機能がどのように使われるかを説明します。
-
TFSの概要とアジャイル開発
Team Foundation Server (TFS) は、アジャイル開発における自動化の要請に応えるための総合的なソフトウェア開発支援システムです。TFSでは、ソースコードやテスト結果の情報と、ストーリーやタスクの情報、その他アジャイル開発で必要とされる情報を1つの統合化されたリポジトリで管理することによって、必要なデータを1か所からすぐに取り出せるという、他の開発支援ツールにはない特徴を備えています。
-
Jenkinsによる継続的インテグレーションのススメ(3) ~Jenkinsで分散ビルド~
前回は、Jenkinsを使い始める部分を紹介しました。今回は、日本語での情報が少ない分散ビルドの機能について紹介します。
-
/articles/Continous-Delivery-Patterns/ja/smallimage/small image 1.jpg)
継続的デリバリのパターン
あらゆる場合に有効な継続的デリバリのソリューションはありません。チームの人数の構成はどのような選択肢を取りうるか、どのようなトレードオフがあるかに大きく影響を与えます。スタッフエディタであるJonathan Allen氏が自身の15年の経験の中で見てきたパターンのいくつかを紹介します。