A methodology for verifying SysML requirements using activity diagrams.

Messaoud Rahim Ahmed Hammad Malika Ioualalen

Published in: Innov. Syst. Softw. Eng. (2017)

Keyphrases

activity diagrams
requirements engineering
conceptual database design
requirements specification
software requirements
functional requirements
conceptual model
modeling language
data model
knowledge representation
object oriented
operational semantics
sequence diagrams