Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
This paper presents quantitative comparison of the performance of different methods for selecting the guide particle for multi-objective particle swarm optimization (MOPSO). Two p...
David Ireland, Andrew Lewis, Sanaz Mostaghim, Junw...
Software projects typically require effort estimation from the Software Development Life Cycle (SDLC) staff at the commencement of the software development activities. Inaccuracie...
Our goal is the production of highly accurate photorealistic descriptions of the 3D world with a minimum of human interaction and increased computational efficiency. Our input is...
This workshop addresses current needs in the games developers' community and games industry to evaluate the overall user experience of games. New forms of interaction techniq...
Regina Bernhaupt, Manfred Eckschlager, Manfred Tsc...