메뉴 건너뛰기




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;

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)
  • 5
    • 0024029816 scopus 로고
    • Stepwise refinement and verification in box structured systems
    • H.D. Mills Stepwise refinement and verification in box structured systems Computer 21 6 1988 23 26
    • (1988) Computer , vol.21 , Issue.6 , pp. 23-26
    • Mills, H.D.1
  • 7
    • 0038719942 scopus 로고    scopus 로고
    • Foundations of sequence-based software specification
    • S.J. Prowell, and J.H. Poore Foundations of sequence-based software specification IEEE Trans. of Soft. Eng. 29 5 2003 417 429
    • (2003) IEEE Trans. of Soft. Eng. , vol.29 , Issue.5 , pp. 417-429
    • Prowell, S.J.1    Poore, J.H.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.