RULE-BASED REQUIREMENTS SPECIFICATION AND VALIDATION

被引：0
|
作者：
TSALGATIDOU, A [1 ]
KARAKOSTAS, V [1 ]
LOUCOPOULOS, P [1 ]
机构：
[1] UNIV MANCHESTER, INST SCI & TECHNOL, DEPT COMPUTAT, MANCHESTER M60 1QD, LANCS, ENGLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 436卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：251 / 263
页数：13
相关论文
共 50 条
  • [1] Timing specification and rule-based systems
    Zijderveld, PD
    Traore, I
    Vingerhoeds, RA
    Sahraoui, AEK
    [J]. NINTH EUROMICRO WORKSHOP ON REAL TIME SYSTEMS, PROCEEDINGS, 1997, : 177 - 177
  • [2] RULE-BASED BEHAVIOR MODELING - SPECIFICATION AND VALIDATION OF INFORMATION-SYSTEMS DYNAMICS
    TSALGATIDOU, A
    LOUCOPOULOS, P
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (06) : 425 - 432
  • [3] Rule-based requirements management methodology
    Saldana-Ramos, Javier
    Sanz-Esteban, Ana
    Garcia, Javier
    Amescua, Antonio
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2014, 26 (03) : 329 - 338
  • [4] Rule weight specification in fuzzy rule-based classification systems
    Ishibuchi, H
    Yamamoto, T
    [J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2005, 13 (04) : 428 - 435
  • [5] Performance Measurement of a Rule-Based Ontology Framework (ROF) for Auto-Generation of Requirements Specification
    Yanuarifiani, Amarilis Putri
    Chua, Fang-Fang
    Chan, Gaik-Yee
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGIES AND SYSTEMS APPROACH, 2022, 15 (01)
  • [6] Rule-based validation of SLA choreographies
    Ul Haq, Irfan
    Paschke, Adrian
    Schikuta, Erich
    Boley, Harold
    [J]. JOURNAL OF SUPERCOMPUTING, 2013, 63 (01): : 24 - 45
  • [7] Rule-based web service validation
    Kalman, Miklos
    [J]. 2014 IEEE 21ST INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2014), 2014, : 542 - 549
  • [8] A framework for validation of rule-based systems
    Knauf, R
    Gonzalez, AJ
    Abel, T
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2002, 32 (03): : 281 - 295
  • [9] Rule-based validation of SLA choreographies
    Irfan Ul Haq
    Adrian Paschke
    Erich Schikuta
    Harold Boley
    [J]. The Journal of Supercomputing, 2013, 63 : 24 - 45
  • [10] Rule-based generation of requirements traceability relations
    Spanoudakis, G
    Zisman, A
    Pérez-Miñana, E
    Krause, P
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 72 (02) : 105 - 127
12345