1 | -- | 2 | Jinjuan She, Yong Zeng. Cross-Disciplinary Design Methodology |
3 | -- | 37 | Serguei A. Mokhov, Miao Song 0001, Satish Chilkaka, Zinia Das, Jie Zhang, Jonathan Llewellyn, Sudhir P. Mudur. Agile Forward-Reverse Requirements Elicitation as a Creative Design Process: A Case Study of Illimitable Space System v2 |
39 | -- | 70 | Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid, Djamel Djenouri. Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method |
71 | -- | 85 | Jinsong Yu, Shengli Chen. Validation of Recursive Logic in Graphic Design |