To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software |
|
Author |
|
| Citation |
Vol. 6 No. 1 pp. 192~203 |
|
Keywords |
Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling |
|
Title |
IDD: A case-based model of learning in design using artificial neural network-based approach |
|
Author |
|
| Citation |
Vol. 6 No. 2 pp. 242~246 |
|
Keywords |
Artificial Intelligence, Human Factors, Design Methodology, Design Decision Model. Human Computer Interaction |
|
Title |
An Intelligent Man-Machine（IMM） Model for Evaluating New Designs of Child Car Seats |
|
Author |
|
| Citation |
Vol. 6 No. 3 pp. 80-87 |
|
Keywords |
Artificial Intelligence, Human Factors, Design Methodology, Design Decision Model. Human Computer Interaction |
|
Title |
|
|
Author |
Yang Xinhua, Mi Xiaozhen, Li Xiaofeng, Zhao Wenzhong, Deng Wu |
| Citation |
Vol. 6 No. 11 pp. 115-120 |
|
Keywords |
design method, stamping die, case-based reasoning, rough set theory |
