Software Engineering: Specification, Implementation, Verification /
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edición: | 1st ed. 2017. |
| Materias: |
Tabla de Contenidos:
- 1 Analysis and Design
- 2 Specification of Constraints
- 3 Implementation Technology
- 4 Mapping Models to Code
- 5 Data Management
- 6 Software Verification.