Algebraic specifications and refinement for component-based development using RAISE

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 work, we analyze how to apply algebraic specifications with refinement to compo...

Descripción completa

Detalles Bibliográficos
Autores principales:	Estévez, Elsa Clara, Fillottrani, Pablo Rubén
Formato:	Articulo
Lenguaje:	Inglés
Publicado:	2002
Materias:	Ciencias Informáticas formal methods component-based development SOFTWARE ENGINEERING Requirements/Specifications
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/9443 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct02-5.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Formal specifications in component-based development
por: Estévez, Elsa Clara, et al.
Publicado: (2002)

Component assessment using testing
por: Sánchez, Marisa, et al.
Publicado: (2001)

Learning from vacuously satisfiable scenario-based specifications
Publicado: (2012)

Learning from vacuously satisfiable scenario-based specifications
por: Alrajeh, D., et al.
Publicado: (2012)

Learning from vacuously satisfiable scenario-based specifications
por: Alrajeh, D., et al.

Learning from vacuously satisfiable scenario-based specifications
por: Alrajeh, D., et al.
Publicado: (2012)

Towards the verification of RAISE specifications through Model Checking
por: Perna, Juan Ignacio, et al.
Publicado: (2006)

JAD-CASE : Tasks and documents specification for requirements engineering process
por: Balda, María Verónica, et al.
Publicado: (1997)

Using a scenario model to derive the functions of a formal specification
Publicado: (2001)

Using a scenario model to derive the functions of a formal specification
por: Mauco, M.V., et al.

Formal concept analysis-based service classification to dynamically build efficient software component directories
por: Arévalo, Gabriela Beatriz, et al.
Publicado: (2009)

A heterogeneous characterisation of component-based system design in a categorical setting
por: López Pombo, Carlos Gustavo
Publicado: (2014)

A heterogeneous characterisation of component-based system design in a categorical setting
por: Lopez Pombo, C.G., et al.

Specification Patterns: Formal and Easy
por: Braberman, Víctor Adrián
Publicado: (2015)

Specification Patterns: Formal and Easy
por: Asteasuain, F., et al.

A UML profile to model classifier refinements
por: Correa, Natalia, et al.
Publicado: (2005)

Declaratively building behavior by means of scenario clauses
por: Braberman, Víctor Adrián
Publicado: (2017)

Declaratively building behavior by means of scenario clauses
por: Asteasuain, F., et al.

Mining Architectural Responsibilities and Components from Textual Specifications Written in Natural Language
por: Casamayor, A., et al.
Publicado: (2011)

Mining Architectural Responsibilities and Components from Textual Specifications Written in Natural Language
por: Casamayor, Agustín, et al.
Publicado: (2010)

Issues for assessing component-based systems
por: Cechich, Alejandra, et al.
Publicado: (2002)

Revisiting compatibility of input-output modal transition systems
Publicado: (2014)

Revisiting compatibility of input-output modal transition systems
por: Krka, I., et al.

Classifying software requirement prioritization approaches
por: Martínez Carod, Nadina, et al.
Publicado: (2005)

Deriving event-based transition systems from goal-oriented requirements models
Publicado: (2008)

Deriving event-based transition systems from goal-oriented requirements models
por: Letier, E., et al.

Bisimulation abstraction for selecting software components in RAISE
por: Estévez, Elsa Clara, et al.
Publicado: (1999)

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy
por: Frias, Marcelo
Publicado: (2009)

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy
por: Aguirre, N.M., et al.
Publicado: (2009)

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy
por: Aguirre, N.M., et al.

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy
por: Aguirre, N.M., et al.
Publicado: (2009)

Specification patterns can be formal and still easy
por: Braberman, Víctor Adrián
Publicado: (2010)

Specification patterns can be formal and still easy
por: Asteasuain, F., et al.

Validación de requerimientos a través de modelos conceptuales
por: Marciszack, Marcelo Martín, et al.
Publicado: (2012)

Bisimulation for component-based development
por: Estévez, Elsa Clara, et al.
Publicado: (2002)

Using abduction and induction for operational requirements elaboration
Publicado: (2009)

Using abduction and induction for operational requirements elaboration
por: Alrajeh, D., et al.

Exploring Architectural Model Checking with Declarative Specifications
por: Asteasuain, Fernando, et al.
Publicado: (2017)

Traceability en la etapa de elicitación de requerimientos
por: Antonelli, Rubén Leandro, et al.
Publicado: (2000)

Quality properties evaluation for software requirements specifications : an exploratory analysis
por: Ale, Mariel Alejandra, et al.
Publicado: (2018)