Formal specifications in component-based development

Software engineering has entered a new era, the Internet and its associated technologies require a different conceptual framework for building and understanding software solutions. Users ask to develop applications more rapidly, and software engineers need to ensamble systems from preexisting parts...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Estévez, Elsa Clara, Fillottrani, Pablo Rubén
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2002
Materias:	Ciencias Informáticas base de datos Software development SOFTWARE ENGINEERING CBD (Component-based development) framework components
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/21893
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-21893
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas base de datos Software development SOFTWARE ENGINEERING CBD (Component-based development) framework components
spellingShingle	Ciencias Informáticas base de datos Software development SOFTWARE ENGINEERING CBD (Component-based development) framework components Estévez, Elsa Clara Fillottrani, Pablo Rubén Formal specifications in component-based development
topic_facet	Ciencias Informáticas base de datos Software development SOFTWARE ENGINEERING CBD (Component-based development) framework components
description	Software engineering has entered a new era, the Internet and its associated technologies require a different conceptual framework for building and understanding software solutions. Users ask to develop applications more rapidly, and software engineers need to ensamble systems from preexisting parts. Components and Components-Based Development( CBD), are the approaches that provide solutions to these arising needs. Components are the way to encapsulate existing functionality, acquire third-party solutions, and build new services to support emerging business processes. Component-based development provides a design paradigm that is well suited to the new requirements, were the traditional design and build has been replaced by select and integrate. Within this approach, the specification of components plays a crucial role. If we are working on the development of components in order to construct a library for general use, we need to start from a concrete and complete specification of what we are going to construct. If we are assembling our application from pre-existing components, we need a precise specification of the behaviour of the component in order to select it from the library.
format	Objeto de conferencia Objeto de conferencia
author	Estévez, Elsa Clara Fillottrani, Pablo Rubén
author_facet	Estévez, Elsa Clara Fillottrani, Pablo Rubén
author_sort	Estévez, Elsa Clara
title	Formal specifications in component-based development
title_short	Formal specifications in component-based development
title_full	Formal specifications in component-based development
title_fullStr	Formal specifications in component-based development
title_full_unstemmed	Formal specifications in component-based development
title_sort	formal specifications in component-based development
publishDate	2002
url	http://sedici.unlp.edu.ar/handle/10915/21893
work_keys_str_mv	AT estevezelsaclara formalspecificationsincomponentbaseddevelopment AT fillottranipabloruben formalspecificationsincomponentbaseddevelopment
bdutipo_str	Repositorios
_version_	1764820465109434368

Formal specifications in component-based development

Ejemplares similares