Unified Modeling Language (UML) is the effective standard for modeling object-oriented
software systems. However, the ambiguity of semantics and the absence of consistency …

The aim of this study is to build an artificial intelligence chatbot application to support public
health services. The chatbot acts as an information service that can replace the role of …

Modeling and verification are crucial in designing traffic light control systems, guaranteeing
these systems meet desired operational properties and handle dynamic traffic conditions …

Crime mapping is a strategy used to detect and prevent crime in the police service. The
technique involves the use of geographical maps to help crime analysts identify and profile …

UML offers various models for system behavior. A key concern is efficiently determining that
these different models are all consistent. Determining this requires a precise semantic …

In the past few years, there is an enormous growth in enterprise computing. Large
enterprises have more than thousands of applications that work in tandem to support …

Vehicle registration is an important exercise as it assists various departments including
motor vehicle authorities, the police and tax authorities to make use of vehicle registration …

The integration of use case and formal specification plays an essential role in addressing
the issue of gaining the rigor and reliable software model such as formal model via easy and …

Water sport is a tourist attraction that operates alongside of Tanjung Benoa beach. It's
operated by private company in collaboration with local society under supervision of …

Crime mapping is a strategy used to detect and prevent crime in the police service. The
technique involves the use of geographical maps to help crime analysts identify and profile …