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 条
  • [41] Rule-based XML Mediation for Data Validation and Privacy Anonymization
    Teraguchi, Masayoshi
    Yoshida, Issei
    Uramoto, Naohiko
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2, 2008, : 21 - 28
  • [42] ProtoML: A rule-based validation language for Google Protocol Buffers
    Kalman, Miklos
    [J]. 2013 8TH INTERNATIONAL CONFERENCE FOR INTERNET TECHNOLOGY AND SECURED TRANSACTIONS (ICITST), 2013, : 188 - 193
  • [43] Model-Based Specification and Validation of User Interface Requirements
    Bomsdorf, Birgit
    Sinnig, Daniel
    [J]. HUMAN-COMPUTER INTERACTION, PT I, 2009, 5610 : 587 - +
  • [44] A model-driven perspective on the rule-based specification and analysis of service-based applications
    Iacob, Maria-Eugenia
    Jonkers, Henk
    [J]. ENTERPRISE INFORMATION SYSTEMS, 2009, 3 (03) : 279 - 298
  • [45] Specification, annotation, visualization and simulation of a large rule-based model for ERBB receptor signaling
    Creamer, Matthew S.
    Stites, Edward C.
    Aziz, Meraj
    Cahill, James A.
    Tan, Chin Wee
    Berens, Michael E.
    Han, Haiyong
    Bussey, Kimberley J.
    Von Hoff, Daniel D.
    Hlavacek, William S.
    Posner, Richard G.
    [J]. BMC SYSTEMS BIOLOGY, 2012, 6
  • [46] RULE-BASED COMPETITION
    SCHARPING, R
    [J]. FOREIGN AFFAIRS, 1994, 73 (04) : 192 - 194
  • [47] Rule-based languages
    Victor Vianu
    [J]. Annals of Mathematics and Artificial Intelligence, 1997, 19 : 215 - 259
  • [48] Rule-based XML
    Eguchi G.
    Leff L.L.
    [J]. Artificial Intelligence and Law, 2002, 10 (4) : 283 - 294
  • [49] Rule-based languages
    Vianu, V
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 215 - 259
  • [50] RULE-BASED SYSTEMS
    HAYESROTH, F
    [J]. COMMUNICATIONS OF THE ACM, 1985, 28 (09) : 921 - 932
12345