International College, KMITL

With very limited memory and processing power as well as low energy consumption of IoT (Internet of Things) devices, their communication networks are so designed and developed to meet these constraints. This course will focus on the emerging industrial standard of computer networks and communications technologies developed specifically for IoT devices, including network architectures and protocols layers.

This course studies recent progress and development in science and technology, including its concepts and discoveries which have or are expected to have significant influence upon our daily life as well as the environment and the society at present and in the future. The topics covered in the course will be selected from various branches of science, including physical science, biological science, material science, communications technology, energy and environmental science, and other branches of science which are having significant impact and are of great interest at a certain period of time in the future.

This course provides an introduction to software design with emphasis on architectural design and models of software architectures. Software architectures studied include: data flow architectures, procedure-based architectures, middleware architectures, object-oriented architectures, event-driven architectures, virtual machine architectures, component-based architectures, shared information system architectures, client-server architectures, distributed architectures, enterprise architectures, web-based architectures, service-oriented architectures, grid architectures, and mixed architectures. For each architectural style studied, the course discusses the technological background of its evolution, its advantages and disadvantages, and its uses in the software development.

This course studies three important methods for software verification and validation: testing, peer reviews, and formal verification, with emphasis on testing. Topics on testing include the necessity and limitations of testing, an overview of test processes, testing throughout the software development life cycle, unit testing, test design techniques, test automation, tool support for testing, and test management. The course will study how software peer reviews, which can help detect and prevent software defects, are carried out in practice and study the inspection processes throughout the software development life cycle, including the inspection of requirement documents, design documents, code, and test plans. The course will also provide a basic understanding of formal verification, including how to prove the correctness of a simple program using Hoare logic.