![](bga.png)
Chanda, J., Kanjilal, A., Sengupta, S., and Bhattacharya,
S. (2009). Traceability of requirements and consis-
tency verification of uml use case, activity and class
diagram: A formal approach. In 2009 Proceeding of
International Conference on Methods and Models in
Computer Science (ICM2CS), pages 1–4. IEEE.
Chren, S., Buhnova, B., Macak, M., Daubner, L., and Rossi,
B. (2019a). Mistakes in uml diagrams: analysis of
student projects in a software engineering course. In
Proceedings of the 41st International Conference on
Software Engineering: Software Engineering Educa-
tion and Training, pages 100–109. IEEE Press.
Chren, S., Buhnova, B., Macak, M., Daubner, L., and Rossi,
B. (2019b). Mistakes in uml diagrams: analysis of
student projects in a software engineering course. In
Proceedings of the 41st International Conference on
Software Engineering: Software Engineering Educa-
tion and Training, pages 100–109. IEEE Press.
Christiansen, H., Have, C. T., and Tveitane, K. (2007).
From use cases to uml class diagrams using logic
grammars and constraints. In RANLP, volume 7,
pages 128–132.
Daigmorte, H., de Saqui-Sannes, P., and Vingerhoeds, R. A.
(2019). A sysml method with network dimensioning.
5th IEEE International Symposium on Systems Engi-
neering (ISSE 2019).
de Saqui-Sannes, P. and Apvrille, L. (2016). Making mod-
eling assumptions an explicit part of real-time systems
models. the 8th European Congress Embedded Real
Time software and systems (ERTS2)).
de Saqui-Sannes, P., Vingerhoeds, R. A., and Apvrille, L.
(2018). Early checking of sysml models applied to
protocols”. In 12th International Conference on Mod-
eling, Optimisation and Simulation (Mosim 2018),
Toulouse, France.
Eichelberger, H. (2008). Automatic layout of uml use case
diagrams. In Proceedings of the 4th ACM symposium
on Software visualization, pages 105–114. ACM.
El-Attar, M. and Miller, J. (2008). Producing robust use
case diagrams via reverse engineering of use case de-
scriptions. Software & Systems Modeling, 7(1):67–83.
Elallaoui, M., Nafil, K., and Touahni, R. (2018). Automatic
transformation of user stories into uml use case dia-
grams using nlp techniques. Procedia computer sci-
ence, 130:42–49.
Holt, J. and Perry, S. (2008). SysML for systems engineer-
ing, volume 7. IET.
IBM-Rhapsody (2019). https://www.ibm.com/ca-
en/marketplace/architect-for-systems-engineers.
Klimek, R. and Szwed, P. (2010). Formal analysis of use
case diagrams. Computer Science, 11:115–131.
Kruus, H., Robal, T., and Jervan, G. (2014a). Teach-
ing modeling in sysml/uml and problems encountered.
In 2014 25th EAEEIE Annual Conference (EAEEIE),
pages 33–36. IEEE.
Kruus, H., Robal, T., and Jervan, G. (2014b). Teach-
ing modeling in sysml/uml and problems encountered.
In 2014 25th EAEEIE Annual Conference (EAEEIE),
pages 33–36. IEEE.
Mattei, A.-P., Loures, L., de Saqui-Sannes, P., and Escudier,
B. (2017). Feasibility study of a multispectral cam-
era with automatic processing onboard a 27u satellite
using model based space system engineering. IEEE
Systems Conference (SysCon).
Object-Management-Group (2017). Systems modeling lan-
guage (sysml) v2 rfp.
OMG (2017). OMG Systems Modeling Lan-
guage. Object Management Group,
https://www.omg.org/spec/SysML/1.5.
OMG (2018). OMG Unified Modeling Language (OMG
UML) Version 2.5. Object Management Group,
https://www.omg.org/spec/UML/2.5/PDF.
Ramollari, E. and Dranidis, D. (2007). Studentuml: An ed-
ucational tool supporting object-oriented analysis and
design. In Proceedings of the 11th Panhellenic Con-
ference on Informatics, pages 363–373.
Rizzo Aquino, E. (2019). Guidelines and tools for uml and
sysml use case diagrams. Internal Report RT/2019/2 -
DISC Department - ISAE SUPAERO.
Seresht, S. M. and Ormandjieva, O. (2008). Automated
assistance for use cases elicitation from user require-
ments text. In Proceedings of the 11th Workshop on
Requirements Engineering (WER 2008), volume 16,
pages 128–139.
SparkSystems (2019). Entreprise-architect,
https://www.sparxsystems.com/products/ea/.
Srisura, B. and Daengdej, J. (2010). Retrieving use case
diagram with case-based reasoning approach. Journal
of Theoretical and Applied Information Technology,
19(2):68–78.
TTool (2019). An open-source uml and sysml toolkit,
https://ttool.telecom-paristech.fr.
Weilkiens, T. (2011). Systems engineering with
SysML/UML: modeling, analysis, design. Elsevier.
Zhao, J. and Duan, Z. (2009). Verification of use case with
petri nets in requirement analysis. In International
Conference on Computational Science and Its Appli-
cations, pages 29–42. Springer.
MODELSWARD 2020 - 8th International Conference on Model-Driven Engineering and Software Development
236