Reasoning about software system design with SSM

被引：0
|
作者：
Kokol, P [1 ]
机构：
[1] UNIV MARIBOR,FERI,CTR MED INFORMAT,MARIBOR 62000,SLOVENIA
来源：
SYSTEMS FOR SUSTAINABILITY: PEOPLE, ORGANIZATIONS, AND ENVIRONMENTS | 1997年
关键词：
D O I：
暂无
中图分类号：
G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];
学科分类号：
1205 ; 120501 ;
摘要：
引用
收藏
页码：579 / 582
页数：4
相关论文
共 50 条
  • [1] Modeling and Reasoning about Design Alternatives of Software as a Service Architectures
    Tekinerdogan, Bedir
    Ozturk, Karahan
    Dogru, Ali
    [J]. 2011 9TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2011, : 312 - 319
  • [2] Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty
    Famelis, Michalis
    Rubin, Julia
    Czarnecki, Krzysztof
    Salay, Rick
    Chechik, Marsha
    [J]. 2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, : 93 - 100
  • [3] A calculus for reasoning about software composition
    Achermann, F
    Nierstrasz, O
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 331 (2-3) : 367 - 396
  • [4] Approximate reasoning about software models
    Ramanna, S
    [J]. NAFIPS 2004: ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1AND 2: FUZZY SETS IN THE HEART OF THE CANADIAN ROCKIES, 2004, : 791 - 795
  • [5] A fuzzy-based multimodel system for reasoning about the number of software defects
    Reformat, M
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2005, 20 (11) : 1093 - 1115
  • [6] Employing expert opinion and software metrics for reasoning about software
    Ahmad, Norita
    Laplante, Phillip A.
    [J]. DASC 2007: THIRD IEEE INTERNATIONAL SYMPOSIUM ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS, 2007, : 119 - +
  • [7] Design Reasoning Improves Software Design Quality
    Tang, Antony
    Tran, Minh H.
    Han, Jun
    van Vliet, Hans
    [J]. QUALITY OF SOFTWARE ARCHITECTURES, PROCEEDINGS, 2008, 5281 : 28 - +
  • [8] Reasoning about software-component behavior
    Sitaraman, M
    Atkinson, S
    Kulczycki, G
    Weide, BW
    Long, TJ
    Bucci, P
    Heym, F
    Pike, S
    Hollingsworth, JE
    [J]. SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY, 2000, 1844 : 266 - 283
  • [9] Better reasoning about software engineering activities
    Menzies, T
    Kiper, JD
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 391 - 394
  • [10] Obtaining and Reasoning About Good Enough Software
    Rinard, Martin
    [J]. 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 930 - 935
12345