InfoQ ホームページ ニュース
-
形式的手法を用いた正当性立証可能なソフトウェアの開発
ソフトウェアプログラム内の中核的なコミュニケーションと状態管理が論理的に100%正しいことを証明する手段として，コンピュータチェックモデルを利用する方法がある。同じようなモデルは，100%正確なソースコードの作成にも応用できる。このような形式的手法を利用することにより，市場提供のためのコストと時間を削減し，より信頼性の高いソフトウェア製品の提供が可能になる。
-
AppleがSwiftをオープンソース化
WWDC 2015でAppleは、Swift 2.0をパーミッシブライセンスでオープンソースにすると発表した。Swiftは昨年のWWDCでリリースされた言語だ。また、Linuxでも標準ライブラリとコンパイラが動作するようにする。さらに、開発者プログラムを簡素化して、開発者が同じメンバシップでiOSとOSXとウォッチOSのアプリケーションの開発ができるようにした。
-
-
-
-
-
Tabris.js: JavaScriptでネイティブモバイルアプリを作る
Tabris.jsはネイティブのiOSとAndoroidアプリを完全にJavaScriptで開発するためのオープンソースモバイルフレームワークだ。EclipseSourceによれば、高性能、高速な開発サイクルを実現し、Cordovaのようなサードパーティのプラグインをサポートする。InfoQはこのプロジェクトのリーダであるHolger Staudacher氏に話を聞いた。
-
Rustが製品開発可能な安定版に到達
Mozilla Researchから始まったプログラム言語Rustが，1.0のマイルストンに到達した。開発者がソフトウェア開発に着手可能な安定した基盤と，Rustプロジェクトチームによる"安定性の保証"が提供されている。
-
アジリティをサポートするための人材管理プラクティス
企業のアジリティ移行を指導する組織改革エージェントのDavid Dame氏は，企業規模拡大に関する活動のアジリティに関して，人材管理のプラクティスの面から説明する。
-
Red Hat Linuxの重大なバグがHaswellベースのサーバに影響
Red HatベースのLinuxディストリビューションのバージョン6.6.を使用中のユーザと管理者は，できるだけ早く，システムのバージョンアップを計画する必要がある。システムのデッドロックを発生させる，重大なバグがあるからだ。
-
アジャイル，DevOps，自社製品の社内利用
DBmaestro共同創設者でCTOのYaniv Yehuda氏にインタビューした。彼らがアジャイル開発をどのように実行し，DevOpsを利用しているのか，継続的デリバリや困難だと言われるアジャイルプラクティスをどのように実践しているのか，さらにはアジャイルやDevOpsプラクティスを使うことによって，どのようなメリットを得られているのだろうか。
-
IODAアーキテクチャについて
Ralf Westphal氏によると、レイヤードアーキテクチャ、ヘキサゴナルアーキテクチャ、クリーンアーキテクチャといったアーキテクチャパターンはよく似ていて、アプリケーションの構造について非常に大雑把なイメージを与えてくれるという。Westphal氏はアーキテクチャを記述する別の方法を求めて、IODAアーキテクチャというスタイルを定義した。これはオペレーション、データ、インテグレーションという3つのフォーマルな責務で構築される。
-
Weaveworksがコンテナとマイクロサービス監視ツール‘Weave Scope’をリリース
Dockerの仮想ネットワークソリューションであるWeave を開発したWeaveworksが，Weave Scopeのプレアルファ版をリリースした。開発者をおもな対象とした，オープンソースのコンテナ監視ツールである。Weave Scopeはコンテナのマップを自動的に生成する。提供される情報によって技術者は，アプリケーション監視と管理，デプロイメントや運用上の判断を行うことが可能になる。
-
組織的負債に対処する
ニューヨーク大学で講師を務めるSteve Blank氏はブログで、技術的負債に似た概念である組織的負債について書いている。成長する組織は組織的負債を認識し解消する方法を理解する必要がある、と氏はいう。
-