Gomaa, Hassan <br/><br/>
Software design methods for concurrent and real-time systems 

 -  Delhi  Pearson Education  2009 
 - xv, 447p  
 - The SEI series in software engineering .
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9788131727096 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ADARTS and CODARTS<br/>Concurrent and real-time systems  Software design methods<br/>DARTS<br/>Jackson system development(JSD)<br/>Real-time systems  Structured analysis and design<br/>Robot controller<br/>Software design methods<br/>Software engineering