Sciweavers

11462 search results - page 148 / 2293
» Developing Application-Centric Methods
Sort
View
TFM
2009
Springer
119views Formal Methods» more  TFM 2009»
15 years 10 months ago
Teaching Formal Methods for the Unconquered Territory
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...
Néstor Cataño, Camilo Rueda
133
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
Hybrid Particle Guide Selection Methods in Multi-Objective Particle Swarm Optimization
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...
117
Voted
APSEC
2006
IEEE
15 years 9 months ago
A Practical Estimation Method for Complex RE
Software projects typically require effort estimation from the Software Development Life Cycle (SDLC) staff at the commencement of the software development activities. Inaccuracie...
Bhavani Palyagar, Frank Moisiadis
3DIM
2005
IEEE
15 years 9 months ago
Semi-Automatic Range to Range Registration: A Feature-Based Method
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...
Chen Chao, Ioannis Chao
ACMACE
2007
ACM
15 years 7 months ago
Methods for evaluating games: how to measure usability and user experience in games?
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...