A flexible software development method and its support system ソフトウェアのやわらかい開発法とその支援システム

この論文をさがす

著者

    • 宋, 国煥 Song, Kuk Hwan

書誌事項

タイトル

A flexible software development method and its support system

タイトル別名

ソフトウェアのやわらかい開発法とその支援システム

著者名

宋, 国煥

著者別名

Song, Kuk Hwan

学位授与大学

東北大学

取得学位

博士 (情報科学)

学位授与番号

甲第5724号

学位授与年月日

1996-03-26

注記・抄録

博士論文

目次

  1. Contents / p4 (0008.jp2)
  2. Acknowledgements / p1 (0005.jp2)
  3. Abstract / p2 (0006.jp2)
  4. List of Captions / p6 (0010.jp2)
  5. 1 Introduction / p1 (0012.jp2)
  6. 1.1 Background / p1 (0012.jp2)
  7. 1.2 Objective / p3 (0014.jp2)
  8. 1.3 Relation among Chapters / p6 (0017.jp2)
  9. 2 Flexible Software Development / p9 (0020.jp2)
  10. 2.1 Flexible System / p9 (0020.jp2)
  11. 2.2 Flexible Software Development Method / p11 (0022.jp2)
  12. 3 Synthesis of Formal Specification / p14 (0025.jp2)
  13. 3.1 Requirement Description and State Transition System / p15 (0026.jp2)
  14. 3.2 Transformation into State Transition System / p24 (0035.jp2)
  15. 3.3 Synthesis Method by Logical Petri Net / p26 (0037.jp2)
  16. 3.4 Conclusion / p40 (0051.jp2)
  17. 4 Verification of Requirement Description / p42 (0053.jp2)
  18. 4.1 Verification Method / p43 (0054.jp2)
  19. 4.2 Reflection of Detected Errors / p49 (0060.jp2)
  20. 5 Refinement of System Specification / p61 (0072.jp2)
  21. 5.1 Refinement Method for Requirement Description / p62 (0073.jp2)
  22. 5.2 Integrated System in Refinement Method / p69 (0080.jp2)
  23. 5.3 Flexibility in Refinement Method / p73 (0084.jp2)
  24. 5.4 Conclusion / p77 (0088.jp2)
  25. 6 Design Support System / p79 (0090.jp2)
  26. 6.1 Configuration of Support System / p79 (0090.jp2)
  27. 6.2 Execution Procedure for Support System / p83 (0094.jp2)
  28. 6.3 Application Example / p86 (0097.jp2)
  29. 7 Conclusions / p110 (0121.jp2)
  30. References / (0125.jp2)
  31. List of Author's Research Papers / p119 (0130.jp2)
0アクセス

各種コード

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