Assertion: software | /r/HasProperty | the implementation
Facets:
Source sentences:
text: Thus, if you take the specification perspective we are looking at the interfaces of the software, not the implementation.