Abstract
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 language | English |
|---|---|
| Pages (from-to) | 116-128 |
| Number of pages | 13 |
| Journal | Journal of Information Processing |
| Volume | 15 |
| Issue number | 1 |
| Publication status | Published - 1992 |
| Externally published | Yes |
Fingerprint
ASJC Scopus subject areas
- Engineering(all)
Cite this
Software development environment : dmCASE. / Matsuura, Saeko; Ohbayashi, Masaharu.
In: Journal of Information Processing, Vol. 15, No. 1, 1992, p. 116-128.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Software development environment
T2 - dmCASE
AU - Matsuura, Saeko
AU - Ohbayashi, Masaharu
PY - 1992
Y1 - 1992
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0027071221&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027071221&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0027071221
VL - 15
SP - 116
EP - 128
JO - Journal of Information Processing
JF - Journal of Information Processing
SN - 0387-5806
IS - 1
ER -