Author/Authors :
Nader Nada، نويسنده , , M. Shing، نويسنده , , V. Berzins، نويسنده , , Luqi، نويسنده ,
Keywords :
Components , Reuse , Architecture , PSDL , APT , Automated prototyping , real-time systems , Command and control , Evolution , formal methods