|
Volumn 128, Issue 6, 2005, Pages 127-144
|
Combining the box structure development method and CSP for software development
|
Author keywords
Box Structure Development Method; CSP; FDR; Software design verification
|
Indexed keywords
AUTOMATION;
COMPUTATIONAL COMPLEXITY;
COMPUTER AIDED DESIGN;
COMPUTER SOFTWARE;
MATHEMATICAL MODELS;
PROJECT MANAGEMENT;
BOX STRUCTURES DEVELOPMENT METHOD;
CSP;
FDR;
SOFTWARE DESIGN VERIFICATION;
SOFTWARE ENGINEERING;
|
EID: 18744371283
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/j.entcs.2005.04.008 Document Type: Conference Paper |
Times cited : (26)
|
References (10)
|