Title of article :
Introducing software architecture specification and analysis in SAM through an example
Author/Authors :
J. Wang، نويسنده , , X. He، نويسنده , , Y. Deng، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Keywords :
Software architecture , Real-time concurrent systems , Time Petri nets , Real-time computational tree logic , Command and controlsystems , formal methods
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
