Relating software validation to technology trends

被引:2
|
作者
Zhiming Liu
Abhik Roychoudhury
机构
[1] UNU-IIST,
[2] National University of Singapore,undefined
关键词
Model-based development; Abstraction; Refinement ; Model transformation; Verification; Tool support;
D O I
10.1007/s10009-012-0259-5
中图分类号
学科分类号
摘要
Large scale software engineering is undergoing substantial shifts due to a combination of technological and economic developments. These include the prevalence of software for embedded systems, global software development across geographically distributed teams, the technological shift towards multi-core platforms, and the inevitable shift towards software being used as a service. In this overview article, we discuss some of the challenges that lie ahead for software validation, due to such technological developments. In particular, we provide a brief introduction to the papers appearing in this special issue, many of which specifically focus on validation of software running on real-time embedded systems.
引用
收藏
页码:631 / 638
页数:7
相关论文
共 50 条
  • [1] Trends in software technology
    Tsai, WT
    [J]. COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 173 - 174
  • [2] Trends in software process technology
    [J]. NTT R&D, 3 (223-228):
  • [3] Future trends of software technology and applications: Software architecture
    Clements, Paul C.
    [J]. 30th Annual International Computer Software and Applications Conference, Vol 1, Regular Papers/Panels, Proceedings, 2006, : 16 - 16
  • [4] Social Software and Web 2.0 Technology Trends
    Schutte, Marietjie
    [J]. ONLINE INFORMATION REVIEW, 2009, 33 (06) : 1206 - 1207
  • [5] PROGRESS AND DEVELOPMENT TRENDS IN DRYING TECHNOLOGY RELATING TO DRYING OF SHAPELESS MATERIALS
    STOCKBURGER, D
    [J]. CHEMIE INGENIEUR TECHNIK, 1976, 48 (03) : 199 - 205
  • [6] Physician's emerging roles relating to trends in health information technology
    Johnson, J. David
    [J]. INFORMATICS FOR HEALTH & SOCIAL CARE, 2015, 40 (04): : 362 - 375
  • [7] Future Trends in Software Technology to Support Digital Innovations
    Kawaba, Motoyuki
    Tanaka, Ryuta
    Kurihara, Hidetoshi
    Abiru, Kenichi
    [J]. FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 2018, 54 (03): : 70 - 76
  • [8] New Trends in Camera and Software Technology in Nuclear Cardiology
    Garcia, Ernest V.
    Faber, Tracy L.
    [J]. CARDIOLOGY CLINICS, 2009, 27 (02) : 227 - +
  • [9] Future trends of software technology and applications -: The phone is the computer
    Harrison, Warren
    [J]. 30th Annual International Computer Software and Applications Conference, Vol 1, Regular Papers/Panels, Proceedings, 2006, : 17 - 17
  • [10] Research on the Status and Development Trends of Embedded Software Technology
    He, Changlin
    Li, Yufen
    [J]. Proceedings of the 2016 6th International Conference on Applied Science, Engineering and Technology (ICASET), 2016, 77 : 213 - 216