Difference between revisions of "Project specification"
Jump to navigation
Jump to search
| Line 19: | Line 19: | ||
__SHOWFACTBOX__ | __SHOWFACTBOX__ | ||
= All kinds of workflows == | |||
The workflows are managed in Manual namespaces. | The workflows are managed in Manual namespaces. | ||
== CICD == | |||
* Automation workflow | * Automation workflow | ||
* Dockerize workflow | * Dockerize workflow | ||
** [https://hub.docker.com/r/xlp0/mariadb Docker Image] | |||
* Extension workflow | * Extension workflow | ||
* Build Server workflow | * Build Server workflow | ||
== Formal Methods == | |||
* TLA workflow | * TLA workflow | ||
Revision as of 16:38, 18 July 2021
TO BE DEPRECATED: When you see this, please consider moving the logic model below from Template:Logic Model to Template:LogicModel
| 1. Context |
After defining the scope, the project should be specified so that it is precise enough for implementation. | ||
| 2. Goal |
To specify the system using a formal/semi-formal specification and Logic model. | ||
| 3. Success Criteria |
| ||
| 4. Outputs | 5. Process | 6. Inputs | |
|
|
| ||
| 7. Boundary Conditions | |||
All kinds of workflows =
The workflows are managed in Manual namespaces.
CICD
- Automation workflow
- Dockerize workflow
- Extension workflow
- Build Server workflow
Formal Methods
- TLA workflow