user

Relating software validation to technology trends

被引：2
|
作者：
Zhiming Liu
Abhik Roychoudhury
机构：
[1] UNU-IIST,
[2] National University of Singapore,undefined
来源：
International Journal on Software Tools for Technology Transfer | 2012年 / 14卷 / 6期
关键词：
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 条
  • [31] A Methodology for Relating Software Structure with Energy Consumption
    Bangash, Abdul A.
    Sahar, Hareem
    Beg, Mirza O.
    [J]. 2017 IEEE 17TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2017, : 111 - 120
  • [32] SOFTWARE TECHNOLOGY Software Bots
    Lebeuf, Carlene
    Storey, Margaret-Anne
    Zagalsky, Alexey
    [J]. IEEE SOFTWARE, 2018, 35 (01) : 18 - 23
  • [33] Relating evolving business rules to software design
    Wan-Kadir, WMN
    Loucopoulos, P
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2004, 50 (07) : 367 - 382
  • [34] Relating evolving business rules to software design
    Kadir, WMNW
    Loucopoulos, P
    [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 129 - 134
  • [35] Relating Architectural Decay and Sustainability of Software Systems
    Duc Minh Le
    Carrillo, Carlos
    Capilla, Rafael
    Medvidovic, Nenad
    [J]. 2016 13TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2016, : 178 - 181
  • [36] RELATING TRENDS OF PRINCIPAL COMPONENTS TO TRENDS OF WATER-QUALITY CONSTITUENTS
    YU, YS
    ZOU, SM
    [J]. WATER RESOURCES BULLETIN, 1993, 29 (05): : 797 - 806
  • [37] SOFTWARE TRENDS FOR MUSEUMS
    BEARMAN, D
    [J]. MUSEUM NEWS, 1988, 66 (06): : 34 - 35
  • [38] Trends in software and control
    Sanz, R
    Årzén, KE
    [J]. IEEE CONTROL SYSTEMS MAGAZINE, 2003, 23 (03): : 12 - 15
  • [39] Trends in software verification
    Holzmann, GJ
    [J]. FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 40 - 50
  • [40] TRENDS IN SOFTWARE SCIENCE
    WEINBERG, J
    YOURDON, E
    [J]. JOURNAL OF SYSTEMS MANAGEMENT, 1977, 28 (06): : 39 - 41
12345