| 講演名 | 1993/5/19 形式仕様はどこまで形式的であるべきか 中川 中, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 形式仕様の手法は長くその価値が喧伝されてきた反面、実務で受け入れられた例はごく限られている。本著は何故形式仕様が実務家に受け入れられることがなかったは、その原因を探る。技術上の理由として主だったもののひとつは、従来の手法が完全に形式的な体系の中で記述や証明を強調しすぎたことである。形式仕様で最も重要なのは背景となる厳密な意味論の世界であることを考えると、形式性を厳密に守らなくてもこの手法の本質は損われないはずである。この意味での「意味主義」は形式仕様を広める有力な方向であろう。 |
| 抄録(英) | Sound barriers and buffer zones along a common way are effective measures to counter the traffic noise.In cities,however,in some cases,they are inapplicable,because they would block the access to offices,to shops,to houses,and to other facilities along the common way.We considered that it would be an effective measure for those cases to reduce the sound reflection area surrounding the way,and conducted model tests of full scale to reserch the effect of covering common footway or center separating wall with porous ceramic sound absorbers. Noise level reduction was with sound absorptive footway 2-6 £dB! at 1.5£m! high above GL., and 0-2 £dB! at 3.5£m! high above GL. and with sound absorptive center wall 1-3 £dB! at 1.5 and at 3.5 £m! high above GL. |
| キーワード(和) | 形式仕様記述 / モデル論的意味論 / 代数仕様 / 忍び寄る形式主義 |
| キーワード(英) | formal methods / model theoretic semantics / algebraic specification / creeping formalism |
| 資料番号 | KBSE93-1 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1993/5/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 形式仕様はどこまで形式的であるべきか |
| サブタイトル（和） | |
| タイトル（英） | Formality in Formal Methods |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 形式仕様記述 / formal methods |
| キーワード(2)（和/英） | モデル論的意味論 / model theoretic semantics |
| キーワード(3)（和/英） | 代数仕様 / algebraic specification |
| キーワード(4)（和/英） | 忍び寄る形式主義 / creeping formalism |
| 第 1 著者 氏名（和/英） | 中川 中 / Ataru T. Nakagawa |
| 第 1 著者 所属（和/英） | SRA SRA |
| 発表年月日 | 1993/5/19 |
| 資料番号 | KBSE93-1 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 30 |
| ページ範囲 | pp.- |
| ページ数 | 10 |
| 発行日 | |