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.

元の言語English
ページ(範囲)116-128
ページ数13
ジャーナルJournal of information processing
15
発行部数1
出版物ステータスPublished - 1992 12 1

ASJC Scopus subject areas

  • Computer Science(all)

フィンガープリント Software development environment: dmCASE' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用