Contracts for system design

Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.

Detalles Bibliográficos
Autores principales: Benveniste, Albert, Caillaud, Benoît, Nickovic, Dejan, Passerone, Roberto, Raclet, Jean-Baptiste, Reinkemeier, Philipp, Sangiovanni-Vincentelli, Alberto, Damm, Werner, Henzinger, Thomas A, Larsen, Kim G
Lenguaje:eng
Publicado: Now Publishers 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761887
Descripción
Sumario:Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.

Ejemplares similares