In this paper, we propose a new software development environment: dmCASE on a new paradigm in the 1990's which Dr. Balzer and others proposed. This environment is composed of three major concepts. First thing is a design method: DMC (Design Method based on Concepts) which is a kind of object oriented programming methodology. Secondly, we use the standard ML which is a functional language, as an executable formal specification language which can verify formal description. In addition, tools and technologies which support the formal description using DMC are important. A flexible user interface like the process of human thinking plays an important part of our environment. Our goal is to construct an integrated environment for software development such that we can be concerned in more intelligent work.
|ジャーナル||Journal of information processing|
|出版ステータス||Published - 1992 12月 1|
ASJC Scopus subject areas
- コンピュータ サイエンス（全般）