Catálogo de publicaciones - libros

Compartir en
redes sociales


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

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