메뉴 건너뛰기




Volumn 43, Issue 6, 2001, Pages 365-386

The application of use case definitions in system design specification

Author keywords

Black box; Concurrency; Design specification; Finite state; Statecharts; Use case

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; DATA REDUCTION; DATA STRUCTURES; FINITE AUTOMATA; MATHEMATICAL MODELS;

EID: 0035341091     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00172-5     Document Type: Article
Times cited : (7)

References (20)
  • 12
    • 0003272723 scopus 로고
    • Feature interaction and formal specification in telecommunications
    • August
    • (1993) IEEE Computer
    • Zave, P.1


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