作者: Tosiyasu L. Kunii , Kenji Ohmori
DOI:
关键词:
摘要: The new methodology for software development is introduced and applied to an accounting system. method called the incrementally modular abstraction hierarchy (IMAH). IMAH has from abstract concrete levels. Invariants defined on level are kept a level, which allows adding modules each hierarchical avoiding combinatorial explosion of serious problem in engineering, while climbing down designing modeling complex This paper shows how developing system, fundamental enterprise systems suitable example systems. At first, very simple recording only journal vouches database system used describe methodologies IMAH. Then, it described this developed conventional