「Correctness」の共起表現一覧(1語右で並び替え)

Correctness

1語右で並び替え

該当件数:91件

  • aim is to provide repeatable guarantees of correctness after testing is finished.
  • There is this whole political correctness agenda.
  • pplications of program analysis are program correctness and program optimization.
  • a middle ground between left-wing political correctness and right-wing meanness."
  • d with a directed graph and is analyzed for correctness and complexity according to computational t
  • He was as remarkable for the correctness and rapidity of his judgment as he was for
  • was advanced during debates over political correctness and the use and reform of nursery rhymes in
  • the case, Until Proven Innocent: Political Correctness and the Shameful Injustice of the Duke Lacr
  • urner and many of his supporters, political correctness and multiculturalism are both factors that
  • osition against the drive towards political correctness, and claims that various factors, such as s
  • to society were performed with undeviating correctness and suavity; he possessed the rare merit of
  • -licence, every letterbox...! While factual correctness and absence of POV are certainly necessary
  • Very strongly oppose as political correctness, based on raw google scores.
  • for which the proper standard of review is correctness, based upon the outcome of the pragmatic an
  • the corresponding SPARK/Ada program for its correctness before passing it to an Ada compiler to com
  • Anthony Hall and Roderick Chapman, Correctness by Construction: Developing a Commercial Se
  • Flying Blind: How Political Correctness Continues to Compromise Airline Safety Post
  • Run On Time!"), Inspector for the Political Correctness Division of the Marta Batista Cola Company,
  • ies it uses, might be certified (e.g. as to correctness, documentation requirements, or performance
  • ash appointed Mapp as the party's Political Correctness Eradicator, following a speech Mapp had giv
  • ed that the song notably lacks in political correctness, especially after the rise of the women's m
  • de "aggressive" speeches ignoring political correctness especially on the J-Wave radio shows and mi
  • choice of names as an example of political correctness gone amok.
  • ty was strictly limited to physics, and its correctness has been thoroughly verified by experiment.
  • was able to speak German with even moderate correctness he had become a master of Talmudic argument
  • In Payne's view, what he calls political correctness, i.e. a general pro-leftist bias in academi
  • ngineering: design, specification, proof of correctness, implementation/experimentation, performanc
  • n a related note, he gently mocks political correctness, in one of his favorite recurring jokes ref
  • ioned and described, though not always with correctness in regard to dates.
  • but gay as box office-influenced political correctness intended to steer straight audiences to the
  • Political correctness is a red herring, and claiming PC only dist
  • lling to put one's own notions of political correctness, liberal tradition and empathy with particu
  • Afterwards, political correctness made this genre and the lyrics of the song
  • rsity in the face of the emerging political correctness movement in academia.
  • Correctness of the final executable SML program with re
  • ot be confident on the implementation since correctness of the model does not imply correctness of
  • t reflection Beethoven was convinced of the correctness of the criticism.
  • In addition to testing solutions based on correctness of answers, additional restrictions include
  • enough, invariants can be used to prove the correctness of the program based on the formal semantic
  • He and others used ACL2 to prove the correctness of the floating point division operations o
  • gy in reply to Archbishop Bramhall, but the correctness of this statement has been questioned.
  • ijtihad, and tell people the rightness and correctness of our position and ijtihad?"
  • the book myself, so I cannot vouch for the correctness of this summary, or for the original author
  • I cannot stay to be a living witness to the correctness of this prophecy; but I feel it within me t
  • The question of correctness of an NVP program depends partially on the
  • re and Matt Kaufmann used ACL2 to prove the correctness of the floating point division operations o
  • e of techniques for statically checking the correctness of various program constraints.
  • s want of taste, and his inattention to the correctness of his outline.
  • find experimental models to demonstrate the correctness of his paper on metabolic control analysis.
  • In correctness of drawing Janssens excelled his great cont
  • e process terminates) is sufficient for the correctness of the algorithm, however it is not suffici
  • jority of his writings forcefully argue the correctness of finer points in the works of Karl Marx,
  • hesis at the University of Helsinki, On the Correctness of Refinement Steps in Program Development.
  • A compiler requires 1) determining the correctness of the syntax of programs, 2) generating co
  • ciple of history, and his insistence in the correctness of history eventually led to his killing by
  • The criteria for judging the correctness of the form are based on maximizing the phy
  • the approach in his 1978 PhD thesis On the Correctness of Refinement Steps in Program Development,
  • ally, including the use of Coq to prove the correctness of some of its aspects.
  • In his purported proof of the correctness of the algorithm, he assumed that any set t
  • volunteers around the world and compare the correctness of several leading Machine Translation webs
  • lian monarchists expressed doubts about the correctness of the referendum, claiming that millions o
  • ed on the Duke model, which reconfirmed the correctness of the original backbone structure, and rev
  • t below, is relevant to, and may affect the correctness of its decision sustaining or denying any c
  • would be found... the result has proved the correctness of his opinion... Nowhere else have they fo
  • their use is the uncertainty concerning the correctness of the names to which the excerpts are attr
  • By his simplicity of style and correctness of design, the result of his study of the g
  • itally responsible on all occasions for the correctness of his judgment".
  • General Lord Goldsmith challenged the legal correctness of the officers' acquittals and sent the ru
  • l as fine lines, noting that "neither great correctness of drawing or fine engraving were at all ne
  • Because of this the correctness of the original age estimates were repeated
  • s been adapted over the years for political correctness or dropped altogether.
  • uch a time it was not easy to determine the correctness or incorrectness of a line before the power
  • because I know, regardless of its political correctness or otherwise, that some people do indeed us
  • Program and correctness proof are constructed together.
  • te software testing, which guarantees known correctness properties, once testing is over.
  • than attempting to apply cost modeling and correctness proving technology to an existing language
  • d the three degrees of deference available, correctness, reasonableness simpliciter, and patent unr
  • voters, who felt it an example of political correctness run amok.
  • n name like Eagles for reasons of political correctness, some alumni refuse to donate money to the
  • s standard [of reasonableness] is closer to correctness than patently unreasonable."
  • ies that were more concerned with political correctness than with national defense.
  • wing what they perceive to be the political correctness that characterized the language of the 1990
  • passionate Nazi ideology with a quality of correctness that allowed him to protect 'useful' inmate
  • Sexual Correctness: The Gender-Feminist Attack on Women, June
  • se of advanced software tools for verifying correctness: the expressive type system of the function
  • to ensure code correctness through various means, and
  • ically antiquated and contrary to political correctness to an extreme degree.
  • Jalepenos", about the problems of political correctness, was banned before it could even be release
  • lence is not to be confused with functional correctness, which must be determined by functional ver
  • c sketches pushed the envelope of political correctness, while lyrical acts showcased the talent of
  • t racial bigotry in an era before political correctness would have made such a show impossible."