A study on education support environment for LOTOS LOTOSの教育支援環境に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
A study on education support environment for LOTOS
- Other Title
-
LOTOSの教育支援環境に関する研究
- Author
-
朴, 炳昊
- Author(Another name)
-
パク, ビョンホ
- University
-
東北大学
- Types of degree
-
博士(情報科学)
- Grant ID
-
甲第7029号
- Degree year
-
1999-03-25
Note and Description
博士論文
Table of Contents
- Contents / p7 (0009.jp2)
- Abstract / p3 (0005.jp2)
- Acknowledgements / p5 (0007.jp2)
- 1 Introduction / p1 (0016.jp2)
- 1.1 Background and Objectives / p1 (0016.jp2)
- 1.2 Organization of the Dissertation / p5 (0020.jp2)
- 2 Formal Description Techniques and Minimal Form / p7 (0022.jp2)
- 2.1 Introduction / p7 (0022.jp2)
- 2.2 FDTs:Formal Description Techniques / p7 (0022.jp2)
- 2.3 LOTOS / p12 (0027.jp2)
- 2.4 Minimal Form / p16 (0031.jp2)
- 2.5 Summary / p17 (0032.jp2)
- 3 Error Detection and Equivalence Verification in Finite Processes / p19 (0034.jp2)
- 3.1 Introduction / p19 (0034.jp2)
- 3.2 Simplest LTSs / p19 (0034.jp2)
- 3.3 Error Detection Method in Finite Processes / p23 (0038.jp2)
- 3.4 Summary / p42 (0057.jp2)
- 4 Error Detection and Equivalence Verification in Recursive Processes / p43 (0058.jp2)
- 4.1 Introduction / p43 (0058.jp2)
- 4.2 Preliminaries / p44 (0059.jp2)
- 4.3 Recursive-Simplest LTSs / p46 (0061.jp2)
- 4.4 Error Detection Method in Recursive Processes / p52 (0067.jp2)
- 4.5 Summary / p71 (0086.jp2)
- 5 Support Environment for LOTOS Education / p73 (0088.jp2)
- 5.1 Introduction / p73 (0088.jp2)
- 5.2 Design Concept and Software Structure / p74 (0089.jp2)
- 5.3 Prototype Implementation / p77 (0092.jp2)
- 5.4 Summary / p79 (0094.jp2)
- 6 Conclusions / p83 (0098.jp2)
- Bibliography / p87 (0102.jp2)