"soundiness" meaning in All languages combined

See soundiness on Wiktionary

Noun [English]

Etymology: soundy + -ness Etymology templates: {{suffix|en|soundy|ness}} soundy + -ness Head templates: {{en-noun|-}} soundiness (uncountable)
  1. (software engineering) A state of being mostly sound; the condition of being rigorously sound in all but some well-defined areas; a best approximation of soundness in an environment where absolute soundness or proof of soundness is not feasible. Tags: uncountable Categories (topical): Software engineering
    Sense id: en-soundiness-en-noun-IJIlhslb Categories (other): English entries with incorrect language header, English terms suffixed with -ness Disambiguation of English entries with incorrect language header: 67 33 Disambiguation of English terms suffixed with -ness: 60 40 Topics: computing, engineering, mathematics, natural-sciences, physical-sciences, sciences, software
  2. The quality that allows something to be sensed as sound. Tags: uncountable
    Sense id: en-soundiness-en-noun-hJLxHRYV

Download JSON data for soundiness meaning in All languages combined (3.7kB)

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "soundy",
        "3": "ness"
      },
      "expansion": "soundy + -ness",
      "name": "suffix"
    }
  ],
  "etymology_text": "soundy + -ness",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "soundiness (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Software engineering",
          "orig": "en:Software engineering",
          "parents": [
            "Computer science",
            "Engineering",
            "Software",
            "Computing",
            "Sciences",
            "Applied sciences",
            "Technology",
            "Media",
            "All topics",
            "Communication",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "67 33",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "60 40",
          "kind": "other",
          "name": "English terms suffixed with -ness",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "ref": "2015 February, Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhotȧk, J. Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis, “In defense of soundiness: a manifesto”, in Communications of the ACM, volume 58, number 2",
          "text": "Soundiness is in fact what is meant in many papers that claim to describe a sound analysis.",
          "type": "quotation"
        },
        {
          "ref": "2016 February, Ahmet Salih Buyukkayhan, Kaan Onarlioglu, William K Robertson, Engin Kirda, “CrossFire: An Analysis of Firefox Extension-Reuse Vulnerabilities”, in Proceedings of the ISOC Network and Distributed System Security Symposium (NDSS)",
          "text": "While this lack of soundness and precision can be viewed as a deficiency, we argue that instead – in the spirit of “soundiness” [23] – it is a strength.",
          "type": "quotation"
        },
        {
          "ref": "2016, Swarat Chaudhuri, Azadeh Farzan, Computer Aided Verification: 28th International Conference, CAV 2016",
          "text": "JayHorn is implemented in the spirit of soundiness [14].",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A state of being mostly sound; the condition of being rigorously sound in all but some well-defined areas; a best approximation of soundness in an environment where absolute soundness or proof of soundness is not feasible."
      ],
      "id": "en-soundiness-en-noun-IJIlhslb",
      "links": [
        [
          "software engineering",
          "software engineering"
        ],
        [
          "mostly",
          "mostly"
        ],
        [
          "sound",
          "sound"
        ],
        [
          "rigorous",
          "rigorous"
        ],
        [
          "approximation",
          "approximation"
        ],
        [
          "soundness",
          "soundness"
        ],
        [
          "feasible",
          "feasible"
        ]
      ],
      "raw_glosses": [
        "(software engineering) A state of being mostly sound; the condition of being rigorously sound in all but some well-defined areas; a best approximation of soundness in an environment where absolute soundness or proof of soundness is not feasible."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences",
        "software"
      ]
    },
    {
      "categories": [],
      "examples": [
        {
          "ref": "1968, D.M. Armstrong, “The secondary qualities: An essay in the classification of theories”, in Australasian journal of philosophy, volume 46, number 3",
          "text": "But it will assert that the sensible quality of sounding--the soundiness of sound--cannot be reduced to the properties of sound-waves that physicists take professional notice of.",
          "type": "quotation"
        },
        {
          "ref": "2001, Michael J. Loux -, Metaphysics: Contemporary Readings, page 87",
          "text": "Thus, the \"soundiness\" of sound is to be identified with a suitable wave structure of a suitable medium.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The quality that allows something to be sensed as sound."
      ],
      "id": "en-soundiness-en-noun-hJLxHRYV",
      "links": [
        [
          "sense",
          "sense"
        ],
        [
          "sound",
          "sound"
        ]
      ],
      "tags": [
        "uncountable"
      ]
    }
  ],
  "word": "soundiness"
}
{
  "categories": [
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms suffixed with -ness",
    "English uncountable nouns"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "soundy",
        "3": "ness"
      },
      "expansion": "soundy + -ness",
      "name": "suffix"
    }
  ],
  "etymology_text": "soundy + -ness",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "soundiness (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English terms with quotations",
        "en:Software engineering"
      ],
      "examples": [
        {
          "ref": "2015 February, Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhotȧk, J. Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis, “In defense of soundiness: a manifesto”, in Communications of the ACM, volume 58, number 2",
          "text": "Soundiness is in fact what is meant in many papers that claim to describe a sound analysis.",
          "type": "quotation"
        },
        {
          "ref": "2016 February, Ahmet Salih Buyukkayhan, Kaan Onarlioglu, William K Robertson, Engin Kirda, “CrossFire: An Analysis of Firefox Extension-Reuse Vulnerabilities”, in Proceedings of the ISOC Network and Distributed System Security Symposium (NDSS)",
          "text": "While this lack of soundness and precision can be viewed as a deficiency, we argue that instead – in the spirit of “soundiness” [23] – it is a strength.",
          "type": "quotation"
        },
        {
          "ref": "2016, Swarat Chaudhuri, Azadeh Farzan, Computer Aided Verification: 28th International Conference, CAV 2016",
          "text": "JayHorn is implemented in the spirit of soundiness [14].",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A state of being mostly sound; the condition of being rigorously sound in all but some well-defined areas; a best approximation of soundness in an environment where absolute soundness or proof of soundness is not feasible."
      ],
      "links": [
        [
          "software engineering",
          "software engineering"
        ],
        [
          "mostly",
          "mostly"
        ],
        [
          "sound",
          "sound"
        ],
        [
          "rigorous",
          "rigorous"
        ],
        [
          "approximation",
          "approximation"
        ],
        [
          "soundness",
          "soundness"
        ],
        [
          "feasible",
          "feasible"
        ]
      ],
      "raw_glosses": [
        "(software engineering) A state of being mostly sound; the condition of being rigorously sound in all but some well-defined areas; a best approximation of soundness in an environment where absolute soundness or proof of soundness is not feasible."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences",
        "software"
      ]
    },
    {
      "categories": [
        "English terms with quotations"
      ],
      "examples": [
        {
          "ref": "1968, D.M. Armstrong, “The secondary qualities: An essay in the classification of theories”, in Australasian journal of philosophy, volume 46, number 3",
          "text": "But it will assert that the sensible quality of sounding--the soundiness of sound--cannot be reduced to the properties of sound-waves that physicists take professional notice of.",
          "type": "quotation"
        },
        {
          "ref": "2001, Michael J. Loux -, Metaphysics: Contemporary Readings, page 87",
          "text": "Thus, the \"soundiness\" of sound is to be identified with a suitable wave structure of a suitable medium.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The quality that allows something to be sensed as sound."
      ],
      "links": [
        [
          "sense",
          "sense"
        ],
        [
          "sound",
          "sound"
        ]
      ],
      "tags": [
        "uncountable"
      ]
    }
  ],
  "word": "soundiness"
}

This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-06-04 from the enwiktionary dump dated 2024-05-02 using wiktextract (e9e0a99 and db5a844). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.