杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

形式化方法在构件组装实时系统中的应用研究/席琳, 马传连著

出版发行项:

北京:中央民族大学出版社,2019

ISBN及定价:

978-7-5660-1668-3/CNY50.00

载体形态项:

129页:图;24cm

并列正题名:

Study on the application of formal method in component-based real-time system

个人责任者:

席琳 著

个人责任者:

马传连 著

学科主题:

形式语言-应用-实时操作系统-研究

中图法分类号:

TP316.2

责任者附注:

席琳, 中央民族大学信息化建设管理处工程师, 计算机软件与理论专业工学博士, 研究方向为信息安全, 软件工程, 形式化方法, 教育信息化应用, 在核心期刊及国际会议发表论文数篇。目前参加的省部级课题3项。马传连, 中央民族大学信息化建设管理处高级工程师。主要研究方向: 教育信息化应用等。

书目附注:

有书目 (第107-129页)

提要文摘附注:

本书主要内容包括: 绪论、CBSD研究综述、构件建筑和构件行为相容性、实时系统测试用例产生、构件选择及组装可靠性分析、相关研究工作。

豆瓣简介：