Support methods for formal specification description based on reuse and their environments 再利用に基づく形式仕様記述支援法とその支援環境

この論文をさがす

著者

    • Pairoj Termsinsuwan パイロート タームスィンスワン

書誌事項

タイトル

Support methods for formal specification description based on reuse and their environments

タイトル別名

再利用に基づく形式仕様記述支援法とその支援環境

著者名

Pairoj Termsinsuwan

著者別名

パイロート タームスィンスワン

学位授与大学

東北大学

取得学位

博士 (情報科学)

学位授与番号

甲第5726号

学位授与年月日

1996-03-26

注記・抄録

博士論文

目次

  1. Abstract / p2 (0006.jp2)
  2. Table of contents / p4 (0008.jp2)
  3. Chapter1 Introduction / p1 (0011.jp2)
  4. 1-1 Background / p1 (0011.jp2)
  5. 1-2 Objective / p3 (0013.jp2)
  6. 1-3 Comparison to related works / p6 (0016.jp2)
  7. 1-4 Chapterwise summary / p9 (0019.jp2)
  8. Chapter2 Preliminaries / p12 (0022.jp2)
  9. 2-1 Brief introduction to ADT / p13 (0023.jp2)
  10. 2-2 Definition of ADT / p15 (0025.jp2)
  11. Chapter3 ADT Specification Support system(ASS)based on reuse of similar ADT / p19 (0029.jp2)
  12. 3-1 Problems in designing support system / p20 (0030.jp2)
  13. 3-2 Outline of the idea / p22 (0032.jp2)
  14. 3-3 ADT Specification Model / p23 (0033.jp2)
  15. 3-4 Similarity of ADT / p26 (0036.jp2)
  16. 3-5 Design and Implementation of ASS / p34 (0044.jp2)
  17. 3-6 Experiments and Evaluation of ASS / p44 (0054.jp2)
  18. 3-7 Conclusion / p50 (0060.jp2)
  19. Chapter4 ADT equation Modification Algorithm(AMA) / p52 (0062.jp2)
  20. 4-1 Problems in ADT Modification / p53 (0063.jp2)
  21. 4-2 Basic Idea / p57 (0067.jp2)
  22. 4-3 ADT equation Modification Algorithm / p58 (0068.jp2)
  23. 4-4 An application example / p68 (0078.jp2)
  24. 4-5 Proof for the algorithm / p71 (0081.jp2)
  25. 4-6 Conclusion / p80 (0090.jp2)
  26. Chapter5 ADT Specification Support Environment(ASSE)with automatic modifications / p81 (0091.jp2)
  27. 5-1 The remaining problems in ASS and AMA / p82 (0092.jp2)
  28. 5-2 Other three Modification Algorithms / p83 (0093.jp2)
  29. 5-3 Design and Implementation of ASSE / p91 (0101.jp2)
  30. 5-4 An application example / p93 (0103.jp2)
  31. 5-5 Experiments and Evaluation of ASSE / p99 (0109.jp2)
  32. 5-6 Conclusion / p105 (0115.jp2)
  33. Chapter6 Conclusions / p106 (0116.jp2)
  34. References / p110 (0120.jp2)
  35. List of author's research papers / p115 (0125.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000134976
  • NII著者ID(NRID)
    • 8000000135247
  • DOI(NDL)
  • NDL書誌ID
    • 000000299290
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ