検索結果- 英語 - 英語
検索内容:
desert pavement
desert hare
noun
desk pilot
noun
seismic design
noun
security by design
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...