Formal specifications maturity model

被引：0
|
作者：
Georgia State Univ, Atlanta, United States [1 ]
机构：
来源：
Commun ACM | / 12卷 / 95-103期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Formal method for automated transformation of lotos specifications to estelle specifications
    El-Gendy, H
    El-Kadhi, N
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2005, 15 (05) : 873 - 891
  • [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] Formal approach to specifications in conceptual design
    Kusiak, A.
    Szczerbicki, E.
    Journal of Mechanical Design - Transactions of the ASME, 1992, 114 (04): : 659 - 666
  • [50] Algebras and formal specifications in geometric modelling
    Dufourd, JF
    VISUAL COMPUTER, 1997, 13 (03): : 131 - 154
12345