Algebraic specifications and refinement for component-based development using RAISE
Artículo
Acceso abierto
Artículo
SEDICI UNLP
There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access