Software Engineering: Specification, Implementation, Verification /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Subjects: |
Table of Contents:
- 1 Analysis and Design
- 2 Specification of Constraints
- 3 Implementation Technology
- 4 Mapping Models to Code
- 5 Data Management
- 6 Software Verification.