Software abstraction for casual games using temporal model: an alloy-based approach

Tôn, Long-Phuoc, Pham, Hoang-Anh and Dao, Bo 2017, Software abstraction for casual games using temporal model: an alloy-based approach, in ACOMP 2017 : Proceedings of the 2017 International Conference on Advanced Computing and Applications, Institute of Electrical and Electronics Engineers, Piscataway, N.J., pp. 3-9, doi: 10.1109/ACOMP.2017.33.

Attached Files
Name Description MIMEType Size Downloads

Title Software abstraction for casual games using temporal model: an alloy-based approach
Author(s) Tôn, Long-Phuoc
Pham, Hoang-Anh
Dao, Bo
Conference name IEEE Computer Society. Conference (2017 : Ho Chi Minh City, Vietnam)
Conference location Ho Chi Minh City, Vietnam
Conference dates 2017/11/29 - 2017/12/01
Title of proceedings ACOMP 2017 : Proceedings of the 2017 International Conference on Advanced Computing and Applications
Editor(s) Le, Lam-Son
Dang, Tran Khanh
Küng, Josef
Ishibashi, Koichiro
Thoai, Nam
Publication date 2017
Series IEEE Computer Society Conference
Start page 3
End page 9
Total pages 7
Publisher Institute of Electrical and Electronics Engineers
Place of publication Piscataway, N.J.
Keyword(s) Alloy
software abstraction
requirements engineering
software design
ISBN 9781538606070
Language eng
DOI 10.1109/ACOMP.2017.33
HERDC Research category E1 Full written paper - refereed
Copyright notice ©2017, IEEE
Persistent URL http://hdl.handle.net/10536/DRO/DU:30120378

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 24 Abstract Views, 0 File Downloads  -  Detailed Statistics
Created: Thu, 04 Apr 2019, 12:56:11 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.