InfoQ ホームページ プログラミング に関するすべてのコンテンツ
-
総保有コストを使った技術的負債の管理
総保有コスト(TCO)は、投資の意思決定やファイナンスの分析で使われる。これをソフトウエアに適用すると、初期の開発コストや、製品が提供停止になるまでのメンテナンスのコストをカバーできる。TCOは設計上の決定や技術的負債の管理をサポートする。
-
Chrome 44ベータはES6機能と通知の改善を提供する
Googleは、Chrome 44ベータをリリースした: 新しいES6機能と改良された通知機能を含むアップデートである。OSの最新のベータリリースでは、計算されたプロパティ、オブジェクトリテラルとクラスリテラルのプロパティ名に式が可能になった。
-
形式的手法を用いた正当性立証可能なソフトウェアの開発
ソフトウェアプログラム内の中核的なコミュニケーションと状態管理が論理的に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プロジェクトチームによる"安定性の保証"が提供されている。
-
-
MozillaはFirefox Developer EditionのCSSアニメーションインスペクタをメジャーアップデートリリースした
Mozillaは、Firefox Developer Edition 40をリリースにおいて、CSSアニメーションインスペクタをメジャーアップデートした。FirefoxのエンジニアリングのディレクターであるDave Camp氏は、開発者が、ひとつの効果を与えるために複数のWebアニメーションを組み合わせることが一般的であると考え、選択したノードと子ノードのすべてのCSSアニメーションを見えることができるようになる。とInfoQに語った。
-
iOS/Android用ライブラリをCommon Lispで開発可能なLispWorks
LispWorks 7.0には,AndroidおよびiOSプラットフォーム用の新しいランタイムシステムが追加されている。ネイティブなモバイルアプリ用に,UIを持たないライブラリの開発が可能になる。
-
Microsoft: EdgeはChromeやFirefoxよりもパフォーマンスが改善している
この記事は、Chakraエンジンのパフォーマンス最適化結果の概要と、Edge, Chrome, FirefoxのOctaneとJet Streamベンチマークの結果に関する概要である。
-
Ionicが1.0をリリース,次期バージョンではAngular 2.0をサポート
Ionicは,実運用対応のバージョン1.0をリリースした。AngularJS 2.0上に構築される予定の次期バージョンの開発も,同時に開始している。Push,Deploy,Analytics,Packageといったモバイルサービスも近日中に公開される予定だ。
-
Clingは高性能C++ REPLを提供する
ClingはLLVMとClang上に構築された対話型C++インタープリタだ。コーディング-コンパイル-実行-デバッグというC++の通常のワークフローを超えることで、生産性を飛躍的に高める可能性がある。
-
Azul は OpenJDK ペースの Zulu Embedded をリリースした
Azul Systems は、OpenJDK ベースでオープンソースの Embedded JDK であるZulu Embedded をリリースした。Zulu Embedded はモバイルや IoT デバイス向けに組み込み Java 製品を保有している企業をターゲットにしている。ルータ、スイッチ、ATM 機器、アビオニクス、カーエレクトロニクス(automotive electronics)、Point of Sale (POS) システムが例として挙げられる。