系统建模语言

SysML开源规范项目。org网站提供与系统建模语言(SysML)开源规范项目相关的信息、规范和资源,该项目由SysML合作伙伴于2003年创建。SysML开放源代码规范可公开下载,并包含用于分发和使用的开放源代码许可证。


zbMATH参考文献(参考 22篇文章

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. Prabhat Hegde,Wester C.H.Schooneberg,Dakota Thompson,Amro M.Farid:异函数图论工具箱(2020)阿尔十四
  2. Westman,Jonas;Nyberg,Mattias:异构系统中分离责任的合同条件(2018)
  3. 陈明帅;Ravn,Anders P.;Wang,Shuling;Yang,Mengfei;Zhan,Naijun:嵌入式系统正式与非正式设计的双向路径(2017)
  4. Oliveira,Marcel V.M.;Antonino,P.;Ramos,R.;Sampaio,A.;Mota,A.;Roscoe,A.W.:使用组件元数据和模式严格开发基于组件的系统(2016年)
  5. Steiniger,Alexander;Uhrmacher,Adelinde M.:变结构模型中的强度耦合:基于多级DEV的探索(2016)
  6. Gauthier,Jean-Marie;Bouquet,Fabrice;Hammad,Ahmed;Peureux,Fabien:使用Modelica simulation对SysML模型进行早期验证的工具化过程(2015)ioport公司
  7. Matsikoudis,Eleftherios;Lee,Edward A.:严格因果函数的不动点理论(2015)
  8. Ouchani,Samir;Debbabi,Mourad:基于模型的系统中安全性的规范、验证和量化(2015)ioport公司
  9. Chen,Dejiu;Feng,Lei;Qureshi,Tahir Naseer;Lönn,Henrik;Hagl,Frank:软件密集型嵌入式系统分析、验证和验证的体系结构方法(2013)
  10. Sakairi,Takashi;Palachi,Eldad;Cohen,Chaim;Hatsutori,Yoichi;Shimizu,Junya;Miyashita,Hisashi:使用SysML、Simulink和计算机代数系统进行基于模型的控制系统设计(2013)
  11. Graves,Henson;Bijan,Yvonne:在航空航天设计和工程中使用SysML的形式化方法(2011)
  12. 威尔弗雷德·H.;卡尔沃夫斯基,瓦尔德马尔;萨拉·迪亚坎达,谢尔盖;威廉斯,肯特;阿赫拉姆,塔雷克;法默,詹姆斯·A.:系统建模语言(SySML)在系统工程设计过程中认知工作分析中的应用(2011)ioport公司
  13. Ermeson Andrade;Paulo的Maciel;Bruno的Nogueira;Carlos的Araújo;Gustavo的Callou:基于COTS的嵌入式实时系统性能和能耗评估方法(2010)
  14. Shah,Aditya A.;Kerzhner,Aleksandr A.;Schaefer,Dirk;Paredis,Christiaan J.J.:SysML中支持嵌入式系统工程的多视图建模(2010)ioport公司
  15. Tourslams,S.;Hofkamp,A.T.;Etman,L.F.P.;Rooda,J.E.:基于分解的设计优化中问题划分的规范语言(2010)ioport公司
  16. Jarraya,Yosr;Soeanu,Andrei;Alawneh,Luay;Debbabi,Mourad;Hassaïne,Fawzi:系统和软件工程模型的协同验证与验证(2009)
  17. Stöcker,Jan;Lang,Frédéric;Garavel,Hubert:《实时和数据并行处理:Atlantf中间格式》(2009)
  18. 斯文,伯梅斯特;吉斯,霍尔格;Münch,埃克哈德;奥伯舍普,奥利弗;克莱恩,弗洛里安;舍德勒,彼得:自我优化机电多智能体系统设计的工具支持(2008)ioport公司
  19. Mallet,Frédéric:时钟约束规范语言:用UML/MARTE指定时钟约束(2008)ioport公司
  20. Von Der Beeck,Michael:汽车系统逻辑和技术架构的开发(2007)ioport公司