Research abstract: Semantic concepts for the specification of non-functional properties of component-based software

被引：1
|
作者：
Zschaler, S [1 ]
机构：
[1] Tech Univ Dresden, D-8027 Dresden, Germany
来源：
ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/ICSE.2004.1317419
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：51 / 53
页数：3
相关论文
共 50 条
  • [21] A semantic paradigm for component-based specification integrating a notion of security risk
    Braendeland, Gyrd
    Stolen, Ketil
    [J]. FORMAL ASPECTS IN SECURITY AND TRUST, 2007, 4691 : 31 - +
  • [22] Research on Component-Based Software Reuse Technology
    Jiang Longqiang
    Wang Haitao
    Ye Yi
    [J]. MEMS, NANO AND SMART SYSTEMS, PTS 1-6, 2012, 403-408 : 2688 - +
  • [23] A component based design tool for networked embedded software supporting non-functional analysis
    Shi, Ke
    [J]. GCC 2006: FIFTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING WORKSHOPS, PROCEEDINGS, 2006, : 327 - +
  • [24] A software development process supporting non-functional properties
    Röttger, S
    Zschaler, S
    [J]. Proceedings of the IASTED International Conference on Software Engineering, 2004, : 202 - 205
  • [25] Research on Component-based Software Reliability in Agile Development
    Wang, Shi-an
    [J]. PROCEEDINGS OF 2010 ASIA-PACIFIC YOUTH CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2010, : 304 - 307
  • [26] Research and design of a component-based distributed software platform
    Fu, Shaoyong
    Zhang, Jie
    Wang, Gang
    Xu, Zheng
    Liu, Jiren
    [J]. Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 1999, 20 (12): : 885 - 889
  • [27] Towards a specification technique for component-based measurement and control software for embedded systems
    Maydl, W
    Sick, B
    Grass, W
    [J]. PROCEEDINGS OF THE 28TH EUROMICRO CONFERENCE, 2002, : 74 - 80
  • [28] Methods of component-based software engineering essential concepts and classroom experience
    Wallnau, K
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 709 - 710
  • [29] Formal Specification of Component-Based Software Architectures: Correctness Checking (with Parq) - Calculus
    Diosa, Henry Alberto
    Diaz Frias, Juan Francisco
    Gaona Cuevas, Carlos Mauricio
    [J]. REVISTA CIENTIFICA, 2010, (12): : 156 - 171
  • [30] Highly reliable component-based software development by using algebraic behavioral specification
    Matsumoto, M
    Futatsugi, K
    [J]. ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 2000, : 35 - 43
12345