Formal Methods in System Design: Foreword

被引：0

|

作者：

机构：

来源：

Formal Methods Syst Des | 2006年 / 2卷 / 115-116期

关键词：

D O I：

10.1007/s10703-006-0010-5

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] COST 247, verification and validation methods for formal descriptions - Foreword
Groote, JF
Rem, M
SCIENCE OF COMPUTER PROGRAMMING, 1997, 29 (1-2) : 1 - 2
[22] SPECIAL ISSUE ON FORMAL METHODS IN DATABASES AND SOFTWARE ENGINEERING - FOREWORD
ALAGAR, VS
THEORETICAL COMPUTER SCIENCE, 1994, 133 (02) : 203 - 204
[23] The Future of Formal Methods and GALS Design
Stevens, Kenneth S.
Gebhardt, Daniel
You, Junbok
Xu, Yang
Vij, Vikas
Das, Shomit
Desai, Krishnaji
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 245 : 115 - 134
[24] Formal specification methods in engineering design
Boriani, DV
ISA TRANSACTIONS, 1997, 36 (02) : 123 - 129
[25] FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN
VONBOCHMANN, G
SUNSHINE, CA
IEEE TRANSACTIONS ON COMMUNICATIONS, 1980, 28 (04) : 624 - 631
[26] FORMAL DESIGN METHODS FOR COMPUTER-AIDED-DESIGN
GERO, JS
FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 353 - 359
[27] Foreword to the Special Issue on Formal Methods for Software Product Line Engineering
Batory, Don
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 121 - 122
[28] JUSTIFICATION OF FORMAL METHODS FOR SYSTEM SPECIFICATION
COHEN, B
SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 26 - 35
[29] Integrating formal methods with system management
de Groot, Martin
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 19 - 36
[30] Formal Methods of Analysis of System Properties
S. L. Kryvyi
L. Ye. Matveyeva
Cybernetics and Systems Analysis, 2003, 39 (2) : 174 - 191

← 1 2 3 4 5 →