Cargando…
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.
| Autores principales: | , , , , , , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Now Publishers
2018
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2761887 |
| _version_ | 1780970625476591616 |
|---|---|
| author | 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 |
| author_facet | 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 |
| author_sort | Benveniste, Albert |
| collection | CERN |
| description | 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. |
| id | cern-2761887 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2018 |
| publisher | Now Publishers |
| record_format | invenio |
| spelling | cern-27618872021-04-21T16:39:19Zhttp://cds.cern.ch/record/2761887engBenveniste, AlbertCaillaud, BenoîtNickovic, DejanPasserone, RobertoRaclet, Jean-BaptisteReinkemeier, PhilippSangiovanni-Vincentelli, AlbertoDamm, WernerHenzinger, Thomas ALarsen, Kim GContracts for system designXXContracts 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.Now Publishersoai:cds.cern.ch:27618872018 |
| spellingShingle | XX 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 Contracts for system design |
| title | Contracts for system design |
| title_full | Contracts for system design |
| title_fullStr | Contracts for system design |
| title_full_unstemmed | Contracts for system design |
| title_short | Contracts for system design |
| title_sort | contracts for system design |
| topic | XX |
| url | http://cds.cern.ch/record/2761887 |
| work_keys_str_mv | AT benvenistealbert contractsforsystemdesign AT caillaudbenoit contractsforsystemdesign AT nickovicdejan contractsforsystemdesign AT passeroneroberto contractsforsystemdesign AT racletjeanbaptiste contractsforsystemdesign AT reinkemeierphilipp contractsforsystemdesign AT sangiovannivincentellialberto contractsforsystemdesign AT dammwerner contractsforsystemdesign AT henzingerthomasa contractsforsystemdesign AT larsenkimg contractsforsystemdesign |