Verifying Reuse Contracts with a Component Model

13 years 5 months ago

Download www.di.uniovi.es

The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different facets of the software development process. All that is needed is to define the correspondence between the Itacio model basic entities

Agustín Cernuda del Río, José

Real-time Traffic

Itacio Components | Itacio Model | JISBD 2001 | Model | Software Engineering |

claim paper

» Specifying Reusable Components

» Supporting Disciplined Reuse and Evolution of UML Models

» A Framework for Proving ContractEquipped Classes

» On Analysis of Design Component Contracts A Case Study

» A Formal Framework for Design Component Contracts

» Semantic component networking Toward the synergy of static reuse and dynamic clustering of...

» Semantic Component Composition

» Verification of ComponentBased Software Application Families

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2001
Where	JISBD
Authors	Agustín Cernuda del Río, José Emilio Labra Gayo, Juan Manuel Cueva Lovelle

Comments (0)

Sciweavers

Verifying Reuse Contracts with a Component Model

Itacio Components | Itacio Model | JISBD 2001 | Model | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers