Systems engineering; Computer architecture; Case studies; Data processing security; Data sharing; Health care; Information dissemination; Interface specification; Preservation; Provenance; Systems of systems;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:网络投票系统的正式和半正式验证
机译:系统架构系统的半正式和正式接口规范
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:A.医疗决策支持和人工智能方法:信息系统中嵌入的临床决策支持形式规则的自动化
机译:系统架构系统半正式和正式界面规范
机译:系统体系结构的接口规范。