- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification.