Demo:LogicModel Test

Logic Model (Haviz) Template:LogicModel 08 5, 2021
Abstract Specification Context Haviz/Context Goal Haviz/Goal Success Criteria Haviz/Criteria
Concrete Implementation Given Inputs When Process is executed... Then, we get Outputs Haviz/Input Haviz/Process Haviz/Output
Boundary/Safety Conditions of Haviz Haviz/Boundary