【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

A study on education support environment for LOTOS LOTOSの教育支援環境に関する研究

この論文をさがす

著者

    • 朴, 炳昊 パク, ビョンホ

書誌事項

タイトル

A study on education support environment for LOTOS

タイトル別名

LOTOSの教育支援環境に関する研究

著者名

朴, 炳昊

著者別名

パク, ビョンホ

学位授与大学

東北大学

取得学位

博士(情報科学)

学位授与番号

甲第7029号

学位授与年月日

1999-03-25

注記・抄録

博士論文

目次

  1. Contents / p7 (0009.jp2)
  2. Abstract / p3 (0005.jp2)
  3. Acknowledgements / p5 (0007.jp2)
  4. 1 Introduction / p1 (0016.jp2)
  5. 1.1 Background and Objectives / p1 (0016.jp2)
  6. 1.2 Organization of the Dissertation / p5 (0020.jp2)
  7. 2 Formal Description Techniques and Minimal Form / p7 (0022.jp2)
  8. 2.1 Introduction / p7 (0022.jp2)
  9. 2.2 FDTs:Formal Description Techniques / p7 (0022.jp2)
  10. 2.3 LOTOS / p12 (0027.jp2)
  11. 2.4 Minimal Form / p16 (0031.jp2)
  12. 2.5 Summary / p17 (0032.jp2)
  13. 3 Error Detection and Equivalence Verification in Finite Processes / p19 (0034.jp2)
  14. 3.1 Introduction / p19 (0034.jp2)
  15. 3.2 Simplest LTSs / p19 (0034.jp2)
  16. 3.3 Error Detection Method in Finite Processes / p23 (0038.jp2)
  17. 3.4 Summary / p42 (0057.jp2)
  18. 4 Error Detection and Equivalence Verification in Recursive Processes / p43 (0058.jp2)
  19. 4.1 Introduction / p43 (0058.jp2)
  20. 4.2 Preliminaries / p44 (0059.jp2)
  21. 4.3 Recursive-Simplest LTSs / p46 (0061.jp2)
  22. 4.4 Error Detection Method in Recursive Processes / p52 (0067.jp2)
  23. 4.5 Summary / p71 (0086.jp2)
  24. 5 Support Environment for LOTOS Education / p73 (0088.jp2)
  25. 5.1 Introduction / p73 (0088.jp2)
  26. 5.2 Design Concept and Software Structure / p74 (0089.jp2)
  27. 5.3 Prototype Implementation / p77 (0092.jp2)
  28. 5.4 Summary / p79 (0094.jp2)
  29. 6 Conclusions / p83 (0098.jp2)
  30. Bibliography / p87 (0102.jp2)
0アクセス

各種コード

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