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 条
  • [31] Validation of first-order rule-based systems
    Cordier, MO
    Loiseau, S
    [J]. COMPUTATIONAL INTELLIGENCE, 1996, 12 (04) : 523 - 540
  • [32] Flexible specification and application of rule-based transformations in an automotive design flow
    Oetjens, Jan-Hendrik
    Gerlach, Joachim
    Rosenstiel, Wolfgang
    [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1417 - +
  • [33] KNOWLEDGE BASED MDA REQUIREMENTS SPECIFICATION AND VALIDATION TECHNIQUE
    Lopata, Audrius
    Ambraziunas, Martas
    Gudas, Saulius
    [J]. TRANSFORMATIONS IN BUSINESS & ECONOMICS, 2012, 11 (01): : 248 - 260
  • [34] Rule-Based Maintenance of Post-Requirements Traceability Relations
    Maeder, Patrick
    Gotel, Orlena
    Philippow, Ilka
    [J]. PROCEEDINGS OF THE 16TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, 2008, : 23 - +
  • [35] Model based requirements specification and validation for component architectures
    Cardei, Ionut
    Fonoage, Mihai
    Shankar, Ravi
    [J]. 2008 2ND ANNUAL IEEE SYSTEMS CONFERENCE, 2008, : 179 - 186
  • [36] An object-oriented rule-based framework for the specification of flexible manufacturing systems
    Mak, KL
    Wong, STW
    Lau, HYK
    [J]. COMPUTERS IN INDUSTRY, 1999, 39 (02) : 127 - 146
  • [37] MGA - RULE-BASED SPECIFICATION OF ACTIVE OBJECT-ORIENTED DATABASE APPLICATIONS
    SAWYER, P
    SOMMERVILLE, I
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (04) : 203 - 211
  • [38] Beyond Support and Confidence: Exploring Interestingness Measures for Rule-Based Specification Mining
    Le, Tien-Duy B.
    Lo, David
    [J]. 2015 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), 2015, : 331 - 340
  • [39] A Rule-based Approach for Evolution of AADL Models based on Changes in Functional Requirements
    Goknil, Arda
    Kurtev, Ivan
    van den Berg, Klaas
    [J]. ACM PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ECSA-W), 2016,
  • [40] Rule-Based Workflow Validation of Hierarchical Service Level Agreements
    Haq, Irfan Ul
    Paschke, Adrian
    Schikuta, Erich
    Boley, Harold
    [J]. 2009 4TH INTERNATIONAL CONFERENCE ON GRID AND PERVASIVE COMPUTING WORKSHOPS: (GPC WORKSHOPS), 2009, : 94 - +
12345