informalsystems / informalsystems/vdd
How to integrate interfaces in VDD process
Open
- Dominant language
- No language data
- Stars
- 21
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
@adizere has raised good point that formalising interfaces between module under analysis and design and external modules is not covered by current VDD manifesto. We have been having lot of issues in Tendermint because of implicit assumptions at interfaces between different modules.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.