Formal validation and requirements management based on the Jackson's reference model for requirements and specifications

被引：0
|
作者：
Collaborative Research Team for Verification, National Institute of Advanced Industrial Science and Technology , Japan [1 ]
机构：
来源：
Proc. - IEEE Pac. Rim Int. Symp. Dependable Comput., PRDC | / 251-252期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
5703262
中图分类号：
学科分类号：
摘要：
Formal specification - Formal logic
引用
收藏
相关论文
共 50 条
  • [41] A Reference Model for requirements engineering
    Hall, JG
    Rapanotti, L
    11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 181 - 187
  • [42] A requirements engineering reference model
    Broy, Manfred
    Geisberger, Eva
    Kazmeier, Jürgen
    Rudorfer, Arnold
    Beetz, Klaus
    Informatik-Spektrum, 2007, 30 (03) : 127 - 142
  • [43] A Formal Model for the Requirements Diagrams of SysML
    Valles-Barajas, F.
    IEEE LATIN AMERICA TRANSACTIONS, 2010, 8 (03) : 259 - 268
  • [44] A quality model for the evaluation of software requirements specifications
    Gasston, JL
    Constructing the Infrastructure for the Knowlege Economy: Methods and Tools, Theory and Structure, 2004, : 281 - 291
  • [45] Model checking early requirements specifications in Tropos
    Fuxman, A
    Pistore, M
    Mylopoulos, J
    Traverso, P
    FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2001, : 174 - 181
  • [46] Analogical reuse of requirements specifications: A computational model
    Spanoudakis, G
    Constantopoulos, P
    APPLIED ARTIFICIAL INTELLIGENCE, 1996, 10 (04) : 281 - 305
  • [47] A derivation strategy for formal specifications from natural language requirements models
    Mauco, Maria Virginia
    Leonardi, Maria Carmen
    COMPUTING AND INFORMATICS, 2007, 26 (04) : 421 - 445
  • [48] Validation of Data Warehouse Requirements Model Traceability Metrics Using a Formal Framework
    Rakhee
    Kumar, Manoj
    2015 2ND INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM), 2015, : 216 - 221
  • [49] Use Of Formal Languages To Represent The ERTMS/ETCS System Requirements Specifications
    Piccolo, Antonio
    Galdi, Vincenzo
    Senesi, Fabio
    Malangone, Raffaele
    2015 INTERNATIONAL CONFERENCE ON ELECTRICAL SYSTEMS FOR AIRCRAFT, RAILWAY, SHIP PROPULSION AND ROAD VEHICLES (ESARS), 2015,
  • [50] A Reference Model for the Selection of Open Source Tools for Requirements Management
    Chrabski, Bartosz
    Orlowski, Cezary
    NEW RESULTS IN DEPENDABILITY AND COMPUTER SYSTEMS, 2013, 224 : 93 - 107
12345