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 条
  • [21] Relating Clusterization Measures and Software Quality
    Csaba, Bela
    Schrettner, Lajos
    Beszedes, Arpad
    Jasz, Judit
    Hegedus, Peter
    Gyimothy, Tibor
    PROCEEDINGS OF THE 17TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR 2013), 2013, : 345 - 348
  • [22] SOFTWARE TRENDS
    GALLER, BA
    DATA PROCESSING, 1965, 7 (03): : 56 - 57
  • [23] SOFTWARE TRENDS
    WREGE, R
    POPULAR COMPUTING, 1982, 2 (01): : 82 - 86
  • [24] TRENDS IN SOFTWARE
    BRADY, R
    ENGINEERING, 1983, 223 (09): : 682 - 685
  • [25] SOFTWARE TRENDS
    BROWN, F
    MEASUREMENTS & CONTROL, 1995, (169): : 161 - 161
  • [26] Standardization trends relating to smart TV
    Tanaka, Kiyoshi
    NTT Technical Review, 2014, 12 (06):
  • [27] Activities relating to space technology
    Astor, JL
    ACTA ASTRONAUTICA, 2002, 50 (02) : 75 - 77
  • [28] Forecasting Technology Trends through the Gap Between Science and Technology: The Case of Software as an E-Commerce Service
    Daim, Tugrul
    Bukhari, Esraa
    Bakry, Dana
    VanHuis, James
    Yalcin, Haydar
    Wang, Xiaoli
    FORESIGHT AND STI GOVERNANCE, 2021, 15 (02) : 12 - 24
  • [29] Relating software architecture views by using MDA
    Cordero, Rogelio Limon
    Salavert, Isidro Ramos
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2007, PT 3, PROCEEDINGS, 2007, 4707 : 104 - +
  • [30] Questionnaire Report on Matters Relating to Software Patterns
    Almari, Hassan
    Boughton, Clive
    2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA), 2014,