Título: Categories for Software Engineering
Autor: Jose L. Fiadeiro
Sinopse: This book provides a gentle introduction to category theory oriented to software engineering. Assuming only a minimum of mathematical background, 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. Acabamento: Hardcover. Peso: 279g. Dimensões: 23 x 16 x 1.
Contexto da obra
Dentro do catálogo, este livro pode ser situado a partir do tema, da autoria e da proposta editorial. “Categories for Software Engineering”, de Jose L. Fiadeiro, publicado pela editora Springer Verlag *, em 2004 e com 250 páginas, integra a categoria Inteligência Artificial. Esse enquadramento pode tornar mais clara a proposta do livro e o tipo de interesse que ele costuma despertar.
Editora: Springer Verlag *
Páginas: 250
Ano: 2004
Edição: 1ª EDIÇÃO
ISBN:
ISBN13: 9783540209096
