Document (#13821)

Title
Special issue on verification and validation
Issue
[Themenheft]
Source
International journal of human-computer studies. 44(1996) no.2, S.123-269
Year
1996
Abstract
A special issue on the verification and validation of the reliability of knowledge based systems software

Similar documents (content)

  1. Knowledge-based hypermedia (1995) 0.45
    0.44963115 = sum of:
      0.44963115 = product of:
        1.0116701 = sum of:
          0.054774914 = weight(abstract_txt:based in 4470) [ClassicSimilarity], result of:
            0.054774914 = score(doc=4470,freq=1.0), product of:
              0.05498234 = queryWeight, product of:
                3.1879277 = idf(docFreq=4958, maxDocs=44218)
                0.017247047 = queryNorm
              0.9962274 = fieldWeight in 4470, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.1879277 = idf(docFreq=4958, maxDocs=44218)
                0.3125 = fieldNorm(doc=4470)
          0.075816624 = weight(abstract_txt:knowledge in 4470) [ClassicSimilarity], result of:
            0.075816624 = score(doc=4470,freq=1.0), product of:
              0.0682881 = queryWeight, product of:
                1.1144508 = boost
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.017247047 = queryNorm
              1.1102464 = fieldWeight in 4470, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.3125 = fieldNorm(doc=4470)
          0.41647258 = weight(abstract_txt:special in 4470) [ClassicSimilarity], result of:
            0.41647258 = score(doc=4470,freq=1.0), product of:
              0.26785702 = queryWeight, product of:
                3.1214392 = boost
                4.9754615 = idf(docFreq=829, maxDocs=44218)
                0.017247047 = queryNorm
              1.5548317 = fieldWeight in 4470, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9754615 = idf(docFreq=829, maxDocs=44218)
                0.3125 = fieldNorm(doc=4470)
          0.464606 = weight(abstract_txt:issue in 4470) [ClassicSimilarity], result of:
            0.464606 = score(doc=4470,freq=1.0), product of:
              0.2881168 = queryWeight, product of:
                3.2373354 = boost
                5.160196 = idf(docFreq=689, maxDocs=44218)
                0.017247047 = queryNorm
              1.6125612 = fieldWeight in 4470, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.160196 = idf(docFreq=689, maxDocs=44218)
                0.3125 = fieldNorm(doc=4470)
        0.44444445 = coord(4/9)
    
  2. Intelligent legal text-based systems (1995) 0.45
    0.44577876 = sum of:
      0.44577876 = product of:
        1.0030022 = sum of:
          0.054774914 = weight(abstract_txt:based in 4409) [ClassicSimilarity], result of:
            0.054774914 = score(doc=4409,freq=1.0), product of:
              0.05498234 = queryWeight, product of:
                3.1879277 = idf(docFreq=4958, maxDocs=44218)
                0.017247047 = queryNorm
              0.9962274 = fieldWeight in 4409, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.1879277 = idf(docFreq=4958, maxDocs=44218)
                0.3125 = fieldNorm(doc=4409)
          0.06714859 = weight(abstract_txt:systems in 4409) [ClassicSimilarity], result of:
            0.06714859 = score(doc=4409,freq=1.0), product of:
              0.06297865 = queryWeight, product of:
                1.0702496 = boost
                3.4118783 = idf(docFreq=3963, maxDocs=44218)
                0.017247047 = queryNorm
              1.0662119 = fieldWeight in 4409, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4118783 = idf(docFreq=3963, maxDocs=44218)
                0.3125 = fieldNorm(doc=4409)
          0.41647258 = weight(abstract_txt:special in 4409) [ClassicSimilarity], result of:
            0.41647258 = score(doc=4409,freq=1.0), product of:
              0.26785702 = queryWeight, product of:
                3.1214392 = boost
                4.9754615 = idf(docFreq=829, maxDocs=44218)
                0.017247047 = queryNorm
              1.5548317 = fieldWeight in 4409, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9754615 = idf(docFreq=829, maxDocs=44218)
                0.3125 = fieldNorm(doc=4409)
          0.464606 = weight(abstract_txt:issue in 4409) [ClassicSimilarity], result of:
            0.464606 = score(doc=4409,freq=1.0), product of:
              0.2881168 = queryWeight, product of:
                3.2373354 = boost
                5.160196 = idf(docFreq=689, maxDocs=44218)
                0.017247047 = queryNorm
              1.6125612 = fieldWeight in 4409, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.160196 = idf(docFreq=689, maxDocs=44218)
                0.3125 = fieldNorm(doc=4409)
        0.44444445 = coord(4/9)
    
  3. Jin, L.; Zhu, H.; Hall, P.: Adequate testing of hypertext applications (1997) 0.41
    0.4124491 = sum of:
      0.4124491 = product of:
        0.92801046 = sum of:
          0.016432475 = weight(abstract_txt:based in 408) [ClassicSimilarity], result of:
            0.016432475 = score(doc=408,freq=1.0), product of:
              0.05498234 = queryWeight, product of:
                3.1879277 = idf(docFreq=4958, maxDocs=44218)
                0.017247047 = queryNorm
              0.29886824 = fieldWeight in 408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.1879277 = idf(docFreq=4958, maxDocs=44218)
                0.09375 = fieldNorm(doc=408)
          0.041923404 = weight(abstract_txt:software in 408) [ClassicSimilarity], result of:
            0.041923404 = score(doc=408,freq=1.0), product of:
              0.10265788 = queryWeight, product of:
                1.366421 = boost
                4.3560514 = idf(docFreq=1541, maxDocs=44218)
                0.017247047 = queryNorm
              0.40837982 = fieldWeight in 408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.3560514 = idf(docFreq=1541, maxDocs=44218)
                0.09375 = fieldNorm(doc=408)
          0.3910678 = weight(abstract_txt:validation in 408) [ClassicSimilarity], result of:
            0.3910678 = score(doc=408,freq=1.0), product of:
              0.5731469 = queryWeight, product of:
                4.5660048 = boost
                7.2780466 = idf(docFreq=82, maxDocs=44218)
                0.017247047 = queryNorm
              0.6823169 = fieldWeight in 408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.2780466 = idf(docFreq=82, maxDocs=44218)
                0.09375 = fieldNorm(doc=408)
          0.47858676 = weight(abstract_txt:verification in 408) [ClassicSimilarity], result of:
            0.47858676 = score(doc=408,freq=1.0), product of:
              0.6557501 = queryWeight, product of:
                4.8839655 = boost
                7.7848644 = idf(docFreq=49, maxDocs=44218)
                0.017247047 = queryNorm
              0.72983104 = fieldWeight in 408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.7848644 = idf(docFreq=49, maxDocs=44218)
                0.09375 = fieldNorm(doc=408)
        0.44444445 = coord(4/9)
    
  4. Multimedia information systems (1995) 0.38
    0.37929088 = sum of:
      0.37929088 = product of:
        1.1378726 = sum of:
          0.080578305 = weight(abstract_txt:systems in 3707) [ClassicSimilarity], result of:
            0.080578305 = score(doc=3707,freq=1.0), product of:
              0.06297865 = queryWeight, product of:
                1.0702496 = boost
                3.4118783 = idf(docFreq=3963, maxDocs=44218)
                0.017247047 = queryNorm
              1.2794544 = fieldWeight in 3707, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4118783 = idf(docFreq=3963, maxDocs=44218)
                0.375 = fieldNorm(doc=3707)
          0.4997671 = weight(abstract_txt:special in 3707) [ClassicSimilarity], result of:
            0.4997671 = score(doc=3707,freq=1.0), product of:
              0.26785702 = queryWeight, product of:
                3.1214392 = boost
                4.9754615 = idf(docFreq=829, maxDocs=44218)
                0.017247047 = queryNorm
              1.865798 = fieldWeight in 3707, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9754615 = idf(docFreq=829, maxDocs=44218)
                0.375 = fieldNorm(doc=3707)
          0.5575272 = weight(abstract_txt:issue in 3707) [ClassicSimilarity], result of:
            0.5575272 = score(doc=3707,freq=1.0), product of:
              0.2881168 = queryWeight, product of:
                3.2373354 = boost
                5.160196 = idf(docFreq=689, maxDocs=44218)
                0.017247047 = queryNorm
              1.9350734 = fieldWeight in 3707, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.160196 = idf(docFreq=689, maxDocs=44218)
                0.375 = fieldNorm(doc=3707)
        0.33333334 = coord(3/9)
    
  5. Fagundes, P.B.; Freund, G.P.; Vital, L.P.; Monteiro de Barros, C.; Macedo, D.D.J.de: Taxonomias, ontologias e tesauros : possibilidades de contribuição para o processo de Engenharia de Requisitos (2020) 0.37
    0.36836255 = sum of:
      0.36836255 = product of:
        0.66305256 = sum of:
          0.013429718 = weight(abstract_txt:systems in 5828) [ClassicSimilarity], result of:
            0.013429718 = score(doc=5828,freq=1.0), product of:
              0.06297865 = queryWeight, product of:
                1.0702496 = boost
                3.4118783 = idf(docFreq=3963, maxDocs=44218)
                0.017247047 = queryNorm
              0.2132424 = fieldWeight in 5828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4118783 = idf(docFreq=3963, maxDocs=44218)
                0.0625 = fieldNorm(doc=5828)
          0.021444181 = weight(abstract_txt:knowledge in 5828) [ClassicSimilarity], result of:
            0.021444181 = score(doc=5828,freq=2.0), product of:
              0.0682881 = queryWeight, product of:
                1.1144508 = boost
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.017247047 = queryNorm
              0.31402513 = fieldWeight in 5828, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.0625 = fieldNorm(doc=5828)
          0.048408978 = weight(abstract_txt:software in 5828) [ClassicSimilarity], result of:
            0.048408978 = score(doc=5828,freq=3.0), product of:
              0.10265788 = queryWeight, product of:
                1.366421 = boost
                4.3560514 = idf(docFreq=1541, maxDocs=44218)
                0.017247047 = queryNorm
              0.4715564 = fieldWeight in 5828, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.3560514 = idf(docFreq=1541, maxDocs=44218)
                0.0625 = fieldNorm(doc=5828)
          0.26071185 = weight(abstract_txt:validation in 5828) [ClassicSimilarity], result of:
            0.26071185 = score(doc=5828,freq=1.0), product of:
              0.5731469 = queryWeight, product of:
                4.5660048 = boost
                7.2780466 = idf(docFreq=82, maxDocs=44218)
                0.017247047 = queryNorm
              0.4548779 = fieldWeight in 5828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.2780466 = idf(docFreq=82, maxDocs=44218)
                0.0625 = fieldNorm(doc=5828)
          0.31905785 = weight(abstract_txt:verification in 5828) [ClassicSimilarity], result of:
            0.31905785 = score(doc=5828,freq=1.0), product of:
              0.6557501 = queryWeight, product of:
                4.8839655 = boost
                7.7848644 = idf(docFreq=49, maxDocs=44218)
                0.017247047 = queryNorm
              0.48655403 = fieldWeight in 5828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.7848644 = idf(docFreq=49, maxDocs=44218)
                0.0625 = fieldNorm(doc=5828)
        0.5555556 = coord(5/9)