Verifying Reuse Contracts with a Component Model

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

• Type: Conference
• Year: 2001
• Where: JISBD
• Authors: Agustín Cernuda del Río, José Emilio Labra Gayo, Juan Manuel Cueva Lovelle
• Keywords: Itacio Components, Itacio Model, JISBD 2001, Model, Software Engineering