InfoQ ホームページ Model-Driven-Development に関するすべてのコンテンツ
ニュース
RSSフィード-
マイクロサービスフレームワークのLagom 1.5がAkka Managementを導入、KubernetesとOpenShiftをサポート
マイクロサービスフレームワークLagomのバージョン1.5には、Akka Management、Akka対応アプリケーションを操作するツールセット、KubernetesまたはOpenShiftへのデプロイサポートが付属する。先日リリースされたばかりのこのバージョンは、Play 2.7.0、Alpakka Kafka 1.0、Akka 2.5.22をベースに、CouchbaseとAkka gRPCによるgRPCサポートが加えられている。
-
Lightbendのエンタープライズアーキテクト、Kiki Carter氏がETEでInfoQに語った
Kiki Carter氏はLightbend社のエンタープライズアーキテクトであるが、2017年のEmerging Technologies for the Enterprise(ETE)カンファレンスでマイクロサービスやリアクティブシステム、ScalaとJava、SMACKスタックに対する彼女の考えをInfoQに語った。
-
自動運転車のソフトウェア開発にモデルを使用すること
モデルは自動運転車のような自律システムのソフトウェア開発において重要な役割を果たしている。モデルは振る舞いのシミュレートや検証、システムの文書化、そしてコードを生成するために使用される。Jonathan Sprinkle氏が、自律システムで使用するモデルをどうモデリングするか、モデリングの利点、テストデータを用いてどう自動車を運転するソフトウェアを検証するか、信頼性のあるコードを記述するための技法を説明する。
-
高度なソフトウェアシステム開発の提供におけるテクノロジとトレンド
Software-Centric Systems Conferenceは，新たなテクノロジやトレンド，複雑なソフトウェアシステム開発の経験を探るカンファレンスである。InfoQはプログラム委員会のメンバであるRob Howe, Martjin Rutten両氏から，ソフトウェア開発が面している主な課題，テクノロジ開発，イノベーションの促進について，プロセスの信頼性向上と価値提供のためのアジャイル展開，などについて話を聞いた。
-
Lagom - 新しいマイクロサービスフレームワーク
Akkaを開発するLightbendが，同社のReactive Platformを基盤として使用したオープンソースのマイクロサービスフレームワークであるLagomをリリースした。Play FrameworkやAkka製品ファミリに加えて，開発用としてConductRを使用しているのが特徴だ。デフォルトはメッセージ駆動型の非同期方式で，分散型CQRS永続化パターンとイベントソーシングを実装の中心に使用している
-
形式的手法を用いた正当性立証可能なソフトウェアの開発
ソフトウェアプログラム内の中核的なコミュニケーションと状態管理が論理的に100%正しいことを証明する手段として，コンピュータチェックモデルを利用する方法がある。同じようなモデルは，100%正確なソースコードの作成にも応用できる。このような形式的手法を利用することにより，市場提供のためのコストと時間を削減し，より信頼性の高いソフトウェア製品の提供が可能になる。
-
動画で学ぶソフトウエアアーキテクチャ
ソフトウエアアーキテクチャを最新に保つのはとても難しい。アーキテクチャの情報は普通、厚い本かウェブサイトで得られる。しかし、YouTubeやVimeoのような動画サイトで勉強するのも面白い方法だ。
-
OpenXava 4.0，JPA 2.0 と依存性注入をサポート
Java ベースのモデル駆動開発フレームワークである OpenXava の最近のバージョンでは，JPA 2.0 と依存性注入がサポートされている。バージョン 4.0 ではさらに，JPA エンティティ定義に関する Groovy サポートも改善される。