Automated reasoning for software engineering; human factors; mobile networking; software engineering methodologies; e-commerce; information systems methodologies; high integrity software development; multimedia design; software development in Java and a software engineering master class; major project also required for Master's.