Specified and verified reusable components
| Autor: | Polikarpova, Nadia |
|---|---|
| Přispěvatelé: | Leino, Rustan M., Meyer, Bertrand |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: |
SOFTWARE REUSABILITY + SOFTWARE REUSE + COMPONENT-BASED SOFTWARE DESIGN (SOFTWARE ENGINEERING)
Data processing computer science VERIFICATION (SOFTWARE ENGINEERING) SOFTWAREWIEDERVERWENDUNG + KOMPONENTENBASIERTE SOFTWAREENTWICKLUNG (SOFTWARE ENGINEERING) SPEZIFIKATIONEN (SOFTWARE ENGINEERING) VERIFIKATION (SOFTWARE ENGINEERING) SPECIFICATIONS (SOFTWARE ENGINEERING) ddc:004 |
| DOI: | 10.3929/ethz-a-010163357 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|