Software development environment: dmCASE

Saeko Matsuura, Masaharu Ohbayashi

研究成果: Article査読


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

  • Computer Science(all)

フィンガープリント 「Software development environment: dmCASE」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。