机读格式显示(MARC)
- 000 01462nam0 2200337 450
- 010 __ |a 978-7-5165-0405-5 |d CNY95.00
- 099 __ |a CAL 012014128082
- 100 __ |a 20140926d2014 em y0chiy50 ea
- 200 1_ |a 使用AADL的模型基工程 |A Shi Yong Aadl De Mo Xing Ji Gong Cheng |e SAE体系结构分析和设计语言入门 |f (英) 彼得·H. 费勒, 戴维·P. 格鲁茨著 |g 光电控制技术重点实验室译
- 210 __ |a 北京 |c 航空工业出版社 |d 2014
- 215 __ |a 303页 |c 图 |d 26cm
- 305 __ |a 由培生教育出版亚洲有限公司授权出版
- 320 __ |a 有书目 (第300-303页)
- 330 __ |a 本书介绍了AADL的概念、结构和使用,以及AADL为何是验证软件系统体系结构的MBE的有效工具。全书为学习AADL的读者提供了开发和分析基本系统模型的足够细节。
- 500 10 |a Model-based engineering with AADL : an introduction to the SAE architecture analysis and design language |m Chinese
- 517 1_ |a SAE体系结构分析和设计语言入门 |A SAE ti xi jie gou fen xi <he,huo> she ji yu yan ru men
- 606 0_ |a 面向对象语言 |A mian xiang dui xiang yu yan |x 程序设计
- 701 _1 |a 费勒 |A Fei Le |g (Feiler, Peter H.) |4 著
- 701 _1 |a 格鲁茨 |A Ge Lu Ci |g (Gluch, David P.) |4 著
- 712 02 |a 光电控制技术重点实验室 |A guang dian kong zhi ji shu zhong dian shi yan shi |4 译
- 801 _0 |a CN |b CAU |c 20141218
- 905 __ |a CAU |d TP312/3080