Title of article :
Integrating structured OO approaches with formal techniques for the development of real-time systems
Author/Authors :
Danny Z. Chen، نويسنده , , A. Cau، نويسنده , , H. Zedan، نويسنده , , H. Yang، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Pages :
16
From page :
435
To page :
450
Keywords :
Object-oriented design , Refinement calculus , Temporal agent model , Semantics , Hard Real-Time Hierarchical Object-Oriented Design (HRTHOOD)
Journal title :
Information and Software Technology
Serial Year :
1999
Journal title :
Information and Software Technology
Record number :
134622
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134622
بازگشت