Towards a semantic for uml activity diagram based on institution theory for it's transformation to event b model
Software development life cycle
01 Lifecycles
CLASSIFICATION OF PROGRAMMING LANGUAGES
