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 条
  • [21] DEVELOPING FORMAL OBJECT-ORIENTED REQUIREMENTS SPECIFICATIONS - A MODEL, TOOL AND TECHNIQUE
    JACKSON, RB
    EMBLEY, DW
    WOODFIELD, SN
    INFORMATION SYSTEMS, 1995, 20 (04) : 273 - 289
  • [22] Analyzing Formal Requirements Specifications using an Off-The-Shelf Model Checker
    Scilingo, Gaston
    Marta Novaira, Maria
    Degiovanni, Renzo
    Aguirre, Nazareno
    PROCEEDINGS OF THE 2013 XXXIX LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2013,
  • [23] A tool for generating specifications from a family of formal requirements
    Bredereke, J
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 319 - 334
  • [24] FROM REQUIREMENTS TO DESIGN SPECIFICATIONS- A FORMAL APPROACH
    Brace, W.
    Thramboulidis, K.
    11TH INTERNATIONAL DESIGN CONFERENCE (DESIGN 2010), VOL 1-3, 2010, : 639 - 649
  • [25] A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain
    Penzenstadler, Birgit
    Sikora, Ernst
    Pohl, Klaus
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2009, 5512 : 212 - +
  • [26] A Model for Understanding Project Requirements based on CMMI Specifications
    Odeh, Ammar
    El-Hassan, Ammar
    Keshta, Ismail
    AlHajahjeh, Tareq
    2021 7TH INTERNATIONAL CONFERENCE ON ENGINEERING AND EMERGING TECHNOLOGIES (ICEET 2021), 2021, : 103 - 108
  • [27] Formal Behavioral Requirements Management
    Gebreyohannes, Solomon
    Edmonson, William
    Esterline, Albert
    IEEE SYSTEMS JOURNAL, 2018, 12 (03): : 3006 - 3017
  • [28] Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications
    Degiovanni, Renzo
    Ponzio, Pablo
    Aguirre, Nazareno
    Frias, Marcelo
    TESTS AND PROOFS, TAP 2011, 2011, 6706 : 84 - 101
  • [29] Ontology-based inconsistency management of software requirements specifications
    Zhu, XF
    Jin, Z
    SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE, 2005, 3381 : 340 - 349
  • [30] Research on conversion method of ontology based formal requirements model to UML requirements document
    Wang, Yuhua
    Yin, Guisheng
    Zhang, Haitao
    COMPUTATIONAL MATERIALS SCIENCE, PTS 1-3, 2011, 268-270 : 1086 - 1091
12345