抄録
In this paper, we propose description style of model-based formal specification considering an executability for verification and a readability. We use model-based formal specification language VDM++. In a software development, a role of specification and that of design are often distinguished. If this boundary is ambiguous, designers can not understand a scope of specification and design. In an executable specification, there are mechanisms of execution and description of specifications. If this boundary is ambiguous, it is hard to understand a specification. First, we focus on the internal data structure as a boundary between specification and design. We propose techniques of hiding types that are outside the scope of specification. We compare the differences in a readability by use of hiding techniques. Next, in a executable specification, we examine a readability and an executability from the description style provided by the language specification of VDM++. Finally, we present the part of experimental results of ongoing project.
| 元の言語 | 英語 |
|---|---|
| ページ（範囲） | 130-135 |
| ページ数 | 6 |
| ジャーナル | Computer Software |
| 巻 | 27 |
| 発行部数 | 2 |
| 出版物ステータス | 出版済み - 5 1 2010 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Software
これを引用
Description style of model-based formal specification considering executability and readability. / Nakatsugawa, Yasumasa; Kurita, Taro; Araki, Keijiro.
：: Computer Software, 巻 27, 番号 2, 01.05.2010, p. 130-135.研究成果: ジャーナルへの寄稿 › 記事
}
TY - JOUR
T1 - Description style of model-based formal specification considering executability and readability
AU - Nakatsugawa, Yasumasa
AU - Kurita, Taro
AU - Araki, Keijiro
PY - 2010/5/1
Y1 - 2010/5/1
N2 - In this paper, we propose description style of model-based formal specification considering an executability for verification and a readability. We use model-based formal specification language VDM++. In a software development, a role of specification and that of design are often distinguished. If this boundary is ambiguous, designers can not understand a scope of specification and design. In an executable specification, there are mechanisms of execution and description of specifications. If this boundary is ambiguous, it is hard to understand a specification. First, we focus on the internal data structure as a boundary between specification and design. We propose techniques of hiding types that are outside the scope of specification. We compare the differences in a readability by use of hiding techniques. Next, in a executable specification, we examine a readability and an executability from the description style provided by the language specification of VDM++. Finally, we present the part of experimental results of ongoing project.
AB - In this paper, we propose description style of model-based formal specification considering an executability for verification and a readability. We use model-based formal specification language VDM++. In a software development, a role of specification and that of design are often distinguished. If this boundary is ambiguous, designers can not understand a scope of specification and design. In an executable specification, there are mechanisms of execution and description of specifications. If this boundary is ambiguous, it is hard to understand a specification. First, we focus on the internal data structure as a boundary between specification and design. We propose techniques of hiding types that are outside the scope of specification. We compare the differences in a readability by use of hiding techniques. Next, in a executable specification, we examine a readability and an executability from the description style provided by the language specification of VDM++. Finally, we present the part of experimental results of ongoing project.
UR - http://www.scopus.com/inward/record.url?scp=77956425988&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77956425988&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:77956425988
VL - 27
SP - 130
EP - 135
JO - Computer Software
JF - Computer Software
SN - 0289-6540
IS - 2
ER -