user

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 条
  • [31] Temporal Properties in component-based Automotive-Software
    Sehnke, Tobias
    Schwarzmann, Dieter
    Baur, Remko
    Schultalbers, Matthias
    Ernst, Rolf
    [J]. AUTOREG 2017: AUTOMATISIERTES FAHREN UND VERNETZTE MOBILITAT, 2017, 2292 : 479 - 490
  • [32] Abstract interpretation-based verification of non-functional requirements
    Cortesi, A
    Logozzo, F
    [J]. COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2005, 3454 : 49 - 62
  • [33] Software Requirement Prioritization based on Non-Functional Requirements
    Garg, Umang
    Singhal, Abhishek
    [J]. PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, DATA SCIENCE AND ENGINEERING (CONFLUENCE 2017), 2017, : 793 - 797
  • [34] One approach to take into account goals in non-functional abstract Event-B specification
    Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B
    [J]. Matoussi, A. (abderrahman.matoussi@u-pec.fr), 1600, Lavoisier (17):
  • [35] Towards a classiflcation model for component-based software engineering research
    Kotonya, G
    Sommerville, I
    Hall, S
    [J]. PROCEEDINGS OF THE 29TH EUROMICRO CONFERENCE: NEW WAVES IN SYSTEM ARCHITECTURE, 2003, : 43 - 52
  • [36] On the treatment of non-functional properties of dynamic distributed software architectures
    Rosa, NS
    Cunha, PRF
    Justo, GRR
    [J]. PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2001, : 62 - 67
  • [37] Modeling and Analyzing Non-Functional Properties to Support Software Integration
    Agt, Henning
    Bauhoff, Gregor
    Kutsche, Ralf-D.
    Milanovic, Nikola
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, 2011, 83 : 149 - +
  • [38] EXECUTION-DRIVEN SIMULATION OF NON-FUNCTIONAL PROPERTIES OF SOFTWARE
    Miettinen, Antti P.
    Hirvisalo, Vesa
    Knuuttila, Jussi
    [J]. EUROPEAN SIMULATION AND MODELLING CONFERENCE 2010, 2010, : 214 - 219
  • [39] Formal Semantic of Component-based Reconfiguration Router Unit' s Software Model
    Liu Qiang
    Wang Bingqiang
    Huang Wanwei
    Wang Xianhui
    [J]. 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 3, PROCEEDINGS, 2009, : 348 - +
  • [40] Model-based verification of quantitative non-functional properties for software product lines
    Ghezzi, Carlo
    Sharifloo, Amir Molzam
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (03) : 508 - 524
12345