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 14 articles )

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

  1. Oliveira, Marcel V.M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A.W.: Rigorous development of component-based systems using component metadata and patterns (2016)
  2. Matsikoudis, Eleftherios; Lee, Edward A.: The fixed-point theory of strictly causal functions (2015)
  3. Ouchani, Samir; Debbabi, Mourad: Specification, verification, and quantification of security in model-based systems (2015) ioport
  4. 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)
  5. 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)
  6. Graves, Henson; Bijan, Yvonne: Using formal methods with SysML in aerospace design and engineering (2011)
  7. 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) ioport
  8. 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)
  9. Shah, Aditya A.; Kerzhner, Aleksandr A.; Schaefer, Dirk; Paredis, Christiaan J.J.: Multi-view modeling to support embedded systems engineering in SysML (2010) ioport
  10. Tosserams, S.; Hofkamp, A.T.; Etman, L.F.P.; Rooda, J.E.: A specification language for problem partitioning in decomposition-based design optimization (2010) ioport
  11. 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) ioport
  12. Mallet, Frédéric: Clock constraint specification language: specifying clock constraints with UML/MARTE (2008) ioport
  13. Von Der Beeck, Michael: Development of logical and technical architectures for automotive systems (2007) ioport
  14. Weilkiens, Tim: Systems engineering with SysML/UML. Modelling, analysis, design (2006)