検索結果- 英語 - 英語
検索内容:
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.
defensive design
noun
model-based design
noun
designer label
loading!
Loading...