Trustworthy smart city systems using refinement and Event-B Theories

Alkhammash, Eman H.

doi:10.1007/s11042-021-11301-4

Cited by 1 publication

(1 citation statement)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As the basis of the whole smart city data resources, economic data information needs to be placed in an important position in the construction of smart city. erefore, how to design and implement macroeconomic data management system is of great signi cance [5,6].…”

Section: Introductionmentioning

confidence: 99%

Smart City Economic Management Prediction Model Based on Information Analysis System

Yu¹

2022

Mobile Information Systems

View full text Add to dashboard Cite

In order to establish a central metadatabase that can comprehensively reflect the overall situation of regional economic and social development, this paper proposes a smart city economic management prediction model based on information analysis system. First, this paper introduces the common prediction methods of time series, explains the meaning of smart city, and expounds the problems existing in the economic management of smart city. Second, the functional requirements of the economic database management system for smart city are introduced. According to the application analysis of the basic database and public information platform, most government departments, relevant civil servants, and the public in the urban area have the demand for sharing and utilizing macroeconomic information. This paper adopts B/S architecture: the foreground uses HTML5 and JavaScript technology and the background uses Java language. It adopts SSH (Spring + Struts + Hibernate) framework, and the database uses Oracle11g to realize the overall function of the system. The system is tested, and the test results of data statistics function show that the selected time period of the last five years is correct and the linear graph is correct. It verifies and ensures the integrity, correctness, and operation stability of the system function.

show abstract

Section: Introductionmentioning

confidence: 99%

Smart City Economic Management Prediction Model Based on Information Analysis System

Yu¹

2022

Mobile Information Systems

View full text Add to dashboard Cite

show abstract

Trustworthy smart city systems using refinement and Event-B Theories

Cited by 1 publication

References 27 publications

Smart City Economic Management Prediction Model Based on Information Analysis System

Smart City Economic Management Prediction Model Based on Information Analysis System

Contact Info

Product

Resources

About