Horikawa Ken'ichi | Department of Information Science, Kyoto University
スポンサーリンク
概要
Department of Information Science, Kyoto University | 論文
- A Verification Method for Formal Requirements Description
- Visual Software Requirements Specification Technique Based on Communication Model(Special Issue on Knowledge-Based Software Engineering)
- Integration of Scenarios from Different Viewpoints
- Transformation between Scenarios from Different Viewpoints(Requirement Engineering , Knowledge-Based Software Engineering)
- A Two-phase, Cooperative Detailed/Global Parallel Wire Routing Algorithm