Basic concepts and notions of ontological description of domains are implemented in the conceptual model being understandable to ordinary users of this domain.
Because of the increasing attention on environmental issues, especially air pollution, predicting whether a day is polluted or not is necessary to people’s hea
Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using f
Today’s mobile devices and networks enable the development of novel mobile service applications. Developing such applications raises many challenges including