SysML Open Source Specification Project. The web provides information, specifications, and resources related to the Systems Modeling Language (SysML) open source specification project, founded by the SysML Partners in 2003. The SysML open source specification is publicly available for download, and includes an open source license for distribution and use.

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Matsikoudis, Eleftherios; Lee, Edward A.: The fixed-point theory of strictly causal functions (2015)
  2. Ouchani, Samir; Debbabi, Mourad: Specification, verification, and quantification of security in model-based systems (2015)
  3. Chen, Dejiu; Feng, Lei; Qureshi, Tahir Naseer; Lönn, Henrik; Hagl, Frank: An architectural approach to the analysis, verification and validation of software intensive embedded systems (2013)
  4. Sakairi, Takashi; Palachi, Eldad; Cohen, Chaim; Hatsutori, Yoichi; Shimizu, Junya; Miyashita, Hisashi: Model based control system design using SysML, Simulink, and Computer Algebra System (2013)
  5. Graves, Henson; Bijan, Yvonne: Using formal methods with SysML in aerospace design and engineering (2011)
  6. Wells, Wilfred H.; Karwowski, Waldemar; Sala-Diakanda, Serge; Williams, Kent; Ahram, Tareq; Pharmer, James A.: Application of systems modeling language (SySML) for cognitive work analysis in systems engineering design process (2011)
  7. Andrade, Ermeson; Maciel, Paulo; Nogueira, Bruno; Araújo, Carlos; Callou, Gustavo: A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (2010)
  8. Shah, Aditya A.; Kerzhner, Aleksandr A.; Schaefer, Dirk; Paredis, Christiaan J.J.: Multi-view modeling to support embedded systems engineering in SysML (2010)
  9. Tosserams, S.; Hofkamp, A.T.; Etman, L.F.P.; Rooda, J.E.: A specification language for problem partitioning in decomposition-based design optimization (2010)
  10. Burmester, Sven; Giese, Holger; Münch, Eckehard; Oberschelp, Oliver; Klein, Florian; Scheideler, Peter: Tool support for the design of self-optimizing mechatronic multi-agent systems (2008)
  11. Mallet, Frédéric: Clock constraint specification language: specifying clock constraints with UML/MARTE (2008)
  12. Von Der Beeck, Michael: Development of logical and technical architectures for automotive systems (2007)
  13. Weilkiens, Tim: Systems engineering with SysML/UML. Modelling, analysis, design (2006)