Formal Methods for Electronic Government
نویسندگان
چکیده
Electronic government is a challenging domain for software engineering, with complex requirements involving agility, transparency, accuracy, and accessibility. The techniques of semantic frameworks— metadata-based, model-driven development—may help to address these challenges. Data semantics and model transformations are prime application areas for formal methods, and so electronic government is an exciting new domain for education and training in formal methods.
منابع مشابه
Underlying factors behind the low participation rate in electronic waste recycling
This study aims to understand influential factors for Jakarta’s residents to participate in a formal electronic waste recycling programme. It questions the efficacy of providing facilities to collect electronic waste despite the lack of legislated regulations or policies. Using the goal-framing theory as a foundation, a survey conducted on 208 respondents in 2018 revealed that selling obsolete ...
متن کاملElectronic Non Formal Education: A Case Study of Tehran Municipality
Considering the emergence of brand-new educational needs, non-formal education as a prerequisite of a knowledge-based society is increasingly going popular among nations in view of its continual nature. However, life-long learning as a key concept of the modern education system stands clearly at odds with traditional learning in every way of philosophy, objectives,...
متن کاملDesigning the Pattern of Human Resources Development of Electronic Government with an Administrative Health Approach (In the Administrative Organizations of Mazandaran Province)
Purpose: Considering the importance of human resources in electronic government and emphasis on administrative health, the aim of this study was to designing the pattern of human resources development of electronic government with an administrative health approach. Methodology: The present study in terms of purpose was applied and in terms of implementation method was mixed (qualitative and qu...
متن کاملElectronic Educational and Research Services as Infrastructure for the E- Government: Role of
Introduction: Websites serve as an initial step toward an e- government adoption which facilitates delivery of online services to customers. The existing study intended to investigate the role of university website to render educational and research services based on e- government maturity model in Iranian universities. Methods: This descriptive and cross- sectional study was conducted through...
متن کاملProgrammable Messaging for Electronic Government - Building a Foundation
Electronic Government offers citizens and businesses a single interface to all public services, implemented through cross-agency processes and applications. This paper presents a fragment of a software infrastructure that enables agencies to collaborate in the delivery of public services, responsible for automated, process-driven exchange of messages between applications. In addition to basic m...
متن کامل