Computer programs; Target recognition; Requirements; Position(Location); Department of defense; Ships; Commerce; Specifications; Weapon systems; Programming languages; Contractors; Off the shelf equipment; Computer architecture; Theses; Identification; Position finding; Missions; Safety; Commercial equipment; Military budgets;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:基于NASA群的系统建模:使用面向代理的软件工程和形式化方法
机译:通过形式和半形式方法改进开发过程
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:信标演算:一种灵活简洁的生物系统建模的正式方法
机译:使用正式和半正式软件建模方法开发目标识别系统