Categories for Software Engineering

>> Google Books

Categories for Software Engineering / by Jose Luiz Fiadeiro

版:

1st ed. 2005

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

形態:

XIV, 250 p.

著者名:

ISBN:

9783540268918 [354026891X]
9783540209096 [3540209093]
9783540800811 [3540800816]
9783642058882 [3642058884]

書誌ID:

EB00005972

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. R

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Mathematics of Computing; Programming Techniques; Software Engineering

言語:

英語

目次情報:

Introduction

Basics: Introducing Categories / Part 1：

Building Categories

Universal Constructions

Functors

Advanced Topics: Functor-Based Constructions / Part 2：

Adjunctions

Applications: Community / Part 3：

Architectural Description

An Algebra of Connectors

References

Index

Introduction

Basics: Introducing Categories / Part 1：

Building Categories

Universal Constructions

Functors

Advanced Topics: Functor-Based Constructions / Part 2：

続きを見る

ブックレビュー

類似資料:

1 電子ブック Recent Trends in Algebraic Development Techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers Fiadeiro, Jose L., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Agent-Oriented Software Engineering IV : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers Giorgini, Paolo., Müller, Jörg., Odell, James., SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック Reflection and Software Engineering Cazzola, Walter., Stroud, Robert J., Tisato, Francesco., SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック Extreme Programming and Agile Processes in Software Engineering : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings Baumeister, Hubert., Marchesi, Michele., Holcombe, Mike., SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Software Engineering - ESEC/FSE '99 : 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of … Nierstrasz, Oskar., Lemoine, Michel., SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Component-Based Software Engineering : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings Crnkovic, Ivica., Stafford, Judith A., Schmidt, Heinz W., Wallnau, Kurt., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Extreme Programming and Agile Processes in Software Engineering : 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, … Eckstein, Jutta., Baumeister, Hubert., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 Heineman, George., Crnkovic, Ivica., Schmidt, Heinz W., Stafford, Judith A., Szyperski, Clemens., Wallnau, Kurt., … Springer Berlin Heidelberg
5 電子ブック Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings Pitt, David., Rydeheard, David E., Johnstone, Peter., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of … Hankin, Chris., SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック Generative and Component-Based Software Engineering : First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers Czarnecki, Krzysztof., Eisenecker, Ulrich W., SpringerLink (Online service) Springer Berlin Heidelberg	12 電子ブック Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of … Le Metayer, Daniel., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12