Richard Bird

Oege De Moor

Describes an algebraic approach to programming that permits the calculation of programs. Introduces the fundamentals of algebra for programming. Presents paradigms and strategies of program construction that form the core of Algorithm Design. Discusses functions and categories; applications; relations and allegories; datatypes; recursive programs, optimization issues, thinning algorithms, dynamic programming and greedy algorithms. Appropriate for all programmers.

内容詳細

Algebra of Programming (Prentice-Hall International Series in Computer Science)

Daniel Jackson

中島 震

今井 健男

酒井 政裕

遠藤 侑介

片岡 欣夫

形式手法は、高度な信頼性が求められるソフトウェアの開発で利用されてきた、数学に基づく開発技術です。Alloy(アロイ)は、形式手法を誰もが実践できることを目指したツールであり、テストでは排除できないソフトウェアの欠陥について検証するためのものです。 本書は、"Software Abstractions: Logic, Language, and Analysis"の翻訳書です。Alloyによるさまざまな事例のモデリングを通じ、「アジャイルで軽量な形式手法」ともいえる技術を学びます。

抽象によるソフトウェア設計−Alloyではじめる形式手法−

タグ：AlloyAnalyzerの検索結果

Algebra of Programming (Prentice-Hall International Series in Computer Science)

抽象によるソフトウェア設計−Alloyではじめる形式手法−