Formal specifications maturity model

被引：0
|
作者：
Georgia State Univ, Atlanta, United States [1 ]
机构：
来源：
Commun ACM | / 12卷 / 95-103期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] FORMAL SPECIFICATIONS AS CONSTRUCTIVE DIAGRAMS
    BRITTON, C
    LOOMES, M
    MITCHELL, R
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 37 (1-5): : 175 - 178
  • [32] Formal specifications of user requirements
    Clark R.G.
    Moreira A.M.D.
    Automated Software Engineering, 1999, 6 (3) : 217 - 232
  • [33] Formal validation of viewpoint specifications
    Ainsworth, M
    Riddle, S
    Wallis, PJL
    SOFTWARE ENGINEERING JOURNAL, 1996, 11 (01): : 58 - 66
  • [34] Machine improvisation with formal specifications
    Donzé, Alexandre
    Valle, Rafael
    Akkaya, Ilge
    Libkind, Sophie
    Seshia, Sanjit A.
    Wessel, David
    Proceedings - 40th International Computer Music Conference, ICMC 2014 and 11th Sound and Music Computing Conference, SMC 2014 - Music Technology Meets Philosophy: From Digital Echos to Virtual Ethos, 2014, : 1277 - 1284
  • [35] ANNOTATIONS IN FORMAL SPECIFICATIONS AND PROOFS
    KALVALA, S
    FORMAL METHODS IN SYSTEM DESIGN, 1994, 5 (1-2) : 119 - 144
  • [36] Diagrams and Intuitive Formal Specifications
    Burton, James
    2008 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2008, : 262 - 263
  • [37] Concept location in formal specifications
    Bollin, Andreas
    JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2008, 20 (02): : 77 - 105
  • [38] A feature model of e-government systems integrated with formal specifications
    Debnath, Narayan
    Felice, Laura
    Montejano, German
    Riesco, Daniel
    PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2008, : 27 - +
  • [39] Secure access control in multidomain environments and formal analysis of model specifications
    Nazerian, Fatemeh
    Motameni, Homayun
    Nematzadeh, Hossein
    TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2018, 26 (05) : 2525 - 2540
  • [40] 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
12345