[2] Language [3] Verification (1) [4] Executable (2) [5] Product [6] Tested [7] TESTABLE RESULTS: [8] #sec-Evidence [9] #sec-Evidence-exists [10] #sec-Evidence-get [11] #sec-Evidence-put [12] #sec-PropertyName [13] #sec-PropertyName-getLocalPropertyName [14] #sec-PropertyName-getNamespace [15] #sec-PropertyRef [16] #sec-PropertyRef-getAspectName [17] #sec-PropertyRef-getLocalPropertyName [18] #sec-PropertyRef-getNamespace [19] #sec-PropertyValue [20] #sec-PropertyValue-exists [21] #sec-PropertyValue-getPropertyRef [22] #sec-PropertyValue-getXXX (3) [23] #sec-PropertyValues [24] #sec-PropertyValues-getAll [25] #sec-PropertyValues-getValue [26] #sec-Service [27] #sec-Service-getDataVersion [28] #sec-Service-getImplementationVersion [29] #sec-Service-getPropertyValue-1 [30] #sec-Service-getPropertyValue-2 [31] #sec-Service-getPropertyValue-3 [32] #sec-Service-getPropertyValue-4 [33] #sec-Service-getPropertyValues-1 [34] #sec-Service-getPropertyValues-2 [35] #sec-Service-getPropertyValues-3 [36] #sec-Service-getPropertyValues-4 [37] #sec-Service-initialize [38] #sec-Service-listPropertyRefs [39] #sec-Service-newHTTPEvidence-1 [40] #sec-Service-newHTTPEvidence-2 [41] #sec-Service-newPropertyName-1 [42] #sec-Service-newPropertyName-2 [43] #sec-Service-newPropertyRef-1 [44] #sec-Service-newPropertyRef-2 [45] #sec-Service-newPropertyRef-3 [1] 
Implementation
I m p l e m e n t a t i o n
M y M o b i l e W e b o n l i n e d e m o
D e v i c e A t l a s s i t e
M I S p r e s e n t a t i o n
C #
I D L
W S D L