One Digital Smart Living (OTOD Smart Living) project nationwide to strengthen the digital capabilities of Thai communities and farmers. The application process is underway and interested parties ...

Results: In this work, we put the focus on some services of the “Smart City”. While using UML 2.x in modeling the structural and behavioral aspects of our Service-Oriented application, we obtain four ...

Abstract: Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification ...

A Nassi-Shneiderman diagram, also known as Structogram, is a graphical representation outlining the sequential steps and control flows of a computer program. The project streamlines the coding process ...

The internet of things, or IoT, describes the network of physical objects (things) that are embedded with sensors, software, and other technologies for the purpose of connecting and exchanging data ...