Formal specifications maturity model

被引：0

作者：

Georgia State Univ, Atlanta, United States ^{[1
]}

机构：

来源：

Commun ACM | / 12卷 / 95-103期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] A formal specifications maturity model
Fraser, MD
Vaishnavi, VK
COMMUNICATIONS OF THE ACM, 1997, 40 (12) : 95 - 103
[2] A technique for using model checkers to teach formal specifications
Salamah, Salamah
Gates, Ann Q.
21ST CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 2008, : 181 - 188
[3] Formal Specifications and Verification of a Secure Communication Protocol Model
Xia Yang 1
2. Research Center for Information Network Security
JournalofSystemsEngineeringandElectronics, 2003, (02) : 90 - 97
[4] Towards Strengthening Formal Specifications with Mutation Model Checking
Cordy, Maxime
Lazreg, Sami
Legay, Axel
Schobbens, Pierre Yves
PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 2102 - 2106
[5] TESTABILITY OF FORMAL SPECIFICATIONS
VANDEBURGT, SP
KROON, J
PEETERS, AM
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 63 - 77
[6] Formal specifications and CASE
Richta, K
Vlk, T
SYSTEMS DEVELOPMENT METHODS FOR THE NEXT CENTURY, 1997, : 313 - 325
[7] Formal specifications of debuggers
Zhu, MY
ACM SIGPLAN NOTICES, 2001, 36 (09) : 54 - 63
[8] On Implementability of the Formal Specifications
Malyshkin, Victor
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2007, 161 : 355 - 360
[9] A FORMAL MODEL FOR ANALYZING THE SCR-STYLE REQUIREMENTS SPECIFICATIONS
Xu Yu
Wuhan University Journal of Natural Sciences, 1998, (02) : 142 - 142
[10] XFSM - A FORMAL MODEL OF COMMUNICATING STATE MACHINES FOR IMPLEMENTATION SPECIFICATIONS
KARJOTH, G
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 979 - 980

← 1 2 3 4 5 →