Software development environment: dmCASE

Saeko Matsuura, Masaharu Ohbayashi

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)116-128
Number of pages13
JournalJournal of Information Processing
Volume15
Issue number1
Publication statusPublished - 1992
Externally publishedYes

Fingerprint

Software engineering
Specification languages
Object oriented programming
User interfaces
Formal specification

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 journalArticle

Matsuura, S & Ohbayashi, M 1992, 'Software development environment: dmCASE', Journal of Information Processing, vol. 15, no. 1, pp. 116-128.
Matsuura, Saeko ; Ohbayashi, Masaharu. / Software development environment : dmCASE. In: Journal of Information Processing. 1992 ; Vol. 15, No. 1. pp. 116-128.
@article{a92533b816ec4114a5d0dae5a64e622b,
title = "Software development environment: dmCASE",
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.",
author = "Saeko Matsuura and Masaharu Ohbayashi",
year = "1992",
language = "English",
volume = "15",
pages = "116--128",
journal = "Journal of Information Processing",
issn = "0387-5806",
publisher = "Information Processing Society of Japan",
number = "1",

}

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 -