Record number :
134592
Title of article :
Life-cycle of a dual object-oriented specification model for real-time systems
Author/Authors :
M. A. Bruno، نويسنده , , P. Nesi، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Pages :
18
From page :
35
To page :
52
Keywords :
real-time systems , Development life-cycle , Dual model , Verification and validation , Object-oriented
Journal title :
Information and Software Technology
Link To Document :