A DECISION-MAKING SPECIFICATION LANGUAGE FOR VERIFIABLE USER-INTERFACE ADAPTATION LOGIC
SAVIDIS, ANTHONY; ANTONA, MARGHERITA; STEPHANIDIS, CONSTANTINE
- 期刊名称International Journal of Software Engineering and Knowledge Engineering
- 作者SAVIDIS, ANTHONY; ANTONA, MARGHERITA; STEPHANIDIS, CONSTANTINE
- 卷第15卷
- 期第6期
- 印刷ISSN0218-1940
- 电子ISSN1793-6403
- 文件大小1435.32KB
- 发表时间2005-12
- DOI10.1142/S0218194005002646
- 页码1063-1094