...
机译:使用UML和Ada设计实时,并发和嵌入式软件系统
The Aerospace CorporationChantilly, VA, USA;
机译:并发嵌入式实时系统的软软件定时掩盖
机译:通过软件稳定性模型(SSM)设计基于自适应可重构控制(ARC)的实时事务处理系统(RTTPS)
机译:通过软件稳定性模型(SSM)设计基于自适应可重构控制(ARC)的实时事务处理系统(RTTPS)
机译:使用UML和Ada设计实时并发和嵌入式软件系统
机译:使用UML对实时软件系统进行建模和分析。
机译:UMLS-Interface和UMLS-Similarity:用于测量路径和语义相似度的开源软件
机译:并发嵌入式实时系统的软硬件覆盖
机译:利用ada确定面向对象的实时嵌入式系统设计中的并发性。