Login / Signup
Verification of the Consistency between Use Case and Activity Diagrams - A Step Towards Validation of User Requirements.
Sana Oueslati Ben Amor
Mouez Ali
Faïez Gargouri
Published in:
ICEIS (3) (2011)
Keyphrases
</>
user requirements
activity diagrams
conceptual database design
sequence diagrams
class diagrams
requirements engineering
operational semantics
end users
requirements specification
user interface
model checking
object oriented systems