Software development environment: dmCASE

Saeko Matsuura, Masaharu Ohbayashi

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)116-128
Number of pages13
JournalJournal of information processing
Issue number1
Publication statusPublished - 1992 Dec 1
Externally publishedYes

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Software development environment: dmCASE'. Together they form a unique fingerprint.

Cite this