Formal specifications maturity model

被引：0
|
作者：
Georgia State Univ, Atlanta, United States [1 ]
机构：
来源：
Commun ACM | / 12卷 / 95-103期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Maintaining formal specifications - Decomposition of large Z-specifications
    Bollin, A
    ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2005, : 443 - 452
  • [42] Using Formal Measures to Improve Maturity Model Assessment for Conceptual Interoperability
    Leal, Gabriel S. S.
    Guedria, Wided
    Panetto, Herve
    Proper, Erik
    Lezoche, Mario
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS, 2017, 10034 : 47 - 56
  • [43] TOWARD FORMAL DEVELOPMENT OF PROGRAMS FROM ALGEBRAIC SPECIFICATIONS - MODEL THEORETIC FOUNDATIONS
    SANNELLA, D
    TARLECKI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 655 - 671
  • [44] Crossing the borderline - From formal to semi-formal specifications
    Bollin, Andreas
    SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 73 - 84
  • [45] Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique
    Subburaj, Vinitha Hannah
    Urban, Joseph E.
    2018 SECOND IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC), 2018, : 392 - 398
  • [46] Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
    Golra, Fahad Rafique
    Dagnat, Fabien
    Souquieres, Jeanine
    Sayar, Imen
    Guerin, Sylvain
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018, 2018, 10886 : 54 - 69
  • [47] DEVELOPING FORMAL OBJECT-ORIENTED REQUIREMENTS SPECIFICATIONS - A MODEL, TOOL AND TECHNIQUE
    JACKSON, RB
    EMBLEY, DW
    WOODFIELD, SN
    INFORMATION SYSTEMS, 1995, 20 (04) : 273 - 289
  • [48] The complexity of formal specifications -: Assessments by α-metric
    Kokol, P
    Podgorelec, V
    Habrias, H
    Rabia, NH
    ACM SIGPLAN NOTICES, 1999, 34 (06) : 84 - 88
  • [49] Algebras and formal specifications in geometric modelling
    Dufourd, JF
    VISUAL COMPUTER, 1997, 13 (03): : 131 - 154
  • [50] IronSpec: Increasing the Reliability of Formal Specifications
    Goldweber, Eli
    Yu, Weixin
    Ghahani, Seyed Armin Vakil
    Kapritsos, Manos
    PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2024, 2024, : 875 - 891
12345