InfoQ ホームページ Spec# に関するすべてのコンテンツ
ニュース
RSSフィード-
.NET 4の新機能を探る：コード契約
InfoQでは昨年からC#をベースにして契約による設計をサポートするSpec#を取り上げている。契約による設計は静的型付けのように、コンパイル時に検証されないと一定の動作を実行することができないという考え方だ。
-
最新技術を追い求めるデベロッパのための情報コミュニティ
寄稿
AIオールスターズ2025
“AI活用”をキーワードに「AIを使い倒し／使いこなす」企業の最前線をお届けします。
QCon AI New York 2025
Go from AI demos to real engineering impact. Learn to embed LLMs, govern & scale securely.
SOLD OUT!
QCon London 2026
Learn what works in AI, architecture, data, security & FinTech.
Early Bird ends Dec 9.
QCon AI Boston
Learn how leading engineering teams run AI in production—reliably, securely, and at scale.
Launch pricing ends Dec 9.