Abstract :
The following topics are dealt with: software product lines; multiplatform video games; real-time video games; model checking; computer games; Java PathFinder; sport software gamification; user requirements; goal-oriented requirement analysis; artificial intelligence programming; educational software engineering; complex network multiplayer games; API complexity analysis; and networked multiplayer games.
Keywords :
Java; application program interfaces; artificial intelligence; computer games; computer science education; formal specification; formal verification; product development; software reusability; API complexity analysis; Java PathFinder; artificial intelligence programming; complex network multiplayer games; computer games; educational software engineering; goal-oriented requirement analysis; model checking; multiplatform video games; networked multiplayer games; real-time video games; software product lines; sport software gamification; user requirements;
Conference_Titel :
Games and Software Engineering (GAS), 2013 3rd International Workshop on
Conference_Location :
San Francisco, CA
DOI :
10.1109/GAS.2013.6632580
