| SHOLIS
Process |
|
|
|
|
|
|
|
|
|
| • | Requirements,
written in English |
|||||||
| • | Software
Requirements Specification |
|||||||
| (SRS),
written in Z and English |
||||||||
| • | Software
Design Specification (SDS), |
|||||||
| written
in SPARK, Z, and English |
||||||||
| • | Code,
written in SPARK |
|||||||
| • | Testing |
|||||||
