Software methodology, Pervasive computing, Software agent and Middleware, Formal Methods and software automation.