検索結果- 英語 - 英語
検索内容:
arterio-contractile
contrast ratio
noun
social contract
noun
design by contract
noun
(software,
design)
A
software
design
approach
that
prescribes
that
software
designers
should
define
formal,
precise
and
verifiable
interface
specifications
("contracts")
for
software
components
that
extend
the
ordinary
definition
of
abstract
data
types
with
preconditions,
postconditions
and
invariants.
loading!
Loading...