Difference between revisions of "The Bali Team"

From PKC
Jump to navigation Jump to search
Line 5: Line 5:




{{:Paper/Algebra of Systems}}
{{LogicModel
|name=asdf
}}

Revision as of 11:25, 4 July 2022

  1. Haviz
  2. Pedro
  3. Hunter
  4. ...


Logic Model (asdf) Template:LogicModel 07 4, 2022
Abstract Specification
Context Asdf/Context
Goal Asdf/Goal
Success Criteria Asdf/Criteria
Concrete Implementation
Given Inputs When Process is executed... Then, we get Outputs
Asdf/Input Asdf/Process Asdf/Output
Boundary/Safety Conditions of asdf
Asdf/Boundary