Reza Ahmadi

5 Questions 8 Answers 0 Followers

Questions related from Reza Ahmadi

Is it feasible to generate useful JML specifications from UML diagrams?

For verification of code (in Java) I want to use JML and as JML itself is tedious to create for the developer I want to generate it from other artifacts, like UML models. Do you have any idea...

29 January 2014 1,110 1 View

Can someone suggest current specific applications/challenges/missing tools for the Formal Model Driven Development?

I am looking for the current applications/ideas/challenges of the Formal Methods in MDD in order to evaluate/analyse them. I know that for example FMs tools is used to check a model for...

11 January 2014 9,035 8 View

Do you have any ideas about a formal model-driven development for mixing MDA and formal tools toward code generation?

I would like to implement MDA with a fully formal language instead of UML as modeling language but I am out of ideas. My idea is to have a full MDA implementation, transforming a very abstract...

01 January 2014 5,602 5 View

Which diagrams in UML need an external formal tool to analyse/verify the model?

Which diagrams/aspects of UML are not formal and need an external formal technique/tool to analyse the associated produced model in UML? I mean external utilities which is not in the existing...

29 December 2013 6,540 3 View

Could anyone suggest me an interesting and hot topic in "Formal Specification"?

I am seeking an interesting topic in that field for my master thesis.

29 October 2013 1,101 4 View