• DocumentCode
    1677682
  • Title

    Software Engineering in Public Health: Opportunities and Challenges

  • Author

    Ke, Wei ; Liu, Zhiming

  • Author_Institution
    Sch. of Comput. Sci. & Eng., Beihang Univ., Beijing, China
  • fYear
    2012
  • Firstpage
    630
  • Lastpage
    637
  • Abstract
    Based on the state of the art of health information systems (HIS) and the recent advancement in information and communication technology (ICT), we discuss the possible future HIS and their potential to transform the global health services. We also show why with all of the enabling technologies rapidly changing so many aspects of our daily life and environment, the actual impact of HIS on healthcare is much more limited than we think. We discuss the main reasons from the software engineering perspective and identify the challenges in the design and implementation of HIS to realize their perceived potentials. In the discussion of the causes of the challenges, we propose to apply model-driven software engineering methodologies to the design and analysis of future HIS, with the support of formal modeling and verification techniques and tools.
  • Keywords
    formal verification; health care; medical information systems; formal modeling; formal verification; global health services; health information systems; healthcare; information and communication technology; model-driven software engineering methodologies; public health; Analytical models; Complexity theory; Medical diagnostic imaging; Medical services; Software; Software engineering; Unified modeling language; Formal modeling and verification; Health information systems; Model-driven software engineering;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Distributed Control and Intelligent Environmental Monitoring (CDCIEM), 2012 International Conference on
  • Conference_Location
    Hunan
  • Print_ISBN
    978-1-4673-0458-0
  • Type

    conf

  • DOI
    10.1109/CDCIEM.2012.155
  • Filename
    6178484