Support methods for formal specification description based on reuse and their environments 再利用に基づく形式仕様記述支援法とその支援環境
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Support methods for formal specification description based on reuse and their environments
- タイトル別名
-
再利用に基づく形式仕様記述支援法とその支援環境
- 著者名
-
Pairoj Termsinsuwan
- 著者別名
-
パイロート タームスィンスワン
- 学位授与大学
-
東北大学
- 取得学位
-
博士 (情報科学)
- 学位授与番号
-
甲第5726号
- 学位授与年月日
-
1996-03-26
注記・抄録
博士論文
目次
- Abstract / p2 (0006.jp2)
- Table of contents / p4 (0008.jp2)
- Chapter1 Introduction / p1 (0011.jp2)
- 1-1 Background / p1 (0011.jp2)
- 1-2 Objective / p3 (0013.jp2)
- 1-3 Comparison to related works / p6 (0016.jp2)
- 1-4 Chapterwise summary / p9 (0019.jp2)
- Chapter2 Preliminaries / p12 (0022.jp2)
- 2-1 Brief introduction to ADT / p13 (0023.jp2)
- 2-2 Definition of ADT / p15 (0025.jp2)
- Chapter3 ADT Specification Support system(ASS)based on reuse of similar ADT / p19 (0029.jp2)
- 3-1 Problems in designing support system / p20 (0030.jp2)
- 3-2 Outline of the idea / p22 (0032.jp2)
- 3-3 ADT Specification Model / p23 (0033.jp2)
- 3-4 Similarity of ADT / p26 (0036.jp2)
- 3-5 Design and Implementation of ASS / p34 (0044.jp2)
- 3-6 Experiments and Evaluation of ASS / p44 (0054.jp2)
- 3-7 Conclusion / p50 (0060.jp2)
- Chapter4 ADT equation Modification Algorithm(AMA) / p52 (0062.jp2)
- 4-1 Problems in ADT Modification / p53 (0063.jp2)
- 4-2 Basic Idea / p57 (0067.jp2)
- 4-3 ADT equation Modification Algorithm / p58 (0068.jp2)
- 4-4 An application example / p68 (0078.jp2)
- 4-5 Proof for the algorithm / p71 (0081.jp2)
- 4-6 Conclusion / p80 (0090.jp2)
- Chapter5 ADT Specification Support Environment(ASSE)with automatic modifications / p81 (0091.jp2)
- 5-1 The remaining problems in ASS and AMA / p82 (0092.jp2)
- 5-2 Other three Modification Algorithms / p83 (0093.jp2)
- 5-3 Design and Implementation of ASSE / p91 (0101.jp2)
- 5-4 An application example / p93 (0103.jp2)
- 5-5 Experiments and Evaluation of ASSE / p99 (0109.jp2)
- 5-6 Conclusion / p105 (0115.jp2)
- Chapter6 Conclusions / p106 (0116.jp2)
- References / p110 (0120.jp2)
- List of author's research papers / p115 (0125.jp2)