Catálogo de publicaciones - libros
A Modern Perspective on Type Theor: From its Origins until Today
Fairouz Kamareddine Twan Laan Rob Nederpelt
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Mathematical Logic and Foundations; Mathematics of Computing; Logic
Disponibilidad
Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No detectada | 2005 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-1-4020-2334-7
ISBN electrónico
978-1-4020-2335-4
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2005
Información sobre derechos de publicación
© Springer Science + Business Media, Inc. 2005
Cobertura temática
Tabla de contenidos
Pure Type Systems with parameters and definitions
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part III - Extensions of Pure Type Systems | Pp. 255-310