Project specification

From PKC
Revision as of 16:21, 18 July 2021 by KevinTung (talk | contribs)
Jump to navigation Jump to search


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
  1. The specification completely covers the system
  2. The specification can be compiled correctly
  3. The goal is reached before end time
4. Outputs 5. Process 6. Inputs

Project specification


  1. The knowledge from project scoping
7. Boundary Conditions




All kinds of workflows

The workflows are managed in Manual namespaces.

  • Automation workflow
  • Dockerize workflow
  • Extension workflow
  • Build Server workflow
  • TLA workflow