REASONING ON REQUIREMENT SPECIFICATIONS - A DEDUCTIVE APPROACH

被引：0

|

作者：

ZEROUAL, K

机构：

来源：

PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE | 1989年

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：650 / 657

页数：8

相关论文

共 50 条

[1] Deductive Reasoning in the Structuralist Approach
Andreas, Holger
[J]. STUDIA LOGICA, 2013, 101 (05) : 1093 - 1113
[2] Deductive Reasoning in the Structuralist Approach
Holger Andreas
[J]. Studia Logica, 2013, 101 : 1093 - 1113
[3] Verification of ArchiMate process specifications based on deductive temporal reasoning
Klimek, Radoslaw
Szwed, Piotr
[J]. 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1109 - 1116
[4] Deductive reasoning
Johnson-Laird, PN
[J]. ANNUAL REVIEW OF PSYCHOLOGY, 1999, 50 : 109 - 135
[5] Deductive Reasoning
[J]. 中学生数学, 2006, (06) : 41 - 41
[6] Deductive reasoning
Johnson-Laird, Phil
[J]. WILEY INTERDISCIPLINARY REVIEWS-COGNITIVE SCIENCE, 2010, 1 (01) : 8 - 17
[7] Deductive Reasoning
林自新
[J]. 中学生数学, 2006, (19) : 41 - 41
[8] Deductive reasoning
不详
[J]. FORBES, 2005, 175 (01): : 20 - 20
[9] Deductive and Defeasible Reasoning on the Basis of a Unified Algebraic Approach
Kulik, B. A.
Zuenko, A. A.
Friedman, A. Ya.
[J]. SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2015, 42 (06) : 402 - 410
[10] A new defining approach for software requirement specifications
Yamaura, T
Miyazaki, H
[J]. WSTFES 2003: IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED SYSTEMS, PROCEEDINGS, 2003, : 13 - 16

← 1 2 3 4 5 →