Document (#13820)

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.4523556 = sum of:
      0.4523556 = product of:
        1.0178001 = sum of:
          0.054904968 = weight(abstract_txt:based in 4538) [ClassicSimilarity], result of:
            0.054904968 = score(doc=4538,freq=1.0), product of:
              0.055196904 = queryWeight, product of:
                3.1830752 = idf(docFreq=5005, maxDocs=44421)
                0.017340748 = queryNorm
              0.994711 = fieldWeight in 4538, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.1830752 = idf(docFreq=5005, maxDocs=44421)
                0.3125 = fieldNorm(doc=4538)
          0.07593315 = weight(abstract_txt:knowledge in 4538) [ClassicSimilarity], result of:
            0.07593315 = score(doc=4538,freq=1.0), product of:
              0.0685164 = queryWeight, product of:
                1.1141404 = boost
                3.5463927 = idf(docFreq=3480, maxDocs=44421)
                0.017340748 = queryNorm
              1.1082478 = fieldWeight in 4538, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5463927 = idf(docFreq=3480, maxDocs=44421)
                0.3125 = fieldNorm(doc=4538)
          0.42022792 = weight(abstract_txt:special in 4538) [ClassicSimilarity], result of:
            0.42022792 = score(doc=4538,freq=1.0), product of:
              0.270089 = queryWeight, product of:
                3.1283195 = boost
                4.978838 = idf(docFreq=830, maxDocs=44421)
                0.017340748 = queryNorm
              1.5558869 = fieldWeight in 4538, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.978838 = idf(docFreq=830, maxDocs=44421)
                0.3125 = fieldNorm(doc=4538)
          0.46673402 = weight(abstract_txt:issue in 4538) [ClassicSimilarity], result of:
            0.46673402 = score(doc=4538,freq=1.0), product of:
              0.28966537 = queryWeight, product of:
                3.2397084 = boost
                5.156118 = idf(docFreq=695, maxDocs=44421)
                0.017340748 = queryNorm
              1.6112869 = fieldWeight in 4538, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.156118 = idf(docFreq=695, maxDocs=44421)
                0.3125 = fieldNorm(doc=4538)
        0.44444445 = coord(4/9)
    
  2. Intelligent legal text-based systems (1995) 0.45
    0.4486406 = sum of:
      0.4486406 = product of:
        1.0094414 = sum of:
          0.054904968 = weight(abstract_txt:based in 4477) [ClassicSimilarity], result of:
            0.054904968 = score(doc=4477,freq=1.0), product of:
              0.055196904 = queryWeight, product of:
                3.1830752 = idf(docFreq=5005, maxDocs=44421)
                0.017340748 = queryNorm
              0.994711 = fieldWeight in 4477, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.1830752 = idf(docFreq=5005, maxDocs=44421)
                0.3125 = fieldNorm(doc=4477)
          0.067574516 = weight(abstract_txt:systems in 4477) [ClassicSimilarity], result of:
            0.067574516 = score(doc=4477,freq=1.0), product of:
              0.06339119 = queryWeight, product of:
                1.0716602 = boost
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.017340748 = queryNorm
              1.0659922 = fieldWeight in 4477, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.3125 = fieldNorm(doc=4477)
          0.42022792 = weight(abstract_txt:special in 4477) [ClassicSimilarity], result of:
            0.42022792 = score(doc=4477,freq=1.0), product of:
              0.270089 = queryWeight, product of:
                3.1283195 = boost
                4.978838 = idf(docFreq=830, maxDocs=44421)
                0.017340748 = queryNorm
              1.5558869 = fieldWeight in 4477, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.978838 = idf(docFreq=830, maxDocs=44421)
                0.3125 = fieldNorm(doc=4477)
          0.46673402 = weight(abstract_txt:issue in 4477) [ClassicSimilarity], result of:
            0.46673402 = score(doc=4477,freq=1.0), product of:
              0.28966537 = queryWeight, product of:
                3.2397084 = boost
                5.156118 = idf(docFreq=695, maxDocs=44421)
                0.017340748 = queryNorm
              1.6112869 = fieldWeight in 4477, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.156118 = idf(docFreq=695, maxDocs=44421)
                0.3125 = fieldNorm(doc=4477)
        0.44444445 = coord(4/9)
    
  3. Jin, L.; Zhu, H.; Hall, P.: Adequate testing of hypertext applications (1997) 0.41
    0.41019937 = sum of:
      0.41019937 = product of:
        0.9229486 = sum of:
          0.01647149 = weight(abstract_txt:based in 1408) [ClassicSimilarity], result of:
            0.01647149 = score(doc=1408,freq=1.0), product of:
              0.055196904 = queryWeight, product of:
                3.1830752 = idf(docFreq=5005, maxDocs=44421)
                0.017340748 = queryNorm
              0.2984133 = fieldWeight in 1408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.1830752 = idf(docFreq=5005, maxDocs=44421)
                0.09375 = fieldNorm(doc=1408)
          0.042273305 = weight(abstract_txt:software in 1408) [ClassicSimilarity], result of:
            0.042273305 = score(doc=1408,freq=1.0), product of:
              0.10346741 = queryWeight, product of:
                1.3691292 = boost
                4.3580413 = idf(docFreq=1545, maxDocs=44421)
                0.017340748 = queryNorm
              0.40856636 = fieldWeight in 1408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.3580413 = idf(docFreq=1545, maxDocs=44421)
                0.09375 = fieldNorm(doc=1408)
          0.3851048 = weight(abstract_txt:validation in 1408) [ClassicSimilarity], result of:
            0.3851048 = score(doc=1408,freq=1.0), product of:
              0.5686199 = queryWeight, product of:
                4.5390887 = boost
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.017340748 = queryNorm
              0.67726225 = fieldWeight in 1408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.09375 = fieldNorm(doc=1408)
          0.47909898 = weight(abstract_txt:verification in 1408) [ClassicSimilarity], result of:
            0.47909898 = score(doc=1408,freq=1.0), product of:
              0.65773803 = queryWeight, product of:
                4.8818464 = boost
                7.769642 = idf(docFreq=50, maxDocs=44421)
                0.017340748 = queryNorm
              0.7284039 = fieldWeight in 1408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.769642 = idf(docFreq=50, maxDocs=44421)
                0.09375 = fieldNorm(doc=1408)
        0.44444445 = coord(4/9)
    
  4. Multimedia information systems (1995) 0.38
    0.38181457 = sum of:
      0.38181457 = product of:
        1.1454437 = sum of:
          0.081089415 = weight(abstract_txt:systems in 3775) [ClassicSimilarity], result of:
            0.081089415 = score(doc=3775,freq=1.0), product of:
              0.06339119 = queryWeight, product of:
                1.0716602 = boost
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.017340748 = queryNorm
              1.2791907 = fieldWeight in 3775, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.375 = fieldNorm(doc=3775)
          0.50427353 = weight(abstract_txt:special in 3775) [ClassicSimilarity], result of:
            0.50427353 = score(doc=3775,freq=1.0), product of:
              0.270089 = queryWeight, product of:
                3.1283195 = boost
                4.978838 = idf(docFreq=830, maxDocs=44421)
                0.017340748 = queryNorm
              1.8670642 = fieldWeight in 3775, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.978838 = idf(docFreq=830, maxDocs=44421)
                0.375 = fieldNorm(doc=3775)
          0.56008077 = weight(abstract_txt:issue in 3775) [ClassicSimilarity], result of:
            0.56008077 = score(doc=3775,freq=1.0), product of:
              0.28966537 = queryWeight, product of:
                3.2397084 = boost
                5.156118 = idf(docFreq=695, maxDocs=44421)
                0.017340748 = queryNorm
              1.9335442 = fieldWeight in 3775, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.156118 = idf(docFreq=695, maxDocs=44421)
                0.375 = fieldNorm(doc=3775)
        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.3666338 = sum of:
      0.3666338 = product of:
        0.65994084 = sum of:
          0.0135149015 = weight(abstract_txt:systems in 828) [ClassicSimilarity], result of:
            0.0135149015 = score(doc=828,freq=1.0), product of:
              0.06339119 = queryWeight, product of:
                1.0716602 = boost
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.017340748 = queryNorm
              0.21319844 = fieldWeight in 828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.411175 = idf(docFreq=3984, maxDocs=44421)
                0.0625 = fieldNorm(doc=828)
          0.021477137 = weight(abstract_txt:knowledge in 828) [ClassicSimilarity], result of:
            0.021477137 = score(doc=828,freq=2.0), product of:
              0.0685164 = queryWeight, product of:
                1.1141404 = boost
                3.5463927 = idf(docFreq=3480, maxDocs=44421)
                0.017340748 = queryNorm
              0.31345978 = fieldWeight in 828, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.5463927 = idf(docFreq=3480, maxDocs=44421)
                0.0625 = fieldNorm(doc=828)
          0.048813008 = weight(abstract_txt:software in 828) [ClassicSimilarity], result of:
            0.048813008 = score(doc=828,freq=3.0), product of:
              0.10346741 = queryWeight, product of:
                1.3691292 = boost
                4.3580413 = idf(docFreq=1545, maxDocs=44421)
                0.017340748 = queryNorm
              0.4717718 = fieldWeight in 828, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.3580413 = idf(docFreq=1545, maxDocs=44421)
                0.0625 = fieldNorm(doc=828)
          0.25673652 = weight(abstract_txt:validation in 828) [ClassicSimilarity], result of:
            0.25673652 = score(doc=828,freq=1.0), product of:
              0.5686199 = queryWeight, product of:
                4.5390887 = boost
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.017340748 = queryNorm
              0.45150816 = fieldWeight in 828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.0625 = fieldNorm(doc=828)
          0.3193993 = weight(abstract_txt:verification in 828) [ClassicSimilarity], result of:
            0.3193993 = score(doc=828,freq=1.0), product of:
              0.65773803 = queryWeight, product of:
                4.8818464 = boost
                7.769642 = idf(docFreq=50, maxDocs=44421)
                0.017340748 = queryNorm
              0.48560262 = fieldWeight in 828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.769642 = idf(docFreq=50, maxDocs=44421)
                0.0625 = fieldNorm(doc=828)
        0.5555556 = coord(5/9)