Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org
"Mapping UML 2.0 Activities to Zero-Safe Nets"
written by Sabine Boufenara, Faiza Belala, Kamel Barkaoui,
published by Journal of Software Engineering and Applications, Vol.3 No.5, 2010
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
[1] Transactional Petri nets: a semantic framework for UML2 activities
International Journal of Critical Computer-Based Systems, 2014
[2] 1.3. 3 Extending eFFBD formalism to task model
INCOSE International Symposium.Wiley Online Library, 2014
[3] ArcFem: New Software Module in ArcGIS for Numerical Modeling.
International Journal on Information Technology (IREIT), 2014
[4] Transactional Petri nets: a semantic framework for UML2 activities.
2014
[5] Model-based development of fault tolerant systems of systems
Systems Conference (SysCon), 2013 IEEE International. IEEE, 2013
[6] A Formal Semantics for SysML Activity Diagrams
Formal Methods: Foundations and Applications. Springer Berlin Heidelberg, 2013
[7] Graphical modelling meets formal methods
Industrial Informatics (INDIN), 2013 11th IEEE International Conference on. IEEE, 2013
[8] On formalizing UML2 activities using TPNets: case studies
Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems. British Computer Society, 2011
Free SCIRP Newsletters
Copyright © 2006-2021 Scientific Research Publishing Inc. All Rights Reserved.
Top