Categorias Para La Ingeniería De Software - Categories For Software Engineering
(José L. Fiadeiro,JosT Luiz Fiadeiro)
Este Libro proporciona un dominio de la Ingeniería de software Orientada a la Teoría de la Categoría. Asumiendo sólo un mínimo de preparación matemática, este libro explora el uso de construcciones categóricas del punto de vista de los métodos y técnicas que se han propuesto para la ingeniería de sistemas de software complejos: el desarrollo Orientado a Objetos, las arquitecturas de software, las técnicas de la especificación lógicas y algebraicas, modelos de concurrencia, entre otros. Después de dos partes en que se introducen conceptos categóricos básicos y más avanzados y técnicas, el libro ilustra su aplicación a la semántica de CommUnity ? Un lenguaje para el diseño arquitectónico de sistemas interactivos.
Resumos Relacionados
- Guía De Supervivencia Del Proyecto Del Software
- Comenzando Con C# Objects : Conceptos Para Codificar
- Guía De Supervivencia Para Proyectos De Software
- Lgo Huele A Cambio En La Izquierda.
- Conceptos Probabilísticos En Ingeniería: Aplicaciones A La Ingeniería Civil Y Ambiental
|
|
