Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Categories for Software Engineering

Buy
Categories for Software Engineering, 9783540209096 (3540209093), Springer, 2004

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.

In the past ten years, several books have been published on category theory either by computer scientists or having computer scientists as a target audience (e.g. [6, 12, 22, 89, 105], to which a precious collection of little gems [90] and the chapter cum book [91] should be added). Isn't the working computer scientist spoilt with choice?

Although each of the above mentioned books presents an approach of its own, there is one aspect in common in their view of computer science: the analogy between arrows (morphisms) and (classes of) computations. This "type-theoretic" or "functional" approach corresponds to a view of computer science as a science of computation, i.e. a discipline concerned with the study of computational phenomena where the focus is on the nature and organisation of computations.

(HTML tags aren't allowed.)

Hardboiled Web Design
Hardboiled Web Design

Every web designer harbours tales of frustration, limitation and despair. Web design requires skills and knowledge beyond mere manipulation of form, shape, language, colour, message and meaning. What users don’t see behind those visuals is just as important as what they do see. We have to think about moving parts and engineering...

Linux+ Study Guide: Exam XKO 001 (With CD-ROM)
Linux+ Study Guide: Exam XKO 001 (With CD-ROM)
Here's the book you need to prepare for CompTIA's updated Linux+ exam, #XK0-002. This Study Guide was developed to meet the exacting requirements of today's certification candidates. In addition to the consistent and accessible instructional approach that has earned Sybex the reputation as the leading publisher for...
Comprehensive Biochemistry for Dentistry: Textbook for Dental Students
Comprehensive Biochemistry for Dentistry: Textbook for Dental Students
This book combines fundamental concepts of biochemistry and the dental sciences to provide an authentic, coherent and comprehensive text for dental students. It describes in simple language the intricate pathophysiology of biomolecules in health and in diseases of dental and oral tissues. This book also describes the evolution of biochemistry in...

Mastering Oracle SQL
Mastering Oracle SQL

SQL, which stands for Structured Query Language, is the language for accessing a relational database. SQL provides a set of statements for storing and retrieving data to and from a relational database. It has gained steadily in popularity ever since the first relational database was unleashed upon the world. Other languages...

Mastering 3D Printing
Mastering 3D Printing

Mastering 3D Printing shows you how to get the most out of your printer, including how to design models, choose materials, work with different printers, and integrate 3D printing with traditional prototyping to make techniques like sand casting more efficient.

You've printed key chains. You've printed simple toys....

Intelligent Multimedia Databases and Information Retrieval: Advancing Applications and Technologies
Intelligent Multimedia Databases and Information Retrieval: Advancing Applications and Technologies
The decreasing costs of consumer electronic devices such as digital cameras and digital camcorders, along with the ease of transportation facilitated by the Internet, has lead to a phenomenal rise in the amount of multimedia data. Now multimedia data comprising of images, audio, and video is becoming increasingly common. Given that...
©2020 LearnIT (support@pdfchm.net) - Privacy Policy